aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* Bugfix in resource sharing testClifford Wolf2015-01-271-1/+1
|
* Updaed ABC to hg rev 61ad5f908c03Clifford Wolf2015-01-271-1/+1
|
* Rethrow with "catch(...) throw;"Clifford Wolf2015-01-253-6/+6
|
* Added equiv_removeClifford Wolf2015-01-252-0/+84
|
* Added equiv_miterClifford Wolf2015-01-252-0/+344
|
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-2412-12/+33
|
* Added #ifdef NDEBUG for log_assert()Clifford Wolf2015-01-241-1/+5
|
* Fixed xilinx FDSE sim modelClifford Wolf2015-01-241-2/+2
|
* Various equiv_* improvementsClifford Wolf2015-01-244-14/+20
|
* Added dict/pool.sort()Clifford Wolf2015-01-247-50/+80
|
* Improvements in equiv_make, equiv_inductClifford Wolf2015-01-222-0/+46
|
* Improved xdot callingClifford Wolf2015-01-221-2/+2
|
* Added equiv_inductClifford Wolf2015-01-222-0/+182
|
* Various equiv_simple improvementsClifford Wolf2015-01-222-25/+69
|
* Moved equiv stuff to passes/equiv/Clifford Wolf2015-01-225-3/+5
|
* Progress in equiv_simpleClifford Wolf2015-01-212-41/+110
|
* Fixed opt_muxtree performance bugClifford Wolf2015-01-211-11/+28
|
* Faster "make clean-abc"Clifford Wolf2015-01-201-2/+2
|
* README stuffClifford Wolf2015-01-201-2/+3
|
* Added equiv_simpleClifford Wolf2015-01-192-0/+188
|
* Added equiv_statusClifford Wolf2015-01-192-0/+95
|
* Added equiv_make commandClifford Wolf2015-01-194-1/+260
|
* Added $equiv cell typeClifford Wolf2015-01-194-2/+33
|
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-01-181-0/+6
|\
| * Merge pull request #47 from mschmoelzer/masterClifford Wolf2015-01-181-0/+6
| |\ | | | | | | Add "echo-yosys-ver" and "echo-git-rev" Makefile targets.
| | * Add "echo-yosys-ver" and "echo-git-rev" Makefile targets.Martin Schmölzer2015-01-181-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 techlibClifford Wolf2015-01-187-9/+110
| |
* | Refactoring of memory_bram and xilinx bramsClifford Wolf2015-01-186-674/+466
|/
* improvements in muxtree/select_leaves testClifford Wolf2015-01-181-2/+5
|
* Improvements in opt_muxtreeClifford Wolf2015-01-182-35/+58
|
* More opt_muxtree cleanupsClifford Wolf2015-01-181-64/+44
|
* Added hashlib::idict<>Clifford Wolf2015-01-183-2/+73
|
* Various cleanups and improvements in opt_muxtreeClifford Wolf2015-01-181-87/+71
|
* Added synth_xilinx -retime -flattenClifford Wolf2015-01-171-2/+28
|
* Added support for memories to flatten (techmap)Clifford Wolf2015-01-171-3/+22
|
* Added MUXCY and XORCY support to synth_xilinxClifford Wolf2015-01-174-2/+106
|
* Fixed a bug in opt_muxtree for "mux forests"Clifford Wolf2015-01-171-4/+18
|
* Improved opt_muxtreeClifford Wolf2015-01-171-4/+38
|
* Optimizing no-op cell->setPort()Clifford Wolf2015-01-171-1/+3
|
* Bugfix in dff2dffeClifford Wolf2015-01-161-1/+1
|
* Added cells.libClifford Wolf2015-01-162-0/+109
|
* Added dff2dffe to synth_xilinxClifford Wolf2015-01-161-0/+2
|
* Added more FF types to xilinx/cells.vClifford Wolf2015-01-161-25/+28
|
* Fixed xilinx bram clock inverted configClifford Wolf2015-01-161-21/+35
|
* Added FF cells to xilinx/cells_sim.vClifford Wolf2015-01-161-116/+116
|
* Added Xilinx MUXF7 and MUXF8 supportClifford Wolf2015-01-152-2/+30
|
* Added "abc -lut w1:w2"Clifford Wolf2015-01-151-5/+21
|
* Fixed handling of foo.__TECHMAP_...Clifford Wolf2015-01-151-1/+1
|
* Ignoring more system task and functionsClifford Wolf2015-01-152-2/+4
|
* Fixed handling of "input foo; reg [0:0] foo;"Clifford Wolf2015-01-151-0/+7
|