aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Added Xilinx example for Basys3 boardClifford Wolf2015-02-019-1/+84
|
* Added EDIF backend support for multi-bit cell portsClifford Wolf2015-02-011-11/+10
|
* Added missing ports and parameters to xilinx bramsClifford Wolf2015-02-011-4/+18
|
* Added "make mklibyosys", some minor API changesClifford Wolf2015-02-017-11/+70
|
* Minor README changesClifford Wolf2015-02-011-3/+2
|
* Removed TODO list from README fileClifford Wolf2015-02-011-30/+0
|
* Added yosys_banner(), Updated Copyright rangeClifford Wolf2015-02-014-26/+31
|
* Added <algorithm> include to hashlib.hClifford Wolf2015-02-011-0/+1
|
* Using selections in "ls" commandClifford Wolf2015-02-011-34/+30
|
* Shorter "dump" optionsClifford Wolf2015-01-311-4/+4
|
* Bugfix in opt_const $eq -> buffer codeClifford Wolf2015-01-311-4/+4
|
* Log msg changeClifford Wolf2015-01-311-1/+1
|
* Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")Clifford Wolf2015-01-311-12/+31
|
* Added "equiv_induct -undef"Clifford Wolf2015-01-312-6/+51
|
* Added "equiv_simple -undef"Clifford Wolf2015-01-312-17/+61
|
* Added "equiv_make -blacklist <file> -encfile <file>"Clifford Wolf2015-01-314-5/+189
|
* 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.
| | * 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
| |