| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | 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 | 2 | -6/+51 | |
| | | | ||||||
| * | | Added "equiv_simple -undef" | Clifford Wolf | 2015-01-31 | 2 | -17/+61 | |
| | | | ||||||
| * | | Added "equiv_make -blacklist <file> -encfile <file>" | Clifford Wolf | 2015-01-31 | 4 | -5/+189 | |
| | | | ||||||
| * | | Synced RTLIL::unescape_id() to log_id() behavior | Clifford Wolf | 2015-01-30 | 1 | -3/+9 | |
| | | | ||||||
| * | | Added "fsm -encfile" | Clifford Wolf | 2015-01-30 | 3 | -14/+50 | |
| | | | ||||||
| * | | More log_id() stuff | Clifford Wolf | 2015-01-30 | 1 | -3/+7 | |
| | | | ||||||
| * | | Some cleanups in log.cc | Clifford Wolf | 2015-01-30 | 1 | -14/+16 | |
| | | | ||||||
| * | | 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 | |
| | | | ||||||
| * | | Bugfix in resource sharing test | Clifford Wolf | 2015-01-27 | 1 | -1/+1 | |
| | | | ||||||
| * | | Updaed ABC to hg rev 61ad5f908c03 | Clifford Wolf | 2015-01-27 | 1 | -1/+1 | |
| | | | ||||||
| * | | Rethrow with "catch(...) throw;" | Clifford Wolf | 2015-01-25 | 3 | -6/+6 | |
| | | | ||||||
| * | | 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 | 12 | -12/+33 | |
| | | | ||||||
| * | | Added #ifdef NDEBUG for log_assert() | Clifford Wolf | 2015-01-24 | 1 | -1/+5 | |
| | | | ||||||
| * | | Fixed xilinx FDSE sim model | Clifford Wolf | 2015-01-24 | 1 | -2/+2 | |
| | | | ||||||
| * | | Various equiv_* improvements | Clifford Wolf | 2015-01-24 | 4 | -14/+20 | |
| | | | ||||||
| * | | Added dict/pool.sort() | Clifford Wolf | 2015-01-24 | 7 | -50/+80 | |
| | | | ||||||
| * | | 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 | 2 | -25/+69 | |
| | | | ||||||
| * | | Moved equiv stuff to passes/equiv/ | Clifford Wolf | 2015-01-22 | 5 | -3/+5 | |
| | | | ||||||
| * | | Progress in equiv_simple | Clifford Wolf | 2015-01-21 | 2 | -41/+110 | |
| | | | ||||||
| * | | Fixed opt_muxtree performance bug | Clifford Wolf | 2015-01-21 | 1 | -11/+28 | |
| | | | ||||||
| * | | Faster "make clean-abc" | Clifford Wolf | 2015-01-20 | 1 | -2/+2 | |
| | | | ||||||
| * | | README stuff | Clifford Wolf | 2015-01-20 | 1 | -2/+3 | |
| | | | ||||||
| * | | 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 | 4 | -1/+260 | |
| | | | ||||||
| * | | Added $equiv cell type | Clifford Wolf | 2015-01-19 | 4 | -2/+33 | |
| | | | ||||||
| * | | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-01-18 | 1 | -0/+6 | |
| |\ \ | ||||||
| | * \ | Merge pull request #47 from mschmoelzer/master | Clifford Wolf | 2015-01-18 | 1 | -0/+6 | |
| | |\ \ | | | | | | | | | Add "echo-yosys-ver" and "echo-git-rev" Makefile targets. | |||||
| | | * | | Add "echo-yosys-ver" and "echo-git-rev" Makefile targets. | Martin Schmölzer | 2015-01-18 | 1 | -0/+6 | |
| | |/ / | | | | | | | | | | | | | | | | | | | These Makefile targets simply echo the corresponding Makefile variable, simplifying package build scripts. Signed-off-by: Martin Schmölzer <mschmoelzer@gmail.com> | |||||
| * | | | Various cleanups in xilinx techlib | Clifford Wolf | 2015-01-18 | 7 | -9/+110 | |
| | | | | ||||||
| * | | | Refactoring of memory_bram and xilinx brams | Clifford Wolf | 2015-01-18 | 6 | -674/+466 | |
| |/ / | ||||||
| * | | improvements in muxtree/select_leaves test | Clifford Wolf | 2015-01-18 | 1 | -2/+5 | |
| | | | ||||||
| * | | Improvements in opt_muxtree | Clifford Wolf | 2015-01-18 | 2 | -35/+58 | |
| | | | ||||||
| * | | More opt_muxtree cleanups | Clifford Wolf | 2015-01-18 | 1 | -64/+44 | |
| | | | ||||||
| * | | Added hashlib::idict<> | Clifford Wolf | 2015-01-18 | 3 | -2/+73 | |
| | | | ||||||
| * | | Various cleanups and improvements in opt_muxtree | Clifford Wolf | 2015-01-18 | 1 | -87/+71 | |
| | | | ||||||
| * | | Added synth_xilinx -retime -flatten | Clifford Wolf | 2015-01-17 | 1 | -2/+28 | |
| | | | ||||||
| * | | Added support for memories to flatten (techmap) | Clifford Wolf | 2015-01-17 | 1 | -3/+22 | |
| | | | ||||||
| * | | Added MUXCY and XORCY support to synth_xilinx | Clifford Wolf | 2015-01-17 | 4 | -2/+106 | |
| | | | ||||||
| * | | 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 | |
| | | | ||||||
| * | | Optimizing no-op cell->setPort() | Clifford Wolf | 2015-01-17 | 1 | -1/+3 | |
| | | | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |