github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-01-22 10:41:43 +00:00
Code Issues Releases Wiki Activity
YosysHQ.yosys/backends
History
Alberto Gonzalez 42fb75c570
smtio: Emit mode: start options before set-logic command and any other options after it. 
Refer to the SMT-LIB specification, section 4.1.7.  According to the spec, some options can only be specified in `start` mode.  Once the solver sees `set-logic`, it moves to `assert` mode.
2020-07-20 22:09:44 +00:00
..
aiger
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
blif
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
btor
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
cxxrtl
cxxrtl: fix typo. NFC.
2020-07-14 16:10:30 +00:00
edif
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
firrtl
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
ilang
Use (and ignore) the expression provided to log_assert in NDEBUG builds.
2020-06-19 15:48:58 +00:00
intersynth
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
json
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
protobuf
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
simplec
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
smt2
smtio: Emit mode: start options before set-logic command and any other options after it.
2020-07-20 22:09:44 +00:00
smv
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
spice
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
table
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
verilog
verilog_backend: in non-SV mode, add a trigger for always @*.
2020-07-16 11:30:14 +00:00