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