aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* Add "yosys-smtbmc --smtc-init --smtc-top --noinit"Clifford Wolf2017-08-041-20/+66
* Add verilator support to testbenches generated by yosys-smtbmcClifford Wolf2017-07-211-3/+15
* Generate FSM-style testbenches in smtbmcClifford Wolf2017-07-121-5/+23
* Fix the fixed handling of x-bits in EDIF back-endClifford Wolf2017-07-111-1/+0
* Fix handling of x-bits in EDIF back-endClifford Wolf2017-07-111-1/+11
* Add attributes and parameter support to JSON front-endClifford Wolf2017-07-101-0/+2
* Change s/asserts/assertions/ in yosys-smtbmc log messagesClifford Wolf2017-07-071-2/+2
* Add "yosys-smtbmc --presat"Clifford Wolf2017-07-071-3/+23
* Fix generation of multiple outputs for same AIG node in write_aigerClifford Wolf2017-07-051-13/+30
* Add write_table commandClifford Wolf2017-07-052-0/+123
* Remove unneeded delays in smtbmc vlogtbClifford Wolf2017-07-031-1/+1
* Include output ports with constant driver in AIGER outputClifford Wolf2017-07-031-2/+18
* Add "yosys-smtbmc --vlogtb-top"Clifford Wolf2017-07-011-15/+32
* Fix smtbmc vlogtb bug in $anyseq handlingClifford Wolf2017-07-011-3/+3
* Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand cons...Clifford Wolf2017-06-073-4/+53
* Fix AIGER back-end for multiple symbols per input/latch/output/propertyClifford Wolf2017-05-301-8/+20
* Improve write_aiger handling of unconnected nets and constantsClifford Wolf2017-05-281-7/+61
* Change default smt2 solver to yices (Yices 2 has switched its license to GPL)Clifford Wolf2017-05-271-4/+4
* Add workaround for CBMC bug to SimpleC back-endClifford Wolf2017-05-171-1/+3
* Add $_ANDNOT_ and $_ORNOT_ gatesClifford Wolf2017-05-175-14/+36
* Add <modname>_init() function generator to simpleC back-endClifford Wolf2017-05-162-88/+152
* Improve simplec back-endClifford Wolf2017-05-161-1/+1
* Improve simplec back-endClifford Wolf2017-05-151-42/+44
* Improve simplec back-endClifford Wolf2017-05-143-3/+49
* Improve simplec back-endClifford Wolf2017-05-131-25/+60
* Improve simplec back-endClifford Wolf2017-05-123-12/+78
* Added support for more gate types to simplec back-endClifford Wolf2017-05-121-1/+88
* Add first draft of simple C back-endClifford Wolf2017-05-126-0/+623
* Fix boolector support in yosys-smtbmcClifford Wolf2017-05-081-18/+18
* Add "write_smt2 -stdt" modeClifford Wolf2017-03-202-37/+84
* Add generation of logic cells to EDIF back-end runtest.pyClifford Wolf2017-03-191-2/+6
* Fix EDIF: portRef member 0 is always the MSB bitClifford Wolf2017-03-192-13/+14
* Add simple EDIF test case generator and checkerClifford Wolf2017-03-181-0/+113
* Improve smt2 encodings of assert/assume/cover, better wire_smt2 help msgClifford Wolf2017-03-042-33/+87
* Add write_aiger $anyseq supportClifford Wolf2017-03-021-0/+7
* Use hex addresses in smtbmc vcd mem tracesClifford Wolf2017-02-281-1/+1
* Add smtbmc support for memory vcd dumpingClifford Wolf2017-02-261-0/+98
* Fix extra newline bug in write_smt2Clifford Wolf2017-02-261-1/+1
* Fix bug in smtio unroll codeClifford Wolf2017-02-261-3/+2
* Fix assert checking in "yosys-smtbmc -c --append"Clifford Wolf2017-02-261-1/+1
* Improve (and fix for stbv mode) SMT2 memory APIClifford Wolf2017-02-263-47/+51
* Add support for "yosys-smtbmc -c --append"Clifford Wolf2017-02-251-1/+13
* Improve "write_edif" help messageClifford Wolf2017-02-251-7/+2
* Move EdifNames out of double-private namespaceClifford Wolf2017-02-251-48/+45
* Clean up edif code, swap bit indexing of "upto" portsClifford Wolf2017-02-251-17/+35
* Merge branch 'master' of https://github.com/klammerj/yosys into klammerj-masterClifford Wolf2017-02-251-6/+46
|\
| * Did as you requested, /but/...Johann Klammer2017-02-241-45/+29
| * add options for edif flavorsJohann Klammer2017-02-231-4/+60
* | Add $live and $fair support to AIGER back-end.Clifford Wolf2017-02-251-8/+104
* | Add "write_smt2 -stbv"Clifford Wolf2017-02-243-49/+179