aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* Work-around for boolector bugClifford Wolf2016-09-131-2/+2
* Added missing :produce-models setting to smtio.pyClifford Wolf2016-09-111-1/+2
* Minor improvements to smtio.py vcd writerClifford Wolf2016-09-101-1/+3
* fixed write_smt2 for (non-combinatorial) loops through hierarchical cellsClifford Wolf2016-09-101-17/+34
* smt2 mem init bugfixClifford Wolf2016-09-081-4/+6
* yosys-smtbmc meminit supportClifford Wolf2016-09-081-3/+23
* Bugfix in "yosys-smtbmc --unroll"Clifford Wolf2016-09-071-1/+1
* Added "yosys-smtbmc --unroll"Clifford Wolf2016-09-071-11/+130
* yosys-smtbmc: flush stdout after each log msgClifford Wolf2016-09-061-17/+21
* Minor bugfix in write_smt2Clifford Wolf2016-09-041-3/+3
* Added boolector support to yosys-smtbmcClifford Wolf2016-09-033-33/+58
* Don't re-create hex_dict for each valueClifford Wolf2016-09-021-7/+10
* More PEP 8 fixes.Kaj Tuomi2016-09-022-7/+6
* Indentation and PEP 8 fixes. CamelCase and white space after semicolon.Kaj Tuomi2016-09-022-13/+13
* Use dict lookup instead of many ifs.Kaj Tuomi2016-09-021-19/+8
* Fix: Unresolved reference.Kaj Tuomi2016-09-021-1/+1
* Some syntax fixes. Generator and comma separated list modifications.Kaj Tuomi2016-09-021-14/+8
* Added $anyconst support to yosys-smtbmcClifford Wolf2016-08-303-1/+27
* Fixed memory bug in write_smt2Clifford Wolf2016-08-301-9/+23
* Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem"Clifford Wolf2016-08-301-14/+18
* Added $anyconst support to smt2 back-endClifford Wolf2016-08-301-0/+17
* 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
* Various fixes and improvements in smt2 back-endClifford Wolf2016-08-262-81/+117
* 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-222-4/+94
* Added "yosys-smtbmc --dump-constr"Clifford Wolf2016-08-221-1/+61
* yosys-smtbmc: improved --dump-vlogtb handling of memoriesClifford Wolf2016-08-213-8/+30
* Added "yosys-smtbmc --dump-vlogtb"Clifford Wolf2016-08-201-9/+108
* Added support for memories to smtio.pyClifford Wolf2016-08-201-4/+35
* Deprecated "write_smt2 -regs" (by default on now), and some other smt2 back-e...Clifford Wolf2016-08-201-28/+26
* Added "yosys-smtbmc -g"Clifford Wolf2016-08-201-6/+40
* Added smtbmc longopt supportClifford Wolf2016-08-202-14/+15
* Bugfix in partial mem write handling in verilog back-endClifford Wolf2016-08-201-42/+26
* Added missing support for mem read enable ports to verilog back-endClifford Wolf2016-08-181-6/+14
* Improved smtbmc vcd generation performanceClifford Wolf2016-08-182-20/+40
* Added printing of code loc of failed asserts to yosys-smtbmcClifford Wolf2016-08-173-1/+23
* Fixed upto handling in verilog back-endClifford Wolf2016-08-151-0/+3
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2016-07-302-1/+17
|\
| * Added $initstate support to smtbmc flowClifford Wolf2016-07-272-1/+17
* | Added "write_verilog -defparam"Clifford Wolf2016-07-301-2/+21
* | Added "write_verilog -nodec -nostr"Clifford Wolf2016-07-301-4/+27
|/
* write_json: also write module attributes.whitequark2016-07-121-2/+6
* Yosys-smtbmc: Support for hierarchical VCD dumpingClifford Wolf2016-07-112-23/+59
* Moved smt2 yosys info parsing from smtbmc.py to smtio.pyClifford Wolf2016-07-113-16/+56
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-11 18:39:30 +0000