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
...
*
Renamed RTLIL::{Module,Cell}::connections to connections_
Clifford Wolf
2014-07-26
1
-2
/
+2
*
Removed RTLIL::SigSpec::optimize()
Clifford Wolf
2014-07-23
1
-5
/
+0
*
Removed RTLIL::SigSpec::expand() method
Clifford Wolf
2014-07-23
1
-4
/
+2
*
SigSpec refactoring: using the accessor functions everywhere
Clifford Wolf
2014-07-22
1
-23
/
+23
*
SigSpec refactoring: renamed chunks and width to __chunks and __width
Clifford Wolf
2014-07-22
1
-23
/
+23
*
now ignore init attributes on non-register wires in sat command
Clifford Wolf
2014-07-05
1
-4
/
+24
*
Small improvement in SAT log messages
Clifford Wolf
2014-03-13
1
-3
/
+3
*
Added "sat -dump_cnf"
Clifford Wolf
2014-02-18
1
-5
/
+34
*
Coding style corrections in SatHelper::dump_model_to_vcd()
Clifford Wolf
2014-02-18
1
-31
/
+31
*
Added "sat -initsteps"
Clifford Wolf
2014-02-18
1
-14
/
+29
*
Renamed "sat -dump_fail_to_vcd" to "sat -dump_vcd" and some minor cleanups
Clifford Wolf
2014-02-17
1
-5
/
+9
*
Added "-dump_fail_to_vcd" argument to SAT solver
Andrew Zonenberg
2014-02-17
1
-0
/
+114
*
Added generic RTLIL::SigSpec::parse_sel() with support for selection variables
Clifford Wolf
2014-02-06
1
-30
/
+13
*
Added support for sat -show @<sel_name>
Clifford Wolf
2014-02-06
1
-0
/
+17
*
Added sat -set-init-def and sat -tempinduct-def
Clifford Wolf
2014-02-06
1
-4
/
+34
*
Added sat -set-init-zero support
Clifford Wolf
2014-02-06
1
-2
/
+22
*
Added sat -verify and -falsify support for non-prove cases
Clifford Wolf
2014-02-06
1
-14
/
+26
*
added sat -falsify
Clifford Wolf
2014-02-04
1
-4
/
+28
*
Fixed bug in sequential sat proofs and improved handling of asserts
Clifford Wolf
2014-02-04
1
-2
/
+27
*
Addred sat option -ignore_unknown_cells
Clifford Wolf
2014-02-03
1
-3
/
+17
*
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
[prev]