index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
passes
/
sat
/
sat.cc
Commit message (
Expand
)
Author
Age
*
Renamed SIZE() to GetSize() because of name collision on Win32
Clifford Wolf
2014-10-10
*
namespace Yosys
Clifford Wolf
2014-09-27
*
Corrected spelling mistakes found by lintian
Ruben Undheim
2014-09-06
*
azonenberg: Make dump_vcd save model when temporal induction fails due to ste...
Clifford Wolf
2014-08-24
*
Added "sat -prove-skip"
Clifford Wolf
2014-08-08
*
More cleanups related to RTLIL::IdString usage
Clifford Wolf
2014-08-02
*
Using log_assert() instead of assert()
Clifford Wolf
2014-07-28
*
Refactoring: Renamed RTLIL::Design::modules to modules_
Clifford Wolf
2014-07-27
*
Refactoring: Renamed RTLIL::Module::cells to cells_
Clifford Wolf
2014-07-27
*
Refactoring: Renamed RTLIL::Module::wires to wires_
Clifford Wolf
2014-07-27
*
Changed users of cell->connections_ to the new API (sed command)
Clifford Wolf
2014-07-26
*
Renamed RTLIL::{Module,Cell}::connections to connections_
Clifford Wolf
2014-07-26
*
Removed RTLIL::SigSpec::optimize()
Clifford Wolf
2014-07-23
*
Removed RTLIL::SigSpec::expand() method
Clifford Wolf
2014-07-23
*
SigSpec refactoring: using the accessor functions everywhere
Clifford Wolf
2014-07-22
*
SigSpec refactoring: renamed chunks and width to __chunks and __width
Clifford Wolf
2014-07-22
*
now ignore init attributes on non-register wires in sat command
Clifford Wolf
2014-07-05
*
Small improvement in SAT log messages
Clifford Wolf
2014-03-13
*
Added "sat -dump_cnf"
Clifford Wolf
2014-02-18
*
Coding style corrections in SatHelper::dump_model_to_vcd()
Clifford Wolf
2014-02-18
*
Added "sat -initsteps"
Clifford Wolf
2014-02-18
*
Renamed "sat -dump_fail_to_vcd" to "sat -dump_vcd" and some minor cleanups
Clifford Wolf
2014-02-17
*
Added "-dump_fail_to_vcd" argument to SAT solver
Andrew Zonenberg
2014-02-17
*
Added generic RTLIL::SigSpec::parse_sel() with support for selection variables
Clifford Wolf
2014-02-06
*
Added support for sat -show @<sel_name>
Clifford Wolf
2014-02-06
*
Added sat -set-init-def and sat -tempinduct-def
Clifford Wolf
2014-02-06
*
Added sat -set-init-zero support
Clifford Wolf
2014-02-06
*
Added sat -verify and -falsify support for non-prove cases
Clifford Wolf
2014-02-06
*
added sat -falsify
Clifford Wolf
2014-02-04
*
Fixed bug in sequential sat proofs and improved handling of asserts
Clifford Wolf
2014-02-04
*
Addred sat option -ignore_unknown_cells
Clifford Wolf
2014-02-03
*
Added sat -show-inputs and -show-outputs
Clifford Wolf
2014-02-01
*
Added sat -tempinduc and sat -prove-asserts
Clifford Wolf
2014-01-19
*
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
*
Started implementing undef support in "sat" command
Clifford Wolf
2013-11-25
*
Improved user-friendliness of "sat" and "eval" expression parsing
Clifford Wolf
2013-11-09
*
Added sat -ignore_div_by_zero switch
Clifford Wolf
2013-08-15
*
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