projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ice40: split out cells_map.v into ff_map.v
[yosys.git] / kernel / satgen.h
2014-09-01 Clifford WolfAdded SAT model for $alu cells blob | commitdiff | raw | diff to current
2014-08-31 Clifford WolfAdded $lut support in test_cell, techmap, satgen blob | commitdiff | raw | diff to current
2014-08-16 Clifford WolfAdded additional gate types: $_NAND_ $_NOR_ $_XNOR_... blob | commitdiff | raw | diff to current
2014-08-15 Clifford WolfRenamed $_INV_ cell type to $_NOT_ blob | commitdiff | raw | diff to current
2014-08-14 Clifford WolfRIP $safe_pmux blob | commitdiff | raw | diff to current
2014-07-31 Clifford WolfRenamed port access function on RTLIL::Cell, added... blob | commitdiff | raw | diff to current
2014-07-30 Clifford WolfUsing native ezSAT shift ops in satgen, fixed $shift... blob | commitdiff | raw | diff to current
2014-07-29 Clifford WolfAdded $shift and $shiftx cell types (needed for correct... blob | commitdiff | raw | diff to current
2014-07-28 Clifford WolfUsing log_assert() instead of assert() blob | commitdiff | raw | diff to current
2014-07-26 Clifford WolfMerge automatic and manual code changes for new cell... blob | commitdiff | raw | diff to current
2014-07-26 Clifford WolfChanged users of cell->connections_ to the new API... blob | commitdiff | raw | diff to current
2014-07-26 Clifford WolfRenamed RTLIL::{Module,Cell}::connections to connections_ blob | commitdiff | raw | diff to current
2014-07-23 Clifford WolfRemoved RTLIL::SigSpec::expand() method blob | commitdiff | raw | diff to current
2014-07-22 Clifford WolfSigSpec refactoring: using the accessor functions every... blob | commitdiff | raw | diff to current
2014-07-22 Clifford WolfSigSpec refactoring: renamed chunks and width to __chun... blob | commitdiff | raw | diff to current
2014-07-21 Clifford WolfBugfix in satgen for cells with wider in- than outputs. blob | commitdiff | raw | diff to current
2014-03-12 Siesh1ooMerge branch 'master' of https://github.com/Siesh1oo... blob | commitdiff | raw | diff to current
2014-03-12 Clifford WolfAdded libs/minisat (copy of minisat git master) blob | commitdiff | raw | diff to current
2014-03-06 Clifford WolfFixed use of frozen literals in SatGen blob | commitdiff | raw | diff to current
2014-03-06 Clifford WolfStrictly zero-extend unsigned A-inputs of shift operations blob | commitdiff | raw | diff to current
2014-02-26 Clifford WolfAdded support for $bu0 to SatGen blob | commitdiff | raw | diff to current
2014-02-23 Clifford WolfAdded support for Minisat::SimpSolver + ezSAT frezze... blob | commitdiff | raw | diff to current
2014-02-07 Clifford WolfAdded $slice and $concat cell types blob | commitdiff | raw | diff to current
2014-02-04 Clifford WolfFixed bug in sequential sat proofs and improved handlin... blob | commitdiff | raw | diff to current
2014-01-20 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... blob | commitdiff | raw | diff to current
2014-01-19 Clifford WolfAdded $assert support to satgen blob | commitdiff | raw | diff to current
2014-01-14 Ahmed IrfanMerge branch 'master' of https://github.com/ahmedirfan1... blob | commitdiff | raw | diff to current
2014-01-03 Clifford WolfFixed SAT and ConstEval undef handling for $pmux and... blob | commitdiff | raw | diff to current
2014-01-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... blob | commitdiff | raw | diff to current
2014-01-02 Clifford WolfAdded SAT undef model for $pmux and $safe_pmux blob | commitdiff | raw | diff to current
2014-01-02 Clifford WolfMajor rewrite of "freduce" command blob | commitdiff | raw | diff to current
2013-12-29 Clifford WolfFixed undef extend for bitwise binary ops (bugs in... blob | commitdiff | raw | diff to current
2013-12-27 Clifford WolfFixed sat handling of $eqx and $nex with unequal port... blob | commitdiff | raw | diff to current
2013-12-27 Clifford WolfSmall cleanup in SatGen blob | commitdiff | raw | diff to current
2013-12-27 Clifford WolfFixed sat handling of $eqx and $nex cells blob | commitdiff | raw | diff to current
2013-12-27 Clifford WolfAdded support for non-const === and !== (for miter... blob | commitdiff | raw | diff to current
2013-12-07 Clifford WolfAdded "sat" undef support and "sat -set-init" options blob | commitdiff | raw | diff to current
2013-11-25 Clifford WolfImprovements in satgen undef handling blob | commitdiff | raw | diff to current
2013-11-25 Clifford WolfImprovements in satgen undef handling blob | commitdiff | raw | diff to current
2013-11-25 Clifford WolfStarted implementing undef handling in satgen blob | commitdiff | raw | diff to current
2013-11-09 Clifford WolfAdded verification of SAT model to "eval -vloghammer_re... blob | commitdiff | raw | diff to current
2013-11-06 Clifford WolfImproved width extension with regard to undef propagation blob | commitdiff | raw | diff to current
2013-08-15 Clifford WolfImplemented same div-by-zero behavior as found in other... blob | commitdiff | raw | diff to current
2013-08-15 Clifford WolfAdded sat -ignore_div_by_zero switch blob | commitdiff | raw | diff to current
2013-08-11 Clifford WolfAdded SAT support for $div and $mod cells blob | commitdiff | raw | diff to current
2013-07-09 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys blob | commitdiff | raw | diff to current
2013-07-09 Clifford WolfFixed shift ops with large right hand side blob | commitdiff | raw | diff to current
2013-06-13 Clifford WolfMore fixes for bugs found using xsthammer blob | commitdiff | raw | diff to current
2013-06-12 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys blob | commitdiff | raw | diff to current
2013-06-12 Clifford WolfAnother fix for a bug found using xsthammer blob | commitdiff | raw | diff to current
2013-06-10 Clifford WolfSign-extension related fixes in SatGen and AST frontend blob | commitdiff | raw | diff to current
2013-06-10 Clifford WolfImprovements and fixes in SAT code blob | commitdiff | raw | diff to current
2013-06-09 Clifford WolfImplemented temporal induction proofs in sat_solve blob | commitdiff | raw | diff to current
2013-06-09 Clifford WolfFixed handling of $_XOR_ in SAT generator blob | commitdiff | raw | diff to current
2013-06-09 Clifford WolfAdded sequential solving support to sat_solve blob | commitdiff | raw | diff to current
2013-06-08 Clifford WolfAdded support for shifter cells to SAT generator blob | commitdiff | raw | diff to current
2013-06-08 Clifford WolfVarious improvements in sat_solve pass and SAT generator blob | commitdiff | raw | diff to current
2013-06-07 Clifford WolfImproved sat generator and sat_solve pass blob | commitdiff | raw | diff to current
2013-06-07 Clifford WolfAdded SAT generator and simple sat_solve command blob | commitdiff | raw | diff to current