projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d88182) | patch
Revert "Compile option for enabling async load verific support"
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 27 Oct 2021 13:55:43 +0000 (15:55 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 27 Oct 2021 13:55:43 +0000 (15:55 +0200)
commit32673edfeae7878a902883575d6b369a5ed8b0a5
treeac44b0ad0235b5969dbbb5e55e3597a647377327tree
parent8d881826ebeafa524b1ed5e12ebbedb6d6b2a867commit | diff
Revert "Compile option for enabling async load verific support"

This reverts commit b8624ad2aef941776f5b4a08f66f8d43e70f8467.
Makefile diff | blob | history
frontends/verific/verific.cc diff | blob | history