Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Improved an error message | Clifford Wolf | 2015-01-28 |
| | |||
* | Fixed bug in equiv_miter | Clifford Wolf | 2015-01-28 |
| | |||
* | Added "sat -show-ports" | Clifford Wolf | 2015-01-27 |
| | |||
* | Bugfix in resource sharing test | Clifford Wolf | 2015-01-27 |
| | |||
* | Updaed ABC to hg rev 61ad5f908c03 | Clifford Wolf | 2015-01-27 |
| | |||
* | Rethrow with "catch(...) throw;" | Clifford Wolf | 2015-01-25 |
| | |||
* | Added equiv_remove | Clifford Wolf | 2015-01-25 |
| | |||
* | Added equiv_miter | Clifford Wolf | 2015-01-25 |
| | |||
* | Added ENABLE_NDEBUG makefile options | Clifford Wolf | 2015-01-24 |
| | |||
* | Added #ifdef NDEBUG for log_assert() | Clifford Wolf | 2015-01-24 |
| | |||
* | Fixed xilinx FDSE sim model | Clifford Wolf | 2015-01-24 |
| | |||
* | Various equiv_* improvements | Clifford Wolf | 2015-01-24 |
| | |||
* | Added dict/pool.sort() | Clifford Wolf | 2015-01-24 |
| | |||
* | Improvements in equiv_make, equiv_induct | Clifford Wolf | 2015-01-22 |
| | |||
* | Improved xdot calling | Clifford Wolf | 2015-01-22 |
| | |||
* | Added equiv_induct | Clifford Wolf | 2015-01-22 |
| | |||
* | Various equiv_simple improvements | Clifford Wolf | 2015-01-22 |
| | |||
* | Moved equiv stuff to passes/equiv/ | Clifford Wolf | 2015-01-22 |
| | |||
* | Progress in equiv_simple | Clifford Wolf | 2015-01-21 |
| | |||
* | Fixed opt_muxtree performance bug | Clifford Wolf | 2015-01-21 |
| | |||
* | Faster "make clean-abc" | Clifford Wolf | 2015-01-20 |
| | |||
* | README stuff | Clifford Wolf | 2015-01-20 |
| | |||
* | Added equiv_simple | Clifford Wolf | 2015-01-19 |
| | |||
* | Added equiv_status | Clifford Wolf | 2015-01-19 |
| | |||
* | Added equiv_make command | Clifford Wolf | 2015-01-19 |
| | |||
* | Added $equiv cell type | Clifford Wolf | 2015-01-19 |
| | |||
* | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-01-18 |
|\ | |||
| * | Merge pull request #47 from mschmoelzer/master | Clifford Wolf | 2015-01-18 |
| |\ | | | | | | | 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 |
| |/ | | | | | | | | | | | | | 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 |
| | | |||
* | | Refactoring of memory_bram and xilinx brams | Clifford Wolf | 2015-01-18 |
|/ | |||
* | improvements in muxtree/select_leaves test | Clifford Wolf | 2015-01-18 |
| | |||
* | Improvements in opt_muxtree | Clifford Wolf | 2015-01-18 |
| | |||
* | More opt_muxtree cleanups | Clifford Wolf | 2015-01-18 |
| | |||
* | Added hashlib::idict<> | Clifford Wolf | 2015-01-18 |
| | |||
* | Various cleanups and improvements in opt_muxtree | Clifford Wolf | 2015-01-18 |
| | |||
* | Added synth_xilinx -retime -flatten | Clifford Wolf | 2015-01-17 |
| | |||
* | Added support for memories to flatten (techmap) | Clifford Wolf | 2015-01-17 |
| | |||
* | Added MUXCY and XORCY support to synth_xilinx | Clifford Wolf | 2015-01-17 |
| | |||
* | Fixed a bug in opt_muxtree for "mux forests" | Clifford Wolf | 2015-01-17 |
| | |||
* | Improved opt_muxtree | Clifford Wolf | 2015-01-17 |
| | |||
* | Optimizing no-op cell->setPort() | Clifford Wolf | 2015-01-17 |
| | |||
* | Bugfix in dff2dffe | Clifford Wolf | 2015-01-16 |
| | |||
* | Added cells.lib | Clifford Wolf | 2015-01-16 |
| | |||
* | Added dff2dffe to synth_xilinx | Clifford Wolf | 2015-01-16 |
| | |||
* | Added more FF types to xilinx/cells.v | Clifford Wolf | 2015-01-16 |
| | |||
* | Fixed xilinx bram clock inverted config | Clifford Wolf | 2015-01-16 |
| | |||
* | Added FF cells to xilinx/cells_sim.v | Clifford Wolf | 2015-01-16 |
| | |||
* | Added Xilinx MUXF7 and MUXF8 support | Clifford Wolf | 2015-01-15 |
| | |||
* | Added "abc -lut w1:w2" | Clifford Wolf | 2015-01-15 |
| |