path: root/Makefile
Commit message (Expand)AuthorAge
* Cosmetic fixes for "make abc"Clifford Wolf2014-07-26
* Added "make vgtest"Clifford Wolf2014-07-25
* Added "make clean-abc"Clifford Wolf2014-07-25
* Further improved "make" prettinessClifford Wolf2014-07-25
* Updated ABC to hg id "b1e63d18768d"Clifford Wolf2014-07-24
* Added "make SMALL=1"Clifford Wolf2014-07-24
* Now "make PRETTY=1" is the default settingClifford Wolf2014-07-24
* Added percentage display to "make PRETTY=1"Clifford Wolf2014-07-24
* Added "make PRETTY=1"Clifford Wolf2014-07-24
* Added "cover" commandClifford Wolf2014-07-24
* Added "make config-gcc-4.7"Clifford Wolf2014-07-24
* Added "make vloghtb"Clifford Wolf2014-07-24
* Activated tests/share in "make test"Clifford Wolf2014-07-20
* added tests/memoriesClifford Wolf2014-07-18
* Added tests/realmath to "make test"Clifford Wolf2014-06-15
* Now we are in Yoys 0.3.0+ developmentClifford Wolf2014-06-08
* Tagging Yosys 0.3.0Clifford Wolf2014-06-08
* Updated ABC to 7600ffb9340cClifford Wolf2014-06-08
* Updated ABC to rev fa4404b395f0Clifford Wolf2014-05-29
* Updated ABC to 67c84cdd49e4Clifford Wolf2014-05-09
* Remove non-POSIX 'rm -v'.Anthony J. Bentley2014-04-04
* Copy Verific vdbs files to Yosys "share" data directoryClifford Wolf2014-03-13
* Merged OSX fixes from Siesh1oo with some modificationsClifford Wolf2014-03-13
* Fixed dependencies of "make test"Clifford Wolf2014-03-12
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-12
* Merged addition of SED makefile variable from Wolf2014-03-11
* Added "verific" commandClifford Wolf2014-03-09
* Added tests/techmap/mem_simple_4x1Clifford Wolf2014-02-21
* Now we are in Yoys 0.2.0+ developmentClifford Wolf2014-02-16
* Tagging Yoys 0.2.0Clifford Wolf2014-02-16
* Updated ABCClifford Wolf2014-02-13
* Updated ABC and some related changesClifford Wolf2014-02-13
* Updated ABC to rev e97a6e1d59b9Clifford Wolf2014-02-12
* More Makefile cleanupsClifford Wolf2014-02-11
* Improved "make manual" and "make clean"Clifford Wolf2014-02-11
* Added checking for ABC modifications to Makefile and made sure we do not have...Clifford Wolf2014-02-08
* Updated ABC to rev 10cc13a2a0f1Clifford Wolf2014-02-06
* Added test cases for sat commandClifford Wolf2014-02-04
* Updated ABC to hg rev e6b09e1Clifford Wolf2014-01-29
* Added first presentation slidesClifford Wolf2014-01-27
* Updated ABC to hg rev 57517e81666bClifford Wolf2013-12-31
* More ABC releated Makefile changesClifford Wolf2013-12-04
* Minor improvements in ABc buildClifford Wolf2013-12-03
* Started writing appnote 011Clifford Wolf2013-11-28
* Updated ABC to 9241719523f6Clifford Wolf2013-11-28
* Merge branch 'master' of Wolf2013-11-27
| * Set version number to 0.1.0+Clifford Wolf2013-11-27
* | Tighter integration of ABC buildClifford Wolf2013-11-27
* Fixed "make install" dependenciesClifford Wolf2013-11-24
* Added more performance measurement infrastructureClifford Wolf2013-11-22