| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Added "zinit" pass | Clifford Wolf | 2016-10-12 | 2 | -0/+152 |
| * | Added $ff and $_FF_ cell types | Clifford Wolf | 2016-10-12 | 2 | -8/+50 |
| * | Added "opt_rmdff -keepdc" | Clifford Wolf | 2016-09-30 | 2 | -7/+20 |
| * | Cosmetic fix in test_autotb.cc | Clifford Wolf | 2016-09-19 | 1 | -2/+2 |
| * | Avoid creating very long strings in test_autotb | Clifford Wolf | 2016-09-19 | 1 | -4/+10 |
| * | Bugfix in techmap parameter handling | Clifford Wolf | 2016-09-14 | 1 | -1/+1 |
| * | Typo fix. | Kaj Tuomi | 2016-09-08 | 1 | -1/+1 |
| * | Improvements in assertpmux | Clifford Wolf | 2016-09-07 | 1 | -21/+158 |
| * | Added assertpmux | Clifford Wolf | 2016-09-07 | 2 | -0/+104 |
| * | Added "tee +INT -INT" | Clifford Wolf | 2016-09-06 | 1 | -0/+10 |
| * | Run log_flush() before solving in sat command | Clifford Wolf | 2016-09-06 | 1 | -0/+3 |
| * | Improved init spec handling in opt_rmdff, modernized the code a bit | Clifford Wolf | 2016-08-30 | 1 | -39/+82 |
| * | Removed $predict again | Clifford Wolf | 2016-08-28 | 3 | -3/+2 |
| * | Improved "show" help message | Clifford Wolf | 2016-08-28 | 1 | -3/+5 |
| * | Fixed handling of transparent bram rd ports on ROMs | Clifford Wolf | 2016-08-27 | 1 | -0/+3 |
| * | Fixed bug in memory_share for memory ports with different ABITS | Clifford Wolf | 2016-08-22 | 1 | -0/+6 |
| * | Added "wreduce -memx" | Clifford Wolf | 2016-08-20 | 1 | -3/+14 |
| * | Added memory_memx pass, "memory -memx", and "prep -memx" | Clifford Wolf | 2016-08-19 | 3 | -2/+104 |
| * | Optimize memory address port width in wreduce and memory_collect, not verilog... | Clifford Wolf | 2016-08-19 | 2 | -3/+31 |
| * | Bugfix in test_autotb | Clifford Wolf | 2016-08-18 | 1 | -0/+4 |
| * | Fixed use-after-free dict<> usage pattern in hierarchy.cc | Clifford Wolf | 2016-08-16 | 1 | -1/+3 |
| * | Minor fixes in show command | Clifford Wolf | 2016-08-16 | 1 | -3/+3 |
| * | Fixed some compiler warnings in attrmap command | Clifford Wolf | 2016-08-10 | 1 | -4/+4 |
| * | Added "attrmap" command | Clifford Wolf | 2016-08-09 | 3 | -0/+253 |
| * | Added "attrmvcp" pass | Clifford Wolf | 2016-08-09 | 2 | -0/+138 |
| * | Undo "preserve wire attributes in iopadmap" change (it was OK before) | Clifford Wolf | 2016-08-08 | 1 | -1/+1 |
| * | Added "test_autotb -seed" (and "autotest.sh -S") | Clifford Wolf | 2016-08-06 | 1 | -3/+8 |
| * | preserve wire attributes in iopadmap | Clifford Wolf | 2016-08-06 | 1 | -1/+1 |
| * | Added "insbuf" command | Clifford Wolf | 2016-08-02 | 2 | -0/+95 |
| * | Renamed AbstractCellEdgesDatabase::add_cell() to add_edges_from_cell() | Clifford Wolf | 2016-07-25 | 1 | -1/+1 |
| * | Improvements in CellEdgesDatabase | Clifford Wolf | 2016-07-24 | 1 | -3/+33 |
| * | Added CellEdgesDatabase API | Clifford Wolf | 2016-07-24 | 1 | -0/+96 |
| * | Moved SatHelper::setup_init() code to SatHelper::setup() | Clifford Wolf | 2016-07-24 | 1 | -97/+92 |
| * | Added $initstate support to "sat" command | Clifford Wolf | 2016-07-23 | 1 | -13/+12 |
| * | After reading the SV spec, using non-standard predict() instead of expect() | Clifford Wolf | 2016-07-21 | 3 | -3/+3 |
| * | Added basic support for $expect cells | Clifford Wolf | 2016-07-13 | 3 | -2/+4 |
| * | Minor bugfix in FSM reset state detection | Clifford Wolf | 2016-07-12 | 1 | -2/+5 |
| * | Further improved fsm_detect output, attempt to detect self-resetting circuits | Clifford Wolf | 2016-07-09 | 1 | -6/+68 |
| * | Added printing of some warning messages to fsm_detect | Clifford Wolf | 2016-07-09 | 1 | -14/+61 |
| * | Replaced "select -assert-limit" with -assert-max and -assert-min | Clifford Wolf | 2016-07-01 | 1 | -42/+29 |
| * | Added 'assert-limit' option for 'select' command | eshellko | 2016-07-01 | 1 | -5/+42 |
| * | Bugfix in "abc -script" handling | Clifford Wolf | 2016-06-19 | 1 | -53/+50 |
| * | Added "deminout" | Clifford Wolf | 2016-06-19 | 2 | -0/+117 |
| * | Added "dc2" to default ABC scripts | Clifford Wolf | 2016-06-17 | 1 | -5/+5 |
| * | Added "abc -I <num> -P <num>" | Clifford Wolf | 2016-06-17 | 1 | -8/+33 |
| * | Improved support for $sop cells | Clifford Wolf | 2016-06-17 | 2 | -2/+69 |
| * | Added $sop cell type and "abc -sop" | Clifford Wolf | 2016-06-17 | 1 | -6/+23 |
| * | Updated ABC to hg rev b5df6e2b76f0 | Clifford Wolf | 2016-06-17 | 1 | -9/+9 |
| * | Added "nlutmap -assert" | Clifford Wolf | 2016-06-09 | 1 | -0/+14 |
| * | Added "proc_mux -ifx" | Clifford Wolf | 2016-06-06 | 2 | -19/+43 |
