index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
kernel
/
satgen.h
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Using log_assert() instead of assert()
Clifford Wolf
2014-07-28
1
-4
/
+4
*
Changed users of cell->connections_ to the new API (sed command)
Clifford Wolf
2014-07-26
1
-85
/
+85
*
Renamed RTLIL::{Module,Cell}::connections to connections_
Clifford Wolf
2014-07-26
1
-85
/
+85
*
Removed RTLIL::SigSpec::expand() method
Clifford Wolf
2014-07-23
1
-6
/
+4
*
SigSpec refactoring: using the accessor functions everywhere
Clifford Wolf
2014-07-22
1
-7
/
+7
*
SigSpec refactoring: renamed chunks and width to __chunks and __width
Clifford Wolf
2014-07-22
1
-7
/
+7
*
Bugfix in satgen for cells with wider in- than outputs.
Clifford Wolf
2014-07-21
1
-1
/
+9
*
Added libs/minisat (copy of minisat git master)
Clifford Wolf
2014-03-12
1
-6
/
+1
*
Fixed use of frozen literals in SatGen
Clifford Wolf
2014-03-06
1
-3
/
+2
*
Strictly zero-extend unsigned A-inputs of shift operations
Clifford Wolf
2014-03-06
1
-1
/
+1
*
Added support for $bu0 to SatGen
Clifford Wolf
2014-02-26
1
-4
/
+4
*
Added support for Minisat::SimpSolver + ezSAT frezze() API
Clifford Wolf
2014-02-23
1
-0
/
+1
*
Added $slice and $concat cell types
Clifford Wolf
2014-02-07
1
-0
/
+21
*
Fixed bug in sequential sat proofs and improved handling of asserts
Clifford Wolf
2014-02-04
1
-7
/
+16
*
Added $assert support to satgen
Clifford Wolf
2014-01-19
1
-0
/
+21
*
Fixed SAT and ConstEval undef handling for $pmux and $safe_pmux
Clifford Wolf
2014-01-03
1
-6
/
+37
*
Added SAT undef model for $pmux and $safe_pmux
Clifford Wolf
2014-01-02
1
-4
/
+19
*
Major rewrite of "freduce" command
Clifford Wolf
2014-01-02
1
-5
/
+3
*
Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)
Clifford Wolf
2013-12-29
1
-11
/
+8
*
Fixed sat handling of $eqx and $nex with unequal port widths
Clifford Wolf
2013-12-27
1
-0
/
+2
*
Small cleanup in SatGen
Clifford Wolf
2013-12-27
1
-2
/
+0
*
Fixed sat handling of $eqx and $nex cells
Clifford Wolf
2013-12-27
1
-1
/
+12
*
Added support for non-const === and !== (for miter circuits)
Clifford Wolf
2013-12-27
1
-4
/
+16
*
Added "sat" undef support and "sat -set-init" options
Clifford Wolf
2013-12-07
1
-13
/
+24
*
Improvements in satgen undef handling
Clifford Wolf
2013-11-25
1
-73
/
+170
*
Improvements in satgen undef handling
Clifford Wolf
2013-11-25
1
-27
/
+122
*
Started implementing undef handling in satgen
Clifford Wolf
2013-11-25
1
-25
/
+172
*
Added verification of SAT model to "eval -vloghammer_report" command
Clifford Wolf
2013-11-09
1
-6
/
+5
*
Improved width extension with regard to undef propagation
Clifford Wolf
2013-11-06
1
-3
/
+3
*
Implemented same div-by-zero behavior as found in other synthesis tools
Clifford Wolf
2013-08-15
1
-5
/
+28
*
Added sat -ignore_div_by_zero switch
Clifford Wolf
2013-08-15
1
-1
/
+6
*
Added SAT support for $div and $mod cells
Clifford Wolf
2013-08-11
1
-0
/
+46
*
Fixed shift ops with large right hand side
Clifford Wolf
2013-07-09
1
-1
/
+1
*
More fixes for bugs found using xsthammer
Clifford Wolf
2013-06-13
1
-0
/
+1
*
Another fix for a bug found using xsthammer
Clifford Wolf
2013-06-12
1
-0
/
+10
*
Sign-extension related fixes in SatGen and AST frontend
Clifford Wolf
2013-06-10
1
-8
/
+8
*
Improvements and fixes in SAT code
Clifford Wolf
2013-06-10
1
-5
/
+22
*
Implemented temporal induction proofs in sat_solve
Clifford Wolf
2013-06-09
1
-2
/
+2
*
Fixed handling of $_XOR_ in SAT generator
Clifford Wolf
2013-06-09
1
-1
/
+1
*
Added sequential solving support to sat_solve
Clifford Wolf
2013-06-09
1
-32
/
+49
*
Added support for shifter cells to SAT generator
Clifford Wolf
2013-06-08
1
-7
/
+26
*
Various improvements in sat_solve pass and SAT generator
Clifford Wolf
2013-06-08
1
-31
/
+81
*
Improved sat generator and sat_solve pass
Clifford Wolf
2013-06-07
1
-9
/
+46
*
Added SAT generator and simple sat_solve command
Clifford Wolf
2013-06-07
1
-0
/
+137
[prev]