index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
/
smt2
/
smt2.cc
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Added support for partially initialized regs to smt2 back-end
Clifford Wolf
2016-12-01
1
-3
/
+15
*
Bugfix in smt2 back-end for pure checker modules
Clifford Wolf
2016-11-28
1
-0
/
+4
*
cleanup in write_smt2 log messages (-bv and -mem are now default)
Clifford Wolf
2016-10-16
1
-1
/
+1
*
Added $anyseq cell type
Clifford Wolf
2016-10-14
1
-1
/
+1
*
Added $ff and $_FF_ cell types
Clifford Wolf
2016-10-12
1
-5
/
+5
*
Improved handling of SMT2 logics in yosys-smtbmc
Clifford Wolf
2016-09-18
1
-1
/
+7
*
fixed write_smt2 for (non-combinatorial) loops through hierarchical cells
Clifford Wolf
2016-09-10
1
-17
/
+34
*
smt2 mem init bugfix
Clifford Wolf
2016-09-08
1
-4
/
+6
*
yosys-smtbmc meminit support
Clifford Wolf
2016-09-08
1
-3
/
+23
*
Minor bugfix in write_smt2
Clifford Wolf
2016-09-04
1
-3
/
+3
*
Added boolector support to yosys-smtbmc
Clifford Wolf
2016-09-03
1
-9
/
+21
*
Added $anyconst support to yosys-smtbmc
Clifford Wolf
2016-08-30
1
-1
/
+3
*
Fixed memory bug in write_smt2
Clifford Wolf
2016-08-30
1
-9
/
+23
*
Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem"
Clifford Wolf
2016-08-30
1
-14
/
+18
*
Added $anyconst support to smt2 back-end
Clifford Wolf
2016-08-30
1
-0
/
+17
*
Various fixes and improvements in smt2 back-end
Clifford Wolf
2016-08-26
1
-80
/
+116
*
yosys-smtbmc: improved --dump-vlogtb handling of memories
Clifford Wolf
2016-08-21
1
-2
/
+6
*
Deprecated "write_smt2 -regs" (by default on now), and some other smt2 back-e...
Clifford Wolf
2016-08-20
1
-28
/
+26
*
Added printing of code loc of failed asserts to yosys-smtbmc
Clifford Wolf
2016-08-17
1
-1
/
+3
*
Added $initstate support to smtbmc flow
Clifford Wolf
2016-07-27
1
-1
/
+14
*
Moved smt2 yosys info parsing from smtbmc.py to smtio.py
Clifford Wolf
2016-07-11
1
-0
/
+4
*
Support for hierarchical designs in smt2 back-end
Clifford Wolf
2016-07-10
1
-18
/
+130
*
Added "yosys -D" feature
Clifford Wolf
2016-04-21
1
-1
/
+1
*
Import more std:: stuff into Yosys namespace
Clifford Wolf
2015-10-25
1
-2
/
+2
*
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()
Clifford Wolf
2015-10-24
1
-2
/
+2
*
Improvements in yosys-smtbmc
Clifford Wolf
2015-10-15
1
-0
/
+1
*
Added write_smt2 -wires
Clifford Wolf
2015-10-13
1
-7
/
+15
*
Added "yosys-smt2-wire" tag support to smt2 back-end
Clifford Wolf
2015-08-31
1
-0
/
+2
*
Fixed generation of smt2 concat statements
Clifford Wolf
2015-08-15
1
-3
/
+5
*
Added "write_smt2 -regs"
Clifford Wolf
2015-08-12
1
-7
/
+36
*
Use MEMID as name for $mem cell
Clifford Wolf
2015-08-09
1
-1
/
+6
*
Fixed trailing whitespaces
Clifford Wolf
2015-07-02
1
-2
/
+2
*
Removed debug code from write_smt2
Clifford Wolf
2015-06-14
1
-2
/
+0
*
Added write_smt2 -mem
Clifford Wolf
2015-06-14
1
-80
/
+157
*
Added $assume support to write_smt2
Clifford Wolf
2015-02-26
1
-4
/
+19
*
Minor "write_smt2" help msg change
Clifford Wolf
2015-02-22
1
-1
/
+1
*
Added "<mod>_a" and "<mod>_i" to write_smt2 output
Clifford Wolf
2015-02-22
1
-23
/
+149
*
Various fixes and improvements in "write_smt2 -bv"
Clifford Wolf
2014-12-25
1
-7
/
+28
*
Various fixes and improvements in write_smt2
Clifford Wolf
2014-12-25
1
-32
/
+43
*
Added support for most BV cell types to write_smt2
Clifford Wolf
2014-12-25
1
-14
/
+221
*
Added "write_smt2 -bv" and other write_smt2 improvements
Clifford Wolf
2014-12-25
1
-172
/
+153
*
Added write_smt2 (only gate level logic supported so far)
Clifford Wolf
2014-12-24
1
-0
/
+350
[prev]