2019-08-07 |
Clifford Wolf | Merge pull request #1240 from ucb-bar/firrtl-properties... |
blob | commitdiff | raw |
2019-08-07 |
Clifford Wolf | Merge pull request #1249 from mmicko/anlogic_fix |
blob | commitdiff | raw |
2019-08-07 |
David Shah | Merge pull request #1241 from YosysHQ/clifford/jsonfix |
blob | commitdiff | raw |
2019-08-06 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw |
2019-08-06 |
Clifford Wolf | Merge pull request #1251 from YosysHQ/clifford/nmux |
blob | commitdiff | raw |
2019-08-06 |
Clifford Wolf | Add $_NMUX_, add "abc -g cmos", add proper cmos cell... |
blob | commitdiff | raw |
2019-03-28 |
Benedikt Tutzer | Merge remote-tracking branch 'origin/master' into featu... |
blob | commitdiff | raw | diff to current |
2018-09-17 |
Udi Finkelstein | Merge branch 'master' into pr_reg_wire_error |
blob | commitdiff | raw | diff to current |
2018-08-22 |
Jim Lawson | Merge pull request #1 from YosysHQ/master |
blob | commitdiff | raw | diff to current |
2018-08-18 |
Aman Goel | Merge pull request #3 from YosysHQ/master |
blob | commitdiff | raw | diff to current |
2018-08-15 |
Clifford Wolf | Merge pull request #573 from cr1901/msys-64 |
blob | commitdiff | raw | diff to current |
2018-08-15 |
Clifford Wolf | Merge pull request #591 from hzeller/virtual-override |
blob | commitdiff | raw | diff to current |
2018-07-21 |
Henner Zeller | Consistent use of 'override' for virtual methods in... |
blob | commitdiff | raw | diff to current |
2017-05-17 |
Clifford Wolf | Add $_ANDNOT_ and $_ORNOT_ gates |
blob | commitdiff | raw | diff to current |
2017-02-11 |
Clifford Wolf | Merge branch 'master' of https://github.com/stv0g/yosys... |
blob | commitdiff | raw | diff to current |
2017-02-09 |
Andrew Zonenberg | Merge https://github.com/cliffordwolf/yosys |
blob | commitdiff | raw | diff to current |
2017-02-05 |
Clifford Wolf | Fix undef propagation bug in $pmux SAT model |
blob | commitdiff | raw | diff to current |
2016-10-14 |
Clifford Wolf | Added $anyseq cell type |
blob | commitdiff | raw | diff to current |
2016-10-11 |
Clifford Wolf | Added $ff and $_FF_ cell types |
blob | commitdiff | raw | diff to current |
2016-07-30 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys |
blob | commitdiff | raw | diff to current |
2016-07-27 |
Clifford Wolf | Added SatGen support for $anyconst |
blob | commitdiff | raw | diff to current |
2016-07-27 |
Clifford Wolf | Removed $predict support from SatGen |
blob | commitdiff | raw | diff to current |
2016-07-22 |
Clifford Wolf | Added satgen initstate support |
blob | commitdiff | raw | diff to current |
2016-07-21 |
Clifford Wolf | Added $initstate cell type and vlog function |
blob | commitdiff | raw | diff to current |
2016-07-21 |
Clifford Wolf | After reading the SV spec, using non-standard predict... |
blob | commitdiff | raw | diff to current |
2016-07-13 |
Clifford Wolf | Added basic support for $expect cells |
blob | commitdiff | raw | diff to current |
2016-07-08 |
Clifford Wolf | Merge branch 'yosys-0.5-vtr' of https://github.com... |
blob | commitdiff | raw | diff to current |
2016-06-17 |
Clifford Wolf | Added $sop SAT model |
blob | commitdiff | raw | diff to current |
2015-12-07 |
Clifford Wolf | Merge pull request #108 from cseed/master |
blob | commitdiff | raw | diff to current |
2015-10-25 |
Clifford Wolf | Import more std:: stuff into Yosys namespace |
blob | commitdiff | raw | diff to current |
2015-07-02 |
Clifford Wolf | Fixed trailing whitespaces |
blob | commitdiff | raw | diff to current |
2015-04-03 |
Ahmed Irfan | Merge branch 'master' of https://github.com/cliffordwol... |
blob | commitdiff | raw | diff to current |
2015-02-26 |
Clifford Wolf | Added $assume cell type |
blob | commitdiff | raw | diff to current |
2015-02-21 |
Clifford Wolf | Replaced ezDefaultSAT with ezSatPtr |
blob | commitdiff | raw | diff to current |
2015-01-31 |
Clifford Wolf | Added "equiv_simple -undef" |
blob | commitdiff | raw | diff to current |
2015-01-22 |
Clifford Wolf | Various equiv_simple improvements |
blob | commitdiff | raw | diff to current |
2014-10-17 |
Clifford Wolf | Fixed a few VS warnings |
blob | commitdiff | raw | diff to current |
2014-10-10 |
Clifford Wolf | Added format __attribute__ to stringf() |
blob | commitdiff | raw | diff to current |
2014-10-10 |
Clifford Wolf | Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because... |
blob | commitdiff | raw | diff to current |
2014-10-10 |
Clifford Wolf | Renamed SIZE() to GetSize() because of name collision... |
blob | commitdiff | raw | diff to current |
2014-10-03 |
Clifford Wolf | satgen import sigbit api |
blob | commitdiff | raw | diff to current |
2014-09-27 |
Clifford Wolf | namespace Yosys |
blob | commitdiff | raw | diff to current |
2014-09-22 |
Ahmed Irfan | Merge branch 'master' of https://github.com/cliffordwol... |
blob | commitdiff | raw | diff to current |
2014-09-08 |
Clifford Wolf | Simplified $fa undef model |
blob | commitdiff | raw | diff to current |
2014-09-08 |
Clifford Wolf | Added $lcu cell type |
blob | commitdiff | raw | diff to current |
2014-09-08 |
Clifford Wolf | Added "$fa" cell type |
blob | commitdiff | raw | diff to current |
2014-09-06 |
Clifford Wolf | Added $macc SAT model |
blob | commitdiff | raw | diff to current |
2014-09-04 |
Clifford Wolf | Removed $bu0 cell type |
blob | commitdiff | raw | diff to current |
2014-09-03 |
Clifford Wolf | Using $pos models for $bu0 |
blob | commitdiff | raw | diff to current |
2014-09-03 |
Clifford Wolf | Fixes in $alu SAT- and eval-models |
blob | commitdiff | raw | diff to current |
2014-09-02 |
Clifford Wolf | Small bug fixes in $not, $neg, and $shiftx models |
blob | commitdiff | raw | diff to current |
2014-09-01 |
Clifford Wolf | Added SAT model for $alu cells |
blob | commitdiff | raw | diff to current |
2014-08-31 |
Clifford Wolf | Added $lut support in test_cell, techmap, satgen |
blob | commitdiff | raw | diff to current |
2014-08-16 |
Clifford Wolf | Added additional gate types: $_NAND_ $_NOR_ $_XNOR_... |
blob | commitdiff | raw | diff to current |
2014-08-15 |
Clifford Wolf | Renamed $_INV_ cell type to $_NOT_ |
blob | commitdiff | raw | diff to current |
2014-08-14 |
Clifford Wolf | RIP $safe_pmux |
blob | commitdiff | raw | diff to current |
2014-07-31 |
Clifford Wolf | Renamed port access function on RTLIL::Cell, added... |
blob | commitdiff | raw | diff to current |
2014-07-30 |
Clifford Wolf | Using native ezSAT shift ops in satgen, fixed $shift... |
blob | commitdiff | raw | diff to current |
2014-07-29 |
Clifford Wolf | Added $shift and $shiftx cell types (needed for correct... |
blob | commitdiff | raw | diff to current |
2014-07-28 |
Clifford Wolf | Using log_assert() instead of assert() |
blob | commitdiff | raw | diff to current |
2014-07-26 |
Clifford Wolf | Merge automatic and manual code changes for new cell... |
blob | commitdiff | raw | diff to current |
2014-07-26 |
Clifford Wolf | Changed users of cell->connections_ to the new API... |
blob | commitdiff | raw | diff to current |
2014-07-26 |
Clifford Wolf | Renamed RTLIL::{Module,Cell}::connections to connections_ |
blob | commitdiff | raw | diff to current |
2014-07-23 |
Clifford Wolf | Removed RTLIL::SigSpec::expand() method |
blob | commitdiff | raw | diff to current |
2014-07-22 |
Clifford Wolf | SigSpec refactoring: using the accessor functions every... |
blob | commitdiff | raw | diff to current |
2014-07-22 |
Clifford Wolf | SigSpec refactoring: renamed chunks and width to __chun... |
blob | commitdiff | raw | diff to current |
2014-07-21 |
Clifford Wolf | Bugfix in satgen for cells with wider in- than outputs. |
blob | commitdiff | raw | diff to current |
2014-03-12 |
Siesh1oo | Merge branch 'master' of https://github.com/Siesh1oo... |
blob | commitdiff | raw | diff to current |
2014-03-12 |
Clifford Wolf | Added libs/minisat (copy of minisat git master) |
blob | commitdiff | raw | diff to current |
2014-03-06 |
Clifford Wolf | Fixed use of frozen literals in SatGen |
blob | commitdiff | raw | diff to current |
2014-03-06 |
Clifford Wolf | Strictly zero-extend unsigned A-inputs of shift operations |
blob | commitdiff | raw | diff to current |
2014-02-26 |
Clifford Wolf | Added support for $bu0 to SatGen |
blob | commitdiff | raw | diff to current |
2014-02-23 |
Clifford Wolf | Added support for Minisat::SimpSolver + ezSAT frezze... |
blob | commitdiff | raw | diff to current |
2014-02-07 |
Clifford Wolf | Added $slice and $concat cell types |
blob | commitdiff | raw | diff to current |
2014-02-04 |
Clifford Wolf | Fixed bug in sequential sat proofs and improved handlin... |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Ahmed Irfan | Merge branch 'master' of https://github.com/cliffordwol... |
blob | commitdiff | raw | diff to current |
2014-01-19 |
Clifford Wolf | Added $assert support to satgen |
blob | commitdiff | raw | diff to current |
2014-01-14 |
Ahmed Irfan | Merge branch 'master' of https://github.com/ahmedirfan1... |
blob | commitdiff | raw | diff to current |
2014-01-03 |
Clifford Wolf | Fixed SAT and ConstEval undef handling for $pmux and... |
blob | commitdiff | raw | diff to current |
2014-01-03 |
Ahmed Irfan | Merge branch 'master' of https://github.com/cliffordwol... |
blob | commitdiff | raw | diff to current |
2014-01-02 |
Clifford Wolf | Added SAT undef model for $pmux and $safe_pmux |
blob | commitdiff | raw | diff to current |
2014-01-02 |
Clifford Wolf | Major rewrite of "freduce" command |
blob | commitdiff | raw | diff to current |
2013-12-29 |
Clifford Wolf | Fixed undef extend for bitwise binary ops (bugs in... |
blob | commitdiff | raw | diff to current |
2013-12-27 |
Clifford Wolf | Fixed sat handling of $eqx and $nex with unequal port... |
blob | commitdiff | raw | diff to current |
2013-12-27 |
Clifford Wolf | Small cleanup in SatGen |
blob | commitdiff | raw | diff to current |
2013-12-27 |
Clifford Wolf | Fixed sat handling of $eqx and $nex cells |
blob | commitdiff | raw | diff to current |
2013-12-27 |
Clifford Wolf | Added support for non-const === and !== (for miter... |
blob | commitdiff | raw | diff to current |
2013-12-07 |
Clifford Wolf | Added "sat" undef support and "sat -set-init" options |
blob | commitdiff | raw | diff to current |
2013-11-25 |
Clifford Wolf | Improvements in satgen undef handling |
blob | commitdiff | raw | diff to current |
2013-11-25 |
Clifford Wolf | Improvements in satgen undef handling |
blob | commitdiff | raw | diff to current |
2013-11-25 |
Clifford Wolf | Started implementing undef handling in satgen |
blob | commitdiff | raw | diff to current |
2013-11-09 |
Clifford Wolf | Added verification of SAT model to "eval -vloghammer_re... |
blob | commitdiff | raw | diff to current |
2013-11-06 |
Clifford Wolf | Improved width extension with regard to undef propagation |
blob | commitdiff | raw | diff to current |
2013-08-15 |
Clifford Wolf | Implemented same div-by-zero behavior as found in other... |
blob | commitdiff | raw | diff to current |
2013-08-15 |
Clifford Wolf | Added sat -ignore_div_by_zero switch |
blob | commitdiff | raw | diff to current |
2013-08-11 |
Clifford Wolf | Added SAT support for $div and $mod cells |
blob | commitdiff | raw | diff to current |
2013-07-09 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys |
blob | commitdiff | raw | diff to current |
2013-07-09 |
Clifford Wolf | Fixed shift ops with large right hand side |
blob | commitdiff | raw | diff to current |
2013-06-13 |
Clifford Wolf | More fixes for bugs found using xsthammer |
blob | commitdiff | raw | diff to current |
2013-06-12 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys |
blob | commitdiff | raw | diff to current |
next |