path: root/Makefile
Commit message (Expand)AuthorAge
* 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
* Improved make rules for profiling and debuggingClifford Wolf2013-11-22
* Updated abcClifford Wolf2013-11-21
* Added "make config-sudo"Clifford Wolf2013-11-19
* Large improvements in yosys-configClifford Wolf2013-11-19
* Renamed ABCHGPULL to ABCPULL in MakefileClifford Wolf2013-11-16
* Improved building of yosys-abcClifford Wolf2013-11-13
* Makefile DESTDIR default (/usr/local) without quotesClifford Wolf2013-11-04
* Allow setting of installation destination via DESTDIR variable in MakefileMartin Schmölzer2013-11-04
* Added API and Makefile rules for share/ filesClifford Wolf2013-10-27
* Pinned ABC revision to 0f9e5488ced3Clifford Wolf2013-10-03
* Moved common techlib files to techlibs/commonClifford Wolf2013-09-15
* Added cleaning of old version_* files to version_* make ruleClifford Wolf2013-08-20
* Added version info to yosys command and added -V optionClifford Wolf2013-08-20
* Minor fixes in abc build instructions and abc passClifford Wolf2013-08-20
* Fixed "make clean" for manual filesClifford Wolf2013-07-23
* Added Yosys ManualClifford Wolf2013-07-20
* Added QMAKE makefile variableClifford Wolf2013-07-03
* Added "make abc" and "make install-abc"Clifford Wolf2013-06-08
* Moved cmds from kernel/ to passes/cmds/Clifford Wolf2013-06-08
* Added ezSAT libraryClifford Wolf2013-06-07
* Added EXTRA_TARGETS Makefile variableClifford Wolf2013-03-28