| Commit message (Expand) | Author | Age | Files | Lines |
* | Improved write address decoder generation memory_map | Clifford Wolf | 2014-08-30 | 1 | -16/+28 |
* | Using worker class in memory_map | Clifford Wolf | 2014-08-30 | 1 | -226/+231 |
* | Don't change existing binary FSM encoding if it is already optimal | Clifford Wolf | 2014-08-30 | 1 | -1/+6 |
* | Using $pmux info in fsm_extract to optimize transition ctrl_in patterns | Clifford Wolf | 2014-08-30 | 1 | -0/+10 |
* | Improved handling of $pmux cells in fsm_extract | Clifford Wolf | 2014-08-30 | 1 | -20/+75 |
* | Fixed inserting of Q-inverters in dfflibmap | Clifford Wolf | 2014-08-27 | 1 | -0/+5 |
* | Implemented "rename -enumerate -pattern" | Clifford Wolf | 2014-08-26 | 1 | -4/+13 |
* | Optimize shift ops with constant rhs in opt_const | Clifford Wolf | 2014-08-24 | 1 | -0/+35 |
* | Added some additional log messages to opt_const | Clifford Wolf | 2014-08-24 | 1 | -1/+10 |
* | azonenberg: Make dump_vcd save model when temporal induction fails due to ste... | Clifford Wolf | 2014-08-24 | 1 | -0/+2 |
* | Only call proc_share_dirname() in techmap when necessary | Clifford Wolf | 2014-08-23 | 1 | -2/+1 |
* | Changed frontend-api from FILE to std::istream | Clifford Wolf | 2014-08-23 | 7 | -38/+47 |
* | Changed backend-api from FILE to std::ostream | Clifford Wolf | 2014-08-23 | 2 | -97/+98 |
* | Added "stat -width" | Clifford Wolf | 2014-08-22 | 1 | -4/+37 |
* | Added emscripten (emcc) support to build system and some build fixes | Clifford Wolf | 2014-08-22 | 2 | -2/+16 |
* | Added "plugin" command | Clifford Wolf | 2014-08-22 | 2 | -0/+118 |
* | Renamed toposort.h to utils.h | Clifford Wolf | 2014-08-17 | 2 | -2/+2 |
* | Added module->uniquify() | Clifford Wolf | 2014-08-16 | 2 | -9/+2 |
* | Added "test_cell -s <seed>" | Clifford Wolf | 2014-08-16 | 1 | -5/+17 |
* | Added additional gate types: $_NAND_ $_NOR_ $_XNOR_ $_AOI3_ $_OAI3_ $_AOI4_ $... | Clifford Wolf | 2014-08-16 | 1 | -25/+161 |
* | Added "opt -fast" | Clifford Wolf | 2014-08-16 | 1 | -19/+45 |
* | Bugfix in iopadmap | Clifford Wolf | 2014-08-15 | 1 | -1/+3 |
* | Renamed $lut ports to follow A-Y naming scheme | Clifford Wolf | 2014-08-15 | 1 | -2/+2 |
* | Renamed $_INV_ cell type to $_NOT_ | Clifford Wolf | 2014-08-15 | 5 | -15/+15 |
* | More idstring sort_by_* helpers and fixed tpl ordering in techmap | Clifford Wolf | 2014-08-15 | 3 | -9/+9 |
* | document "techmap -map %<design-name>" | Clifford Wolf | 2014-08-15 | 1 | -0/+3 |
* | Added module->ports | Clifford Wolf | 2014-08-14 | 4 | -8/+8 |
* | RIP $safe_pmux | Clifford Wolf | 2014-08-14 | 8 | -9/+7 |
* | Some improvements in FSM mapping and recoding | Clifford Wolf | 2014-08-14 | 2 | -8/+16 |
* | Added "abc -D" for setting delay target | Clifford Wolf | 2014-08-14 | 1 | -5/+18 |
* | Filter ANSI escape sequences from ABC output | Clifford Wolf | 2014-08-13 | 1 | -0/+15 |
* | Fixed handling of constant-true branches in proc_clean | Clifford Wolf | 2014-08-12 | 2 | -2/+3 |
* | Fixed FSM mapping for multiple reset-like signals | Clifford Wolf | 2014-08-10 | 1 | -1/+21 |
* | Fixed "share" for complex scenarios with never-active cells | Clifford Wolf | 2014-08-09 | 1 | -6/+22 |
* | Do not share any $reduce_* cells (its complicated and not worth it anyways) | Clifford Wolf | 2014-08-09 | 1 | -19/+0 |
* | Some improvements in fsm_opt and fsm_map for FSM with unreachable states | Clifford Wolf | 2014-08-09 | 2 | -50/+101 |
* | Another fsm_extract bugfix | Clifford Wolf | 2014-08-08 | 1 | -0/+4 |
* | Fixed "fsm -export" | Clifford Wolf | 2014-08-08 | 2 | -6/+5 |
* | Fixed sharing of reduce operator | Clifford Wolf | 2014-08-08 | 1 | -0/+13 |
* | Fixed fsm_extract for wreduced muxes | Clifford Wolf | 2014-08-08 | 1 | -8/+25 |
* | Added "sat -prove-skip" | Clifford Wolf | 2014-08-08 | 1 | -2/+16 |
* | Fixed build with gcc-4.6 | Clifford Wolf | 2014-08-07 | 1 | -6/+6 |
* | Use "-keepdc" in "miter -equiv -flatten" | Clifford Wolf | 2014-08-07 | 1 | -2/+2 |
* | Various improvements in memory_dff pass | Clifford Wolf | 2014-08-06 | 1 | -21/+22 |
* | Various fixes and improvements in wreduce pass | Clifford Wolf | 2014-08-05 | 1 | -29/+47 |
* | Removed old "constmap" from wreduce code | Clifford Wolf | 2014-08-05 | 1 | -3/+2 |
* | Added support for truncating of wires to wreduce pass | Clifford Wolf | 2014-08-05 | 1 | -4/+40 |
* | Cleanups and improvements in wreduce pass | Clifford Wolf | 2014-08-05 | 1 | -47/+77 |
* | Added mux support to wreduce command | Clifford Wolf | 2014-08-05 | 1 | -36/+82 |
* | Added "show -signed" | Clifford Wolf | 2014-08-04 | 1 | -5/+17 |