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
*
Improved performance of freduce input cone reduction
Clifford Wolf
2014-01-04
*
Improved freduce performance on const signals
Clifford Wolf
2014-01-04
*
Performance improvements in freduce pass
Clifford Wolf
2014-01-03
*
More freduce cleanups
Clifford Wolf
2014-01-03
*
Cleanups in freduce command
Clifford Wolf
2014-01-03
*
Use selection in freduce command
Clifford Wolf
2014-01-03
*
Another small freduce cleanup/bugfix
Clifford Wolf
2014-01-03
*
More freduce cleanups and bugfixes
Clifford Wolf
2014-01-03
*
Fixed more complex undef cases in freduce
Clifford Wolf
2014-01-02
*
More "freduce" related fixes and improvements
Clifford Wolf
2014-01-02
*
Some cleanups in freduce -inv mode (and switched from -noinv to -inv)
Clifford Wolf
2014-01-02
*
Major rewrite of "freduce" command
Clifford Wolf
2014-01-02
*
Added sat -prove-x and -set-def-inputs
Clifford Wolf
2013-12-28
*
Added sat -set-def/-set-*-undef support
Clifford Wolf
2013-12-27
*
Renamed sat -set-undef to -set-any-undef
Clifford Wolf
2013-12-27
*
Added sat -max_undef feature
Clifford Wolf
2013-12-07
*
Added "sat" undef support and "sat -set-init" options
Clifford Wolf
2013-12-07
*
Fixed compiler warining in passes/sat/eval.cc
Clifford Wolf
2013-12-07
*
Added eval -set-undef and eval -table
Clifford Wolf
2013-12-07
*
Started implementing undef support in "sat" command
Clifford Wolf
2013-11-25
*
Improvements in satgen undef handling
Clifford Wolf
2013-11-25
*
Improvements in satgen undef handling
Clifford Wolf
2013-11-25
*
Started implementing undef handling in satgen
Clifford Wolf
2013-11-25
*
Improved user-friendliness of "sat" and "eval" expression parsing
Clifford Wolf
2013-11-09
*
Added verification of SAT model to "eval -vloghammer_report" command
Clifford Wolf
2013-11-09
*
Added handling of unconnected/unspecified signals to eval -vloghammer_report
Clifford Wolf
2013-11-06
*
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
[next]