projects / litex.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b6d35c9 4937285)
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)
build/lattice/trellis: optionally allow failure if p&r timing not met


Trivial merge