aboutsummaryrefslogtreecommitdiffstats
path: root/backends/btor
Commit message (Expand)AuthorAgeFilesLines
* btor: Use Mem helper.Marcelina Koƛcielnicka2020-10-211-93/+102
* Add missing gitignores for test artifactsXiretza2020-08-311-0/+1
* Respect \A_SIGNED for $shiftXiretza2020-08-182-11/+19
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
* btor backend: make not printing internal names defaultN. Engelhardt2020-06-041-5/+5
* Add printf format attributes to btorf/infof helper functionsClaire Wolf2020-06-041-3/+3
* btor backend: add option to not include internal namesN. Engelhardt2020-06-041-33/+42
* Add flooring division operatorXiretza2020-05-281-1/+1
* Add flooring modulo operatorXiretza2020-05-282-5/+11
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-106/+106
* Update backends/btor/btor.cc; credit @boqwxpEddie Hung2020-04-021-2/+1
* kernel: use more ID::*Eddie Hung2020-04-021-51/+51
* Improve write_btor symbol handlingClaire Wolf2020-03-141-36/+60
* Add info-file and cover features to write_btorClaire Wolf2020-03-131-9/+113
* Use cell name for btor bad state props when it is a public nameClifford Wolf2019-11-141-9/+5
* Add an info string symbol for bad states in btor backendMakai Mann2019-11-111-1/+10
* Fix btor back-end to use "state" instead of "input" for undef init bitsClifford Wolf2019-10-021-6/+9
* Corrects btor2 backendAman Goel2019-09-271-1/+4
* Fix stupid bug in btor back-endClifford Wolf2019-09-181-1/+1
* Use State::S{0,1}Eddie Hung2019-08-061-2/+2
* Add $_NMUX_, add "abc -g cmos", add proper cmos cell costsClifford Wolf2019-08-061-1/+7
* Improve BTOR2 handling of undriven wiresClifford Wolf2019-06-261-3/+27
* Add proper error message for btor recursion_guardClifford Wolf2019-05-241-1/+7
* Change "ne" to "neq" in btor2 outputClifford Wolf2019-04-191-1/+1
* Add support for memory initialization to write_btorClifford Wolf2019-03-231-0/+53
* Fix BTOR output tags syntax in writye_btorClifford Wolf2019-03-231-2/+1
* Minor style fixesClifford Wolf2018-12-182-1/+1
* Add btor ops for $mul, $div, $mod and $concatmakaimann2018-12-172-2/+38
* Fix btor init value handlingClifford Wolf2018-12-081-9/+13
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
* 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
* 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
* 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
* Progress with new BTOR backendClifford Wolf2017-11-231-8/+109
* Add skeleton for new BTOR back-endClifford Wolf2017-11-232-0/+216
* Remove old BTOR back-endClifford Wolf2017-11-234-1174/+0