index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
/
btor
/
btor.cc
Commit message (
Expand
)
Author
Age
Files
Lines
*
btor: Use is_mem_cell in one more place.
Marcelina Kościelnicka
2021-05-23
1
-1
/
+1
*
kernel/rtlil: Extract some helpers for checking memory cell types.
Marcelina Kościelnicka
2021-05-22
1
-1
/
+1
*
btor, smt2, smv: Add a hint on how to deal with funny FF types.
Marcelina Kościelnicka
2021-02-25
1
-1
/
+14
*
btor: Use Mem helper.
Marcelina Kościelnicka
2020-10-21
1
-93
/
+102
*
Respect \A_SIGNED for $shift
Xiretza
2020-08-18
1
-9
/
+17
*
Use C++11 final/override keywords.
whitequark
2020-06-18
1
-2
/
+2
*
btor backend: make not printing internal names default
N. Engelhardt
2020-06-04
1
-5
/
+5
*
Add printf format attributes to btorf/infof helper functions
Claire Wolf
2020-06-04
1
-3
/
+3
*
btor backend: add option to not include internal names
N. Engelhardt
2020-06-04
1
-33
/
+42
*
Add flooring modulo operator
Xiretza
2020-05-28
1
-4
/
+10
*
kernel: big fat patch to use more ID::*, otherwise ID(*)
Eddie Hung
2020-04-02
1
-106
/
+106
*
Update backends/btor/btor.cc; credit @boqwxp
Eddie Hung
2020-04-02
1
-2
/
+1
*
kernel: use more ID::*
Eddie Hung
2020-04-02
1
-51
/
+51
*
Improve write_btor symbol handling
Claire Wolf
2020-03-14
1
-36
/
+60
*
Add info-file and cover features to write_btor
Claire Wolf
2020-03-13
1
-9
/
+113
*
Use cell name for btor bad state props when it is a public name
Clifford Wolf
2019-11-14
1
-9
/
+5
*
Add an info string symbol for bad states in btor backend
Makai Mann
2019-11-11
1
-1
/
+10
*
Fix btor back-end to use "state" instead of "input" for undef init bits
Clifford Wolf
2019-10-02
1
-6
/
+9
*
Corrects btor2 backend
Aman Goel
2019-09-27
1
-1
/
+4
*
Fix stupid bug in btor back-end
Clifford Wolf
2019-09-18
1
-1
/
+1
*
Use State::S{0,1}
Eddie Hung
2019-08-06
1
-2
/
+2
*
Add $_NMUX_, add "abc -g cmos", add proper cmos cell costs
Clifford Wolf
2019-08-06
1
-1
/
+7
*
Improve BTOR2 handling of undriven wires
Clifford Wolf
2019-06-26
1
-3
/
+27
*
Add proper error message for btor recursion_guard
Clifford Wolf
2019-05-24
1
-1
/
+7
*
Change "ne" to "neq" in btor2 output
Clifford Wolf
2019-04-19
1
-1
/
+1
*
Add support for memory initialization to write_btor
Clifford Wolf
2019-03-23
1
-0
/
+53
*
Fix BTOR output tags syntax in writye_btor
Clifford Wolf
2019-03-23
1
-2
/
+1
*
Minor style fixes
Clifford Wolf
2018-12-18
1
-1
/
+1
*
Add btor ops for $mul, $div, $mod and $concat
makaimann
2018-12-17
1
-2
/
+38
*
Fix btor init value handling
Clifford Wolf
2018-12-08
1
-9
/
+13
*
Consistent use of 'override' for virtual methods in derived classes.
Henner Zeller
2018-07-20
1
-2
/
+2
*
Add "no driver for signal bit" error msg to btor back-end
Clifford Wolf
2017-12-24
1
-0
/
+2
*
Simple fix BTOR memory encoding
Clifford Wolf
2017-12-17
1
-2
/
+2
*
Improve BTOR memory encoding
Clifford Wolf
2017-12-17
1
-2
/
+16
*
Add array support to btor back-end
Clifford Wolf
2017-12-15
1
-6
/
+169
*
Add $anyconst/$anyseq support to btor back-end
Clifford Wolf
2017-12-15
1
-13
/
+51
*
Add "write_btor -s" mode
Clifford Wolf
2017-12-13
1
-6
/
+50
*
Add state initval handling to btor back-end
Clifford Wolf
2017-12-12
1
-0
/
+25
*
Add btor back-end support for 'x' constants
Clifford Wolf
2017-12-12
1
-1
/
+54
*
Add btor $shift/$shiftx support
Clifford Wolf
2017-12-11
1
-5
/
+35
*
Fix btor back-end shift handling
Clifford Wolf
2017-12-10
1
-4
/
+6
*
Add support for $pmux in btor back-end
Clifford Wolf
2017-12-10
1
-0
/
+23
*
Add support for more cell types to btor back-end
Clifford Wolf
2017-12-10
1
-6
/
+215
*
Fix btor concat
Clifford Wolf
2017-12-09
1
-1
/
+1
*
Bugfixes in new BTOR back-end
Clifford Wolf
2017-11-24
1
-2
/
+3
*
Progress in new BTOR back-end
Clifford Wolf
2017-11-23
1
-36
/
+97
*
Progress in new BTOR back-end
Clifford Wolf
2017-11-23
1
-3
/
+95
*
Progress in new BTOR back-end
Clifford Wolf
2017-11-23
1
-14
/
+72
*
Progress with new BTOR backend
Clifford Wolf
2017-11-23
1
-8
/
+109
*
Add skeleton for new BTOR back-end
Clifford Wolf
2017-11-23
1
-0
/
+213
[next]