summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* More log_id() stuffClifford Wolf2015-01-30
|
* Some cleanups in log.ccClifford Wolf2015-01-30
|
* Improved an error messageClifford Wolf2015-01-28
|
* Fixed bug in equiv_miterClifford Wolf2015-01-28
|
* Added "sat -show-ports"Clifford Wolf2015-01-27
|
* Bugfix in resource sharing testClifford Wolf2015-01-27
|
* Updaed ABC to hg rev 61ad5f908c03Clifford Wolf2015-01-27
|
* Rethrow with "catch(...) throw;"Clifford Wolf2015-01-25
|
* Added equiv_removeClifford Wolf2015-01-25
|
* Added equiv_miterClifford Wolf2015-01-25
|
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-24
|
* Added #ifdef NDEBUG for log_assert()Clifford Wolf2015-01-24
|
* Fixed xilinx FDSE sim modelClifford Wolf2015-01-24
|
* Various equiv_* improvementsClifford Wolf2015-01-24
|
* Added dict/pool.sort()Clifford Wolf2015-01-24
|
* Improvements in equiv_make, equiv_inductClifford Wolf2015-01-22
|
* Improved xdot callingClifford Wolf2015-01-22
|
* Added equiv_inductClifford Wolf2015-01-22
|
* Various equiv_simple improvementsClifford Wolf2015-01-22
|
* Moved equiv stuff to passes/equiv/Clifford Wolf2015-01-22
|
* Progress in equiv_simpleClifford Wolf2015-01-21
|
* Fixed opt_muxtree performance bugClifford Wolf2015-01-21
|
* Faster "make clean-abc"Clifford Wolf2015-01-20
|
* README stuffClifford Wolf2015-01-20
|
* Added equiv_simpleClifford Wolf2015-01-19
|
* Added equiv_statusClifford Wolf2015-01-19
|
* Added equiv_make commandClifford Wolf2015-01-19
|
* Added $equiv cell typeClifford Wolf2015-01-19
|
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-01-18
|\
| * Merge pull request #47 from mschmoelzer/masterClifford Wolf2015-01-18
| |\ | | | | | | Add "echo-yosys-ver" and "echo-git-rev" Makefile targets.
| | * Add "echo-yosys-ver" and "echo-git-rev" Makefile targets.Martin Schmölzer2015-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 techlibClifford Wolf2015-01-18
| |
* | Refactoring of memory_bram and xilinx bramsClifford Wolf2015-01-18
|/
* improvements in muxtree/select_leaves testClifford Wolf2015-01-18
|
* Improvements in opt_muxtreeClifford Wolf2015-01-18
|
* More opt_muxtree cleanupsClifford Wolf2015-01-18
|
* Added hashlib::idict<>Clifford Wolf2015-01-18
|
* Various cleanups and improvements in opt_muxtreeClifford Wolf2015-01-18
|
* Added synth_xilinx -retime -flattenClifford Wolf2015-01-17
|
* Added support for memories to flatten (techmap)Clifford Wolf2015-01-17
|
* Added MUXCY and XORCY support to synth_xilinxClifford Wolf2015-01-17
|
* Fixed a bug in opt_muxtree for "mux forests"Clifford Wolf2015-01-17
|
* Improved opt_muxtreeClifford Wolf2015-01-17
|
* Optimizing no-op cell->setPort()Clifford Wolf2015-01-17
|
* Bugfix in dff2dffeClifford Wolf2015-01-16
|
* Added cells.libClifford Wolf2015-01-16
|
* Added dff2dffe to synth_xilinxClifford Wolf2015-01-16
|
* Added more FF types to xilinx/cells.vClifford Wolf2015-01-16
|
* Fixed xilinx bram clock inverted configClifford Wolf2015-01-16
|
* Added FF cells to xilinx/cells_sim.vClifford Wolf2015-01-16
|