aboutsummaryrefslogtreecommitdiffstats
path: root/backends/smt2/smtbmc.py
Commit message (Expand)AuthorAgeFilesLines
* Add "write_smt2 -stbv"Clifford Wolf2017-02-241-4/+4
* Add assert check in "yosys-smtbmc -c"Clifford Wolf2017-02-041-7/+28
* Improve yosys-smtbmc cover() supportClifford Wolf2017-02-041-5/+19
* Partially implement cover() support in yosys-smtbmcClifford Wolf2017-02-041-2/+87
* Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename>" supportClifford Wolf2017-01-301-5/+14
* Add "yosys-smtbmc --aig-noheader" and AIGER mem init supportClifford Wolf2017-01-281-6/+33
* Fix $initstate handling bug in yosys-smtbmcClifford Wolf2017-01-111-0/+2
* Handle "always 1" like "always -1" in .smtc filesClifford Wolf2017-01-021-7/+5
* Improved yosys-smtbmc default -t/--assume-skipped for --cex and --aigClifford Wolf2016-12-031-2/+15
* Added "yosys-smtbmc --aig"Clifford Wolf2016-12-011-6/+127
* Added "yosys-smtbmc --append"Clifford Wolf2016-11-221-2/+20
* Ignore L_pi nets in "yosys-smtbmc --cex"Clifford Wolf2016-10-181-2/+5
* Added "yosys-smtbmc --cex <filename>"Clifford Wolf2016-10-171-1/+35
* Added smtc support for top-level state with [], [N:] syntaxClifford Wolf2016-10-081-1/+1
* Minor improvements in yosys-smtbmcClifford Wolf2016-09-241-3/+19
* Added yosys-smtbmc --noinfo and --dummyClifford Wolf2016-09-191-1/+10
* Improved handling of SMT2 logics in yosys-smtbmcClifford Wolf2016-09-181-2/+0
* yosys-smtbmc: added -i support smtc filesClifford Wolf2016-09-181-20/+19
* Work-around for boolector bugClifford Wolf2016-09-131-2/+2
* yosys-smtbmc: flush stdout after each log msgClifford Wolf2016-09-061-17/+21
* Added boolector support to yosys-smtbmcClifford Wolf2016-09-031-22/+22
* More PEP 8 fixes.Kaj Tuomi2016-09-021-5/+2
* Indentation and PEP 8 fixes. CamelCase and white space after semicolon.Kaj Tuomi2016-09-021-4/+4
* Some syntax fixes. Generator and comma separated list modifications.Kaj Tuomi2016-09-021-14/+8
* Added $anyconst support to yosys-smtbmcClifford Wolf2016-08-301-0/+20
* Added "yosys-smtbmc --dump-all"Clifford Wolf2016-08-291-45/+67
* More yosys-smtbmc bugfixesClifford Wolf2016-08-291-6/+6
* Various fixes and improvements in yosys-smtbmcClifford Wolf2016-08-291-42/+66
* Some changes to yosys-smtbmc cmd line options, add --final-onlyClifford Wolf2016-08-271-33/+49
* Added smtc "final" statementClifford Wolf2016-08-271-7/+50
* More yosys-smtbmc smtc featuresClifford Wolf2016-08-241-15/+59
* yosys-smtbmc --smtc -gClifford Wolf2016-08-241-51/+34
* Minor yosys-smtbmc bugfixClifford Wolf2016-08-221-0/+6
* Added "yosys-smtbmc --constr"Clifford Wolf2016-08-221-2/+75
* Added "yosys-smtbmc --dump-constr"Clifford Wolf2016-08-221-1/+61
* yosys-smtbmc: improved --dump-vlogtb handling of memoriesClifford Wolf2016-08-211-3/+13
* Added "yosys-smtbmc --dump-vlogtb"Clifford Wolf2016-08-201-9/+108
* Added "yosys-smtbmc -g"Clifford Wolf2016-08-201-6/+40
* Added smtbmc longopt supportClifford Wolf2016-08-201-8/+8
* Improved smtbmc vcd generation performanceClifford Wolf2016-08-181-4/+6
* Added printing of code loc of failed asserts to yosys-smtbmcClifford Wolf2016-08-171-0/+16
* Added $initstate support to smtbmc flowClifford Wolf2016-07-271-0/+3
* Yosys-smtbmc: Support for hierarchical VCD dumpingClifford Wolf2016-07-111-6/+7
* Moved smt2 yosys info parsing from smtbmc.py to smtio.pyClifford Wolf2016-07-111-16/+7
* Support for hierarchical designs in smt2 back-endClifford Wolf2016-07-101-6/+14
* Added yosys-smtbmc -SClifford Wolf2015-12-201-6/+35
* Progress in yosys-smtbmcClifford Wolf2015-10-151-4/+10
* Improvements in yosys-smtbmcClifford Wolf2015-10-151-2/+6
* More "yosys-smtbmc -c" fixesClifford Wolf2015-10-141-5/+5
* Fixed yosys-smtbmc -cClifford Wolf2015-10-141-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-19 01:02:12 +0000