aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * Synced RTLIL::unescape_id() to log_id() behaviorClifford Wolf2015-01-301-3/+9
| * Added "fsm -encfile"Clifford Wolf2015-01-303-14/+50
| * More log_id() stuffClifford Wolf2015-01-301-3/+7
| * Some cleanups in log.ccClifford Wolf2015-01-301-14/+16
| * Improved an error messageClifford Wolf2015-01-281-1/+1
| * Fixed bug in equiv_miterClifford Wolf2015-01-281-6/+6
| * Added "sat -show-ports"Clifford Wolf2015-01-271-2/+7
| * 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.Martin Schmölzer2015-01-181-0/+6
| | |/
| * | 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-22 13:24:32 +0000