projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Added $initstate cell type and vlog function
[yosys.git] / kernel / satgen.h
2016-07-21 Clifford WolfAdded $initstate cell type and vlog function blob | commitdiff | raw
2016-07-21 Clifford WolfAfter reading the SV spec, using non-standard predict... blob | commitdiff | raw | diff to current
2016-07-13 Clifford WolfAdded basic support for $expect cells blob | commitdiff | raw | diff to current
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com... blob | commitdiff | raw | diff to current
2016-06-17 Clifford WolfAdded $sop SAT model blob | commitdiff | raw | diff to current
2015-12-07 Clifford WolfMerge pull request #108 from cseed/master blob | commitdiff | raw | diff to current
2015-10-25 Clifford WolfImport more std:: stuff into Yosys namespace blob | commitdiff | raw | diff to current
2015-07-02 Clifford WolfFixed trailing whitespaces blob | commitdiff | raw | diff to current
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... blob | commitdiff | raw | diff to current
2015-02-26 Clifford WolfAdded $assume cell type blob | commitdiff | raw | diff to current
2015-02-21 Clifford WolfReplaced ezDefaultSAT with ezSatPtr blob | commitdiff | raw | diff to current
2015-01-31 Clifford WolfAdded "equiv_simple -undef" blob | commitdiff | raw | diff to current
2015-01-22 Clifford WolfVarious equiv_simple improvements blob | commitdiff | raw | diff to current
2014-10-17 Clifford WolfFixed a few VS warnings blob | commitdiff | raw | diff to current
2014-10-10 Clifford WolfAdded format __attribute__ to stringf() blob | commitdiff | raw | diff to current
2014-10-10 Clifford WolfRenamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because... blob | commitdiff | raw | diff to current
2014-10-10 Clifford WolfRenamed SIZE() to GetSize() because of name collision... blob | commitdiff | raw | diff to current
2014-10-03 Clifford Wolfsatgen import sigbit api blob | commitdiff | raw | diff to current
2014-09-27 Clifford Wolfnamespace Yosys blob | commitdiff | raw | diff to current
2014-09-22 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... blob | commitdiff | raw | diff to current
2014-09-08 Clifford WolfSimplified $fa undef model blob | commitdiff | raw | diff to current
2014-09-08 Clifford WolfAdded $lcu cell type blob | commitdiff | raw | diff to current
2014-09-08 Clifford WolfAdded "$fa" cell type blob | commitdiff | raw | diff to current
2014-09-06 Clifford WolfAdded $macc SAT model blob | commitdiff | raw | diff to current
2014-09-04 Clifford WolfRemoved $bu0 cell type blob | commitdiff | raw | diff to current
2014-09-03 Clifford WolfUsing $pos models for $bu0 blob | commitdiff | raw | diff to current
2014-09-03 Clifford WolfFixes in $alu SAT- and eval-models blob | commitdiff | raw | diff to current
2014-09-02 Clifford WolfSmall bug fixes in $not, $neg, and $shiftx models blob | commitdiff | raw | diff to current
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