index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
passes
/
sat
Commit message (
Expand
)
Author
Age
*
Added correct RTL undef handling to eval vloghammer mode
Clifford Wolf
2013-11-06
*
Added eval -vloghammer_report mode
Clifford Wolf
2013-11-06
*
Added sat -ignore_div_by_zero switch
Clifford Wolf
2013-08-15
*
Added eval -brute_force_equiv_checker_x mode
Clifford Wolf
2013-08-15
*
freduce performance fix
Clifford Wolf
2013-08-10
*
Added -try option to freduce pass
Clifford Wolf
2013-08-08
*
Fixed topological ordering in freduce pass
Clifford Wolf
2013-08-07
*
Small bugfixes in freduce pass
Clifford Wolf
2013-08-06
*
Added freduce command
Clifford Wolf
2013-08-06
*
Added SAT support for -all/-max with -verify
Clifford Wolf
2013-06-23
*
Added timout functionality to SAT solver
Clifford Wolf
2013-06-20
*
Added "eval" pass
Clifford Wolf
2013-06-19
*
Fixed even more ConstEval bugs found using xsthammer
Clifford Wolf
2013-06-14
*
Added consteval testing to xsthammer and fixed bugs
Clifford Wolf
2013-06-13
*
More xsthammer improvements (using xst 14.5 now)
Clifford Wolf
2013-06-13
*
Improvements and fixes in SAT code
Clifford Wolf
2013-06-10
*
Renamed "sat_solve" pass to "sat"
Clifford Wolf
2013-06-09
*
Implemented temporal induction proofs in sat_solve
Clifford Wolf
2013-06-09
*
Added support for non-temporal proofs to sat_solve
Clifford Wolf
2013-06-09
*
Re-organization in sat_solver pass for temporal induction
Clifford Wolf
2013-06-09
*
Added ezSAT api support for don't care values in models
Clifford Wolf
2013-06-09
*
Fixed handling of $_XOR_ in SAT generator
Clifford Wolf
2013-06-09
*
Added sequential solving support to sat_solve
Clifford Wolf
2013-06-09
*
Fixed typo is sat_solve help msg
Clifford Wolf
2013-06-08
*
Added support for shifter cells to SAT generator
Clifford Wolf
2013-06-08
*
Various improvements in sat_solve pass and SAT generator
Clifford Wolf
2013-06-08
*
Added -all and -max options to sat_solve
Clifford Wolf
2013-06-08
*
Improved auto-detection of -show signals in sat_solve
Clifford Wolf
2013-06-08
*
Improved sat generator and sat_solve pass
Clifford Wolf
2013-06-07
*
Added SAT generator and simple sat_solve command
Clifford Wolf
2013-06-07