aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* Fix protobuf buildSergiusz Bazanski2018-06-201-1/+1
* Add Protobuf backendSerge Bazanski2018-06-193-0/+380
* Add $dlatch support to write_verilogClifford Wolf2018-04-221-0/+38
* Add "write_blif -inames -iattr"Clifford Wolf2018-04-151-22/+46
* Add smtio.py support for parsing SMT2 (_ bvX n) syntax for BitVec constantsClifford Wolf2018-04-041-0/+3
* Fixed -stbv handling in SMT2 back-endClifford Wolf2018-04-041-1/+1
* Add smtio status msgs when --progress is inactiveClifford Wolf2018-03-291-2/+23
* Bugfix in smtio.py VCD file generatorClifford Wolf2018-03-291-1/+1
* Add $mem support to SMT2 clock taggingClifford Wolf2018-03-271-0/+18
* Improve yosys-smtbmc log output and error handlingClifford Wolf2018-03-171-5/+14
* Improve handling of invalid check-sat result in smtio.pyClifford Wolf2018-03-171-1/+2
* Remove debug prints from yosys-smtbmc VCD writerClifford Wolf2018-03-081-2/+0
* Check results of (check-sat) in yosys-smtbmcClifford Wolf2018-03-071-0/+2
* Imporove yosys-smtbmc error handling, Improve VCD outputClifford Wolf2018-03-052-23/+49
* Improve SMT2 encoding of $reduce_{and,or,bool}Clifford Wolf2018-03-041-1/+9
* Fix a hangup in yosys-smtbmc error handlingClifford Wolf2018-03-041-3/+5
* Improved error handling in yosys-smtbmcClifford Wolf2018-03-031-1/+3
* Terminate running SMT solver when smtbmc is terminatedClifford Wolf2018-03-031-1/+31
* Fix smtbmc smtc/aiw parser for wire names containing []Clifford Wolf2018-03-031-1/+1
* Mangle names with square brackets in VCD files to work around issues in gtkwaveClifford Wolf2018-03-011-2/+8
* Small fixes and improvements in $allconst/$allseq handlingClifford Wolf2018-02-261-12/+18
* Add smtbmc support for exist-forall problemsClifford Wolf2018-02-233-87/+334
* Add support for mockup clock signals in yosys-smtbmc vcd outputClifford Wolf2018-02-203-6/+111
* Fix handling of zero-length cell connections in SMT2 back-endClifford Wolf2018-02-081-0/+8
* Fixed gcc 7.2 "statement will never be executed" warningClifford Wolf2018-02-031-1/+1
* Fix smtio.py for large SMT2 S-expressionsClifford Wolf2018-01-291-1/+12
* Move user-provided smt2 info stmts to the top of the yosys-smtbmc smt2 outputClifford Wolf2018-01-181-3/+3
* Add "no driver for signal bit" error msg to btor back-endClifford Wolf2017-12-241-0/+2
* Simple fix BTOR memory encodingClifford Wolf2017-12-171-2/+2
* Improve BTOR memory encodingClifford Wolf2017-12-171-2/+16
* Add array support to btor back-endClifford Wolf2017-12-151-6/+169
* Add $anyconst/$anyseq support to btor back-endClifford Wolf2017-12-151-13/+51
* Merge branch 'master' into btor-ngClifford Wolf2017-12-143-7/+11
|\
| * Add yosys-smtbmc VCD writer support for memories with async writesClifford Wolf2017-12-143-7/+11
* | Merge branch 'master' into btor-ngClifford Wolf2017-12-141-14/+53
|\|
| * Add smt2 back-end support for async write memoriesClifford Wolf2017-12-141-14/+53
| * Fixed "yosys-smtbmc -g" handling of no solutionClifford Wolf2017-11-271-1/+1
* | Add "write_btor -s" modeClifford Wolf2017-12-131-6/+50
* | Add state initval handling to btor back-endClifford Wolf2017-12-121-0/+25
* | Add btor back-end support for 'x' constantsClifford Wolf2017-12-121-1/+54
* | Add btor $shift/$shiftx supportClifford Wolf2017-12-112-7/+37
* | Fix btor back-end shift handlingClifford Wolf2017-12-102-5/+7
* | Add support for $pmux in btor back-endClifford Wolf2017-12-101-0/+23
* | Add support for more cell types to btor back-endClifford Wolf2017-12-102-6/+245
* | Fix btor concatClifford Wolf2017-12-091-1/+1
* | Fixed "yosys-smtbmc -g" handling of no solutionClifford Wolf2017-11-271-1/+1
* | Bugfixes in new BTOR back-endClifford Wolf2017-11-241-2/+3
* | Progress in new BTOR back-endClifford Wolf2017-11-231-36/+97
* | Progress in new BTOR back-endClifford Wolf2017-11-231-3/+95
* | Progress in new BTOR back-endClifford Wolf2017-11-231-14/+72