Merge pull request #286 from gsomlo/gls-timingstrict
authorenjoy-digital <florent@enjoy-digital.fr>
Fri, 25 Oct 2019 10:28:29 +0000 (12:28 +0200)
committerGitHub <noreply@github.com>
Fri, 25 Oct 2019 10:28:29 +0000 (12:28 +0200)
commit4cc40aadaa1c6fbd761ce285c451c7a375db84a0
tree704c672e70b133e3339f7844bca04a6d5a1b136b
parentb6d35c92aed7f300dc820f5679d78a4558ed4755
parent49372852da1614236fef11a929b69c3cdf44edd9
Merge pull request #286 from gsomlo/gls-timingstrict

build/lattice/trellis: optionally allow failure if p&r timing not met