projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac9001b) | patch
Rename SbyJob to SbyTask and SbyTask to SbyProc to reduce confusion. Config file...
authorN. Engelhardt <nak@yosyshq.com>
Tue, 11 Jan 2022 15:12:23 +0000 (16:12 +0100)
committerN. Engelhardt <nak@yosyshq.com>
Tue, 11 Jan 2022 16:08:56 +0000 (17:08 +0100)
commit7c9e5b026b0784d0f749dc63321602dae3470322
tree409dac4a74d480a75a07672b6781e6fac90d9610tree
parentac9001b22cd494e823f70ffe199fa7e812c6306dcommit | diff
Rename SbyJob to SbyTask and SbyTask to SbyProc to reduce confusion. Config file tasks now correspond to SbyTasks.
sbysrc/sby.py diff | blob | history
sbysrc/sby_core.py diff | blob | history
sbysrc/sby_engine_abc.py diff | blob | history
sbysrc/sby_engine_aiger.py diff | blob | history
sbysrc/sby_engine_btor.py diff | blob | history
sbysrc/sby_engine_smtbmc.py diff | blob | history
sbysrc/sby_mode_bmc.py diff | blob | history
sbysrc/sby_mode_cover.py diff | blob | history
sbysrc/sby_mode_live.py diff | blob | history
sbysrc/sby_mode_prove.py diff | blob | history