diff options
| author | David Shah <davey1576@gmail.com> | 2019-04-16 16:29:26 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-16 16:29:26 +0100 |
| commit | 037e13b8839ba2112fba6bfade7d282335a93a4a (patch) | |
| tree | f06bfebf31525a8994d578ffa01bdbfc91b28579 /gui/pyconsole.cc | |
| parent | 250c914763b19fac6fc0d44bc4e6d1d6c3dd3d10 (diff) | |
| parent | c1cc356bb0790d9e55194bd4b9a0cd2fa796d7b9 (diff) | |
| download | nextpnr-037e13b8839ba2112fba6bfade7d282335a93a4a.tar.gz nextpnr-037e13b8839ba2112fba6bfade7d282335a93a4a.tar.bz2 nextpnr-037e13b8839ba2112fba6bfade7d282335a93a4a.zip | |
Merge pull request #267 from noopwafel/lock-for-timing
timing_opt: Add locks to optimise()
Diffstat (limited to 'gui/pyconsole.cc')
0 files changed, 0 insertions, 0 deletions