index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
/
btor
Commit message (
Expand
)
Author
Age
Files
Lines
*
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
2
-1
/
+1
*
Add btor ops for $mul, $div, $mod and $concat
makaimann
2018-12-17
2
-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
2
-7
/
+37
*
Fix btor back-end shift handling
Clifford Wolf
2017-12-10
2
-5
/
+7
*
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
2
-6
/
+245
*
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
2
-0
/
+216
*
Remove old BTOR back-end
Clifford Wolf
2017-11-23
4
-1174
/
+0
*
Added "yosys -D" feature
Clifford Wolf
2016-04-21
1
-1
/
+1
*
Renamed opt_const to opt_expr
Clifford Wolf
2016-03-31
1
-1
/
+1
*
Added "int ceil_log2(int)" function
Clifford Wolf
2016-02-13
1
-8
/
+8
*
Another block of spelling fixes
Larry Doolittle
2015-08-14
1
-1
/
+1
*
Spell check (by Larry Doolittle)
Clifford Wolf
2015-08-14
1
-2
/
+2
*
Remove some very strange whitespace in btor.cc (by Larry Doolittle)
Clifford Wolf
2015-08-05
1
-7
/
+7
*
Fixed trailing whitespaces
Clifford Wolf
2015-07-02
3
-89
/
+89
*
Fixed cstr_buf for std::string with small string optimization
Clifford Wolf
2015-06-11
1
-1
/
+1
*
Removed "techmap -share_map" (use "-map +/filename" instead)
Clifford Wolf
2015-04-08
1
-1
/
+1
*
Update README
Ahmed Irfan
2015-04-03
1
-1
/
+1
*
Delete btor.ys
Ahmed Irfan
2015-04-03
1
-18
/
+0
*
Update README
Ahmed Irfan
2015-04-03
1
-1
/
+1
*
separated memory next from write cell
Ahmed Irfan
2015-04-03
1
-7
/
+55
*
Added ENABLE_NDEBUG makefile options
Clifford Wolf
2015-01-24
1
-2
/
+2
*
namespace Yosys
Clifford Wolf
2014-09-27
1
-0
/
+4
*
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Ahmed Irfan
2014-09-22
2
-199
/
+199
|
\
|
*
Using std::vector<RTLIL::State> instead of RTLIL::Const for RTLIL::SigChunk::...
Clifford Wolf
2014-09-01
1
-1
/
+2
[next]