| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Updated ABC and some related changes | Clifford Wolf | 2014-02-13 | 1 | -1/+1 |
* | Updated ABC to rev e97a6e1d59b9 | Clifford Wolf | 2014-02-12 | 1 | -1/+1 |
* | More Makefile cleanups | Clifford Wolf | 2014-02-11 | 1 | -2/+3 |
* | Improved "make manual" and "make clean" | Clifford Wolf | 2014-02-11 | 1 | -6/+8 |
* | Added checking for ABC modifications to Makefile and made sure we do not have... | Clifford Wolf | 2014-02-08 | 1 | -1/+4 |
* | Updated ABC to rev 10cc13a2a0f1 | Clifford Wolf | 2014-02-06 | 1 | -1/+1 |
* | Added test cases for sat command | Clifford Wolf | 2014-02-04 | 1 | -0/+1 |
* | Updated ABC to hg rev e6b09e1 | Clifford Wolf | 2014-01-29 | 1 | -1/+1 |
* | Added first presentation slides | Clifford Wolf | 2014-01-27 | 1 | -1/+1 |
* | Updated ABC to hg rev 57517e81666b | Clifford Wolf | 2013-12-31 | 1 | -2/+2 |
* | More ABC releated Makefile changes | Clifford Wolf | 2013-12-04 | 1 | -1/+10 |
* | Minor improvements in ABc build | Clifford Wolf | 2013-12-03 | 1 | -8/+3 |
* | Started writing appnote 011 | Clifford Wolf | 2013-11-28 | 1 | -1/+1 |
* | Updated ABC to 9241719523f6 | Clifford Wolf | 2013-11-28 | 1 | -5/+5 |
* | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2013-11-27 | 1 | -1/+1 |
|\ |
|
| * | Set version number to 0.1.0+ | Clifford Wolf | 2013-11-27 | 1 | -1/+1 |
* | | Tighter integration of ABC build | Clifford Wolf | 2013-11-27 | 1 | -3/+20 |
|/ |
|
* | Fixed "make install" dependencies | Clifford Wolf | 2013-11-24 | 1 | -1/+1 |
* | Added more performance measurement infrastructure | Clifford Wolf | 2013-11-22 | 1 | -2/+2 |
* | Improved make rules for profiling and debugging | Clifford Wolf | 2013-11-22 | 1 | -3/+3 |
* | Updated abc | Clifford Wolf | 2013-11-21 | 1 | -1/+1 |
* | Added "make config-sudo" | Clifford Wolf | 2013-11-19 | 1 | -6/+10 |
* | Large improvements in yosys-config | Clifford Wolf | 2013-11-19 | 1 | -1/+2 |
* | Renamed ABCHGPULL to ABCPULL in Makefile | Clifford Wolf | 2013-11-16 | 1 | -2/+2 |
* | Improved building of yosys-abc | Clifford Wolf | 2013-11-13 | 1 | -1/+5 |
* | Makefile DESTDIR default (/usr/local) without quotes | Clifford Wolf | 2013-11-04 | 1 | -1/+1 |
* | Allow setting of installation destination via DESTDIR variable in Makefile | Martin Schmölzer | 2013-11-04 | 1 | -4/+7 |
* | Added API and Makefile rules for share/ files | Clifford Wolf | 2013-10-27 | 1 | -0/+3 |
* | Pinned ABC revision to 0f9e5488ced3 | Clifford Wolf | 2013-10-03 | 1 | -1/+3 |
* | Moved common techlib files to techlibs/common | Clifford Wolf | 2013-09-15 | 1 | -1/+1 |
* | Added cleaning of old version_* files to version_* make rule | Clifford Wolf | 2013-08-20 | 1 | -1/+2 |
* | Added version info to yosys command and added -V option | Clifford Wolf | 2013-08-20 | 1 | -0/+8 |
* | Minor fixes in abc build instructions and abc pass | Clifford Wolf | 2013-08-20 | 1 | -1/+1 |
* | Fixed "make clean" for manual files | Clifford Wolf | 2013-07-23 | 1 | -1/+1 |
* | Added Yosys Manual | Clifford Wolf | 2013-07-20 | 1 | -1/+5 |
* | Added QMAKE makefile variable | Clifford Wolf | 2013-07-03 | 1 | -1/+2 |
* | Added "make abc" and "make install-abc" | Clifford Wolf | 2013-06-08 | 1 | -1/+9 |
* | Moved cmds from kernel/ to passes/cmds/ | Clifford Wolf | 2013-06-08 | 1 | -1/+1 |
* | Added ezSAT library | Clifford Wolf | 2013-06-07 | 1 | -8/+17 |
* | Added EXTRA_TARGETS Makefile variable | Clifford Wolf | 2013-03-28 | 1 | -1/+2 |
* | Improved Makefile: Added ENABLE_* switches | Clifford Wolf | 2013-03-28 | 1 | -8/+24 |
* | Implemented TCL support (only via -c option at the moment) | Clifford Wolf | 2013-03-28 | 1 | -0/+3 |
* | Now using SVG and yosys-svgviewer per default in show command | Clifford Wolf | 2013-03-27 | 1 | -4/+4 |
* | Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlib | Clifford Wolf | 2013-03-27 | 1 | -1/+8 |
* | Cleanups and improvements in Makefile | Clifford Wolf | 2013-03-07 | 1 | -2/+17 |
* | Added support for loadable modules (aka plugins) | Clifford Wolf | 2013-03-06 | 1 | -4/+9 |
* | Reset Makefile default config setting (oops) | Clifford Wolf | 2013-03-06 | 1 | -2/+2 |
* | Fixed mine test case for subcircuit library | Clifford Wolf | 2013-03-06 | 1 | -2/+2 |
* | Finished "extract -mine" feature | Clifford Wolf | 2013-03-02 | 1 | -1/+1 |
* | Fixed "make qtcreator" (we now have a libs/ directory) | Clifford Wolf | 2013-03-01 | 1 | -2/+2 |