Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Fixed opt_clean performance bug | Clifford Wolf | 2015-02-04 | 1 | -26/+26 | |
* | Using design->selected_modules() in opt_* | Clifford Wolf | 2015-02-03 | 5 | -36/+20 | |
* | Merge pull request #48 from rubund/master | Clifford Wolf | 2015-02-01 | 2 | -3/+3 | |
|\ | ||||||
| * | Fixed typos found by lintian | Ruben Undheim | 2015-02-01 | 2 | -3/+3 | |
* | | Improved performance in equiv_simple | Clifford Wolf | 2015-02-01 | 1 | -23/+72 | |
|/ | ||||||
* | Using selections in "ls" command | Clifford Wolf | 2015-02-01 | 1 | -34/+30 | |
* | Bugfix in opt_const $eq -> buffer code | Clifford Wolf | 2015-01-31 | 1 | -4/+4 | |
* | Fixed equiv_make for partially undriven nets (e.g. after "clean -purge") | Clifford Wolf | 2015-01-31 | 1 | -12/+31 | |
* | Added "equiv_induct -undef" | Clifford Wolf | 2015-01-31 | 1 | -5/+50 | |
* | Added "equiv_simple -undef" | Clifford Wolf | 2015-01-31 | 1 | -17/+47 | |
* | Added "equiv_make -blacklist <file> -encfile <file>" | Clifford Wolf | 2015-01-31 | 2 | -5/+173 | |
* | Added "fsm -encfile" | Clifford Wolf | 2015-01-30 | 2 | -12/+41 | |
* | Improved an error message | Clifford Wolf | 2015-01-28 | 1 | -1/+1 | |
* | Fixed bug in equiv_miter | Clifford Wolf | 2015-01-28 | 1 | -6/+6 | |
* | Added "sat -show-ports" | Clifford Wolf | 2015-01-27 | 1 | -2/+7 | |
* | Rethrow with "catch(...) throw;" | Clifford Wolf | 2015-01-25 | 2 | -4/+4 | |
* | Added equiv_remove | Clifford Wolf | 2015-01-25 | 2 | -0/+84 | |
* | Added equiv_miter | Clifford Wolf | 2015-01-25 | 2 | -0/+344 | |
* | Added ENABLE_NDEBUG makefile options | Clifford Wolf | 2015-01-24 | 3 | -4/+12 | |
* | Various equiv_* improvements | Clifford Wolf | 2015-01-24 | 4 | -14/+20 | |
* | Added dict/pool.sort() | Clifford Wolf | 2015-01-24 | 2 | -0/+6 | |
* | Improvements in equiv_make, equiv_induct | Clifford Wolf | 2015-01-22 | 2 | -0/+46 | |
* | Improved xdot calling | Clifford Wolf | 2015-01-22 | 1 | -2/+2 | |
* | Added equiv_induct | Clifford Wolf | 2015-01-22 | 2 | -0/+182 | |
* | Various equiv_simple improvements | Clifford Wolf | 2015-01-22 | 1 | -25/+50 | |
* | Moved equiv stuff to passes/equiv/ | Clifford Wolf | 2015-01-22 | 5 | -3/+5 | |
* | Progress in equiv_simple | Clifford Wolf | 2015-01-21 | 1 | -39/+105 | |
* | Fixed opt_muxtree performance bug | Clifford Wolf | 2015-01-21 | 1 | -11/+28 | |
* | Added equiv_simple | Clifford Wolf | 2015-01-19 | 2 | -0/+188 | |
* | Added equiv_status | Clifford Wolf | 2015-01-19 | 2 | -0/+95 | |
* | Added equiv_make command | Clifford Wolf | 2015-01-19 | 2 | -0/+249 | |
* | Refactoring of memory_bram and xilinx brams | Clifford Wolf | 2015-01-18 | 1 | -204/+407 | |
* | Improvements in opt_muxtree | Clifford Wolf | 2015-01-18 | 1 | -35/+50 | |
* | More opt_muxtree cleanups | Clifford Wolf | 2015-01-18 | 1 | -64/+44 | |
* | Various cleanups and improvements in opt_muxtree | Clifford Wolf | 2015-01-18 | 1 | -87/+71 | |
* | Added support for memories to flatten (techmap) | Clifford Wolf | 2015-01-17 | 1 | -3/+22 | |
* | Fixed a bug in opt_muxtree for "mux forests" | Clifford Wolf | 2015-01-17 | 1 | -4/+18 | |
* | Improved opt_muxtree | Clifford Wolf | 2015-01-17 | 1 | -4/+38 | |
* | Bugfix in dff2dffe | Clifford Wolf | 2015-01-16 | 1 | -1/+1 | |
* | Added "abc -lut w1:w2" | Clifford Wolf | 2015-01-15 | 1 | -5/+21 | |
* | Fixed handling of foo.__TECHMAP_... | Clifford Wolf | 2015-01-15 | 1 | -1/+1 | |
* | Re-enabled mux->and/or transform (and fixed lm32 in yosys-bigsim) | Clifford Wolf | 2015-01-13 | 1 | -5/+0 | |
* | Only enable code coverage counters on linux | Clifford Wolf | 2015-01-09 | 1 | -2/+2 | |
* | disabled problematic mux -> and/or transform | Clifford Wolf | 2015-01-07 | 1 | -2/+7 | |
* | memory_bram hotfix for memories with width 1 | Clifford Wolf | 2015-01-06 | 1 | -3/+3 | |
* | removed old debug code | Clifford Wolf | 2015-01-06 | 1 | -1/+0 | |
* | Towards Xilinx bram support | Clifford Wolf | 2015-01-06 | 1 | -1/+0 | |
* | Various small improvements to synth_xilinx | Clifford Wolf | 2015-01-06 | 1 | -2/+2 | |
* | Towards Xilinx bram support | Clifford Wolf | 2015-01-06 | 1 | -1/+1 | |
* | dict<> ref vs insert bugfix | Clifford Wolf | 2015-01-06 | 1 | -10/+13 |