aboutsummaryrefslogtreecommitdiffstats
path: root/backends/btor
Commit message (Expand)AuthorAgeFilesLines
* btor: Support $anyinit cellsJannis Harder2022-08-161-1/+1
* formalff: Set new replaced_by_gclk attribute on removed dff's clksJannis Harder2022-08-161-0/+10
* smt2, btor: Revert calling memory_map -rom-onlyJannis Harder2022-06-291-1/+0
* memory_map: -keepdc option for formalJannis Harder2022-06-271-1/+1
* btor: add support for $pos cellKevin Läufer2022-06-201-8/+11
* smt2, btor: Use memory_map -rom-only to make ROMs usable for k-inductionJannis Harder2022-06-171-0/+1
* Add propagated clock signals into btor info fileClaire Xenia Wolf2022-05-041-0/+2
* Fix handling of some formal cells in btor back-endClaire Xenia Wolf2022-03-111-6/+2
* handle state names of $anyconst and $anyseqMiodrag Milanovic2022-03-111-1/+5
* Add $bmux and $demux cells.Marcelina Kościelnicka2022-01-281-0/+5
* Hook up $aldff support in various passes.Marcelina Kościelnicka2021-10-021-1/+1
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-2/+2
* Make a few passes auto-call Mem::narrow instead of rejecting wide ports.Marcelina Kościelnicka2021-05-281-9/+3
* Reject wide ports in some passes that will never support them.Marcelina Kościelnicka2021-05-251-2/+11
* btor: Use is_mem_cell in one more place.Marcelina Kościelnicka2021-05-231-1/+1
* kernel/rtlil: Extract some helpers for checking memory cell types.Marcelina Kościelnicka2021-05-221-1/+1
* btor, smt2, smv: Add a hint on how to deal with funny FF types.Marcelina Kościelnicka2021-02-251-1/+14
* 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