index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
/
sat
/
sat.cc
Commit message (
Expand
)
Author
Age
Files
Lines
*
Added sat -show-inputs and -show-outputs
Clifford Wolf
2014-02-01
1
-1
/
+24
*
Added sat -tempinduc and sat -prove-asserts
Clifford Wolf
2014-01-19
1
-10
/
+41
*
Major rewrite of "freduce" command
Clifford Wolf
2014-01-02
1
-1
/
+1
*
Added sat -prove-x and -set-def-inputs
Clifford Wolf
2013-12-28
1
-32
/
+96
*
Added sat -set-def/-set-*-undef support
Clifford Wolf
2013-12-27
1
-5
/
+66
*
Renamed sat -set-undef to -set-any-undef
Clifford Wolf
2013-12-27
1
-20
/
+20
*
Added sat -max_undef feature
Clifford Wolf
2013-12-07
1
-11
/
+50
*
Added "sat" undef support and "sat -set-init" options
Clifford Wolf
2013-12-07
1
-40
/
+146
*
Started implementing undef support in "sat" command
Clifford Wolf
2013-11-25
1
-12
/
+103
*
Improved user-friendliness of "sat" and "eval" expression parsing
Clifford Wolf
2013-11-09
1
-3
/
+3
*
Added sat -ignore_div_by_zero switch
Clifford Wolf
2013-08-15
1
-1
/
+11
*
Added SAT support for -all/-max with -verify
Clifford Wolf
2013-06-23
1
-6
/
+11
*
Added timout functionality to SAT solver
Clifford Wolf
2013-06-20
1
-5
/
+62
*
Added "eval" pass
Clifford Wolf
2013-06-19
1
-187
/
+11
*
Fixed even more ConstEval bugs found using xsthammer
Clifford Wolf
2013-06-14
1
-2
/
+1
*
Added consteval testing to xsthammer and fixed bugs
Clifford Wolf
2013-06-13
1
-0
/
+97
*
More xsthammer improvements (using xst 14.5 now)
Clifford Wolf
2013-06-13
1
-1
/
+1
*
Improvements and fixes in SAT code
Clifford Wolf
2013-06-10
1
-4
/
+14
*
Renamed "sat_solve" pass to "sat"
Clifford Wolf
2013-06-09
1
-0
/
+753