| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sat: Add -set-def-formal option to force defined $any* outputs | Jannis Harder | 2022-11-28 | 1 | -0/+1 |
| * | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 1 | -1/+1 |
| * | satgen: Add support for dffe, sdff, sdffe, sdffce cells. | Marcelina Kościelnicka | 2020-07-24 | 1 | -0/+12 |
| * | 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 |
