| Commit message (Expand) | Author | Age | Files | Lines |
* | satgen: Move importCell out of the header. | Marcelina KoĆcielnicka | 2020-07-19 | 1 | -1165/+1 |
* | Add flooring division operator | Xiretza | 2020-05-28 | 1 | -4/+17 |
* | Add flooring modulo operator | Xiretza | 2020-05-28 | 1 | -9/+22 |
* | kernel: big fat patch to use more ID::*, otherwise ID(*) | Eddie Hung | 2020-04-02 | 1 | -56/+56 |
* | Use more ID::{A,B,Y,blackbox,whitebox} | Eddie Hung | 2019-08-15 | 1 | -118/+118 |
* | More use of IdString::in() | Eddie Hung | 2019-08-15 | 1 | -26/+25 |
* | Use ID() in kernel/*, add simple ID:: hack (to be improved upon later) | Clifford Wolf | 2019-08-11 | 1 | -261/+261 |
* | RTLIL::S{0,1} -> State::S{0,1} for headers | Eddie Hung | 2019-08-07 | 1 | -1/+1 |
* | Add $_NMUX_, add "abc -g cmos", add proper cmos cell costs | Clifford Wolf | 2019-08-06 | 1 | -2/+5 |
* | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 1 | -1/+1 |
* | Add $_ANDNOT_ and $_ORNOT_ gates | Clifford Wolf | 2017-05-17 | 1 | -1/+18 |
* | Fix undef propagation bug in $pmux SAT model | Clifford Wolf | 2017-02-05 | 1 | -14/+4 |
* | Added $anyseq cell type | Clifford Wolf | 2016-10-14 | 1 | -2/+7 |
* | Added $ff and $_FF_ cell types | Clifford Wolf | 2016-10-12 | 1 | -1/+1 |
* | Added SatGen support for $anyconst | Clifford Wolf | 2016-07-27 | 1 | -0/+22 |
* | Removed $predict support from SatGen | Clifford Wolf | 2016-07-27 | 1 | -9/+0 |
* | Added satgen initstate support | Clifford Wolf | 2016-07-22 | 1 | -0/+27 |
* | Added $initstate cell type and vlog function | Clifford Wolf | 2016-07-21 | 1 | -3/+3 |
* | After reading the SV spec, using non-standard predict() instead of expect() | Clifford Wolf | 2016-07-21 | 1 | -1/+1 |
* | Added basic support for $expect cells | Clifford Wolf | 2016-07-13 | 1 | -0/+9 |
* | Added $sop SAT model | Clifford Wolf | 2016-06-17 | 1 | -0/+82 |
* | Import more std:: stuff into Yosys namespace | Clifford Wolf | 2015-10-25 | 1 | -1/+1 |
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -2/+2 |
* | Added $assume cell type | Clifford Wolf | 2015-02-26 | 1 | -0/+30 |
* | Replaced ezDefaultSAT with ezSatPtr | Clifford Wolf | 2015-02-21 | 1 | -1/+31 |
* | Added "equiv_simple -undef" | Clifford Wolf | 2015-01-31 | 1 | -0/+14 |
* | Various equiv_simple improvements | Clifford Wolf | 2015-01-22 | 1 | -0/+19 |
* | Fixed a few VS warnings | Clifford Wolf | 2014-10-17 | 1 | -1/+1 |
* | Added format __attribute__ to stringf() | Clifford Wolf | 2014-10-10 | 1 | -1/+1 |
* | Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32 | Clifford Wolf | 2014-10-10 | 1 | -52/+52 |
* | Renamed SIZE() to GetSize() because of name collision on Win32 | Clifford Wolf | 2014-10-10 | 1 | -32/+32 |
* | satgen import sigbit api | Clifford Wolf | 2014-10-03 | 1 | -1/+17 |
* | namespace Yosys | Clifford Wolf | 2014-09-27 | 1 | -0/+5 |
* | Simplified $fa undef model | Clifford Wolf | 2014-09-08 | 1 | -14/+1 |
* | Added $lcu cell type | Clifford Wolf | 2014-09-08 | 1 | -0/+32 |
* | Added "$fa" cell type | Clifford Wolf | 2014-09-08 | 1 | -0/+49 |
* | Added $macc SAT model | Clifford Wolf | 2014-09-06 | 1 | -0/+71 |
* | Removed $bu0 cell type | Clifford Wolf | 2014-09-04 | 1 | -3/+3 |
* | Using $pos models for $bu0 | Clifford Wolf | 2014-09-03 | 1 | -1/+1 |
* | Fixes in $alu SAT- and eval-models | Clifford Wolf | 2014-09-03 | 1 | -4/+3 |
* | Small bug fixes in $not, $neg, and $shiftx models | Clifford Wolf | 2014-09-02 | 1 | -3/+4 |
* | Added SAT model for $alu cells | Clifford Wolf | 2014-09-01 | 1 | -2/+69 |
* | Added $lut support in test_cell, techmap, satgen | Clifford Wolf | 2014-08-31 | 1 | -1/+50 |
* | Added additional gate types: $_NAND_ $_NOR_ $_XNOR_ $_AOI3_ $_OAI3_ $_AOI4_ $... | Clifford Wolf | 2014-08-16 | 1 | -7/+81 |
* | Renamed $_INV_ cell type to $_NOT_ | Clifford Wolf | 2014-08-15 | 1 | -1/+1 |
* | RIP $safe_pmux | Clifford Wolf | 2014-08-14 | 1 | -9/+1 |
* | Renamed port access function on RTLIL::Cell, added param access functions | Clifford Wolf | 2014-07-31 | 1 | -85/+85 |
* | Using native ezSAT shift ops in satgen, fixed $shift and $shiftx SAT models | Clifford Wolf | 2014-07-30 | 1 | -36/+39 |
* | Added $shift and $shiftx cell types (needed for correct part select behavior) | Clifford Wolf | 2014-07-29 | 1 | -4/+14 |
* | Using log_assert() instead of assert() | Clifford Wolf | 2014-07-28 | 1 | -4/+4 |