| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Merge pull request #1098 from YosysHQ/xaig | Eddie Hung | 2019-06-28 | 1 | -1/+2 |
| |\ |
|
| | * | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-06-27 | 1 | -0/+1 |
| | |\ |
|
| | * | | Revert Makefile | Eddie Hung | 2019-06-20 | 1 | -2/+2 |
| | * | | Fix gcc error, due to dict invalidation during recursion | Eddie Hung | 2019-06-20 | 1 | -2/+2 |
| | * | | Run simple_abc9 tests | Eddie Hung | 2019-06-20 | 1 | -0/+1 |
| | * | | Merge remote-tracking branch 'origin/master' into xc7mux | Eddie Hung | 2019-06-03 | 1 | -0/+4 |
| | |\ \ |
|
| | * | | | Bump ABC | Eddie Hung | 2019-05-29 | 1 | -1/+1 |
| * | | | | tests: use optional ABCEXTERNAL when specified | Gabriel L. Somlo | 2019-06-27 | 1 | -2/+8 |
| | |_|/
|/| | |
|
| * | | | tests: Check that Icarus can parse arch sim models | David Shah | 2019-06-26 | 1 | -0/+1 |
| | |/
|/| |
|
| * | | Aded one more load of .conf to support change of prefix | Miodrag Milanovic | 2019-05-29 | 1 | -0/+4 |
| |/ |
|
| * | Remove info line in 2nd load of conf file | Miodrag Milanovic | 2019-05-28 | 1 | -1/+0 |
| * | Moved pyosys block in Makefile | Miodrag Milanovic | 2019-05-28 | 1 | -8/+16 |
| * | make config-afl-gcc to help creating conf file | Miodrag Milanovic | 2019-05-27 | 1 | -1/+4 |
| * | Added afl-gcc as target for fuzzer | Miodrag Milanovic | 2019-05-27 | 1 | -0/+7 |
| * | Guard all Python-api related items. | Kaj Tuomi | 2019-05-27 | 1 | -0/+6 |
| * | OS X related fixes. | Kaj Tuomi | 2019-05-22 | 1 | -5/+31 |
| * | extract python prefix to allow overriding | Stefan Biereigel | 2019-05-14 | 1 | -1/+2 |
| * | remove ldconfig call | Stefan Biereigel | 2019-05-14 | 1 | -1/+0 |
| * | add mkdir for libyosys target, explicitly copy to target folder | Stefan Biereigel | 2019-05-14 | 1 | -3/+4 |
| * | Merge branch 'master' of https://github.com/YosysHQ/yosys into feature/python... | Benedikt Tutzer | 2019-04-30 | 1 | -3/+3 |
| |\ |
|
| | * | Set ENABLE_LIBYOSYS=0 by default | Clifford Wolf | 2019-04-22 | 1 | -1/+1 |
| | * | Set ENABLE_PYOSYS=0 by default | Clifford Wolf | 2019-04-22 | 1 | -1/+1 |
| | * | Merge pull request #905 from christian-krieg/feature/python_bindings | Clifford Wolf | 2019-04-22 | 1 | -2/+57 |
| | |\ |
|
| | * | | Update to ABC 3709744 | Clifford Wolf | 2019-04-18 | 1 | -1/+1 |
| | * | | Update to ABC d1b6413 | Clifford Wolf | 2019-04-17 | 1 | -1/+1 |
| * | | | Cleaned up root directory | Benedikt Tutzer | 2019-04-30 | 1 | -4/+4 |
| | |/
|/| |
|
| * | | Suppress error from the compiler run during libboost-python* detection | Benedikt Tutzer | 2019-04-07 | 1 | -4/+4 |
| * | | Autodetect Python paths and boost python libraries for different distributions | Benedikt Tutzer | 2019-04-05 | 1 | -8/+24 |
| * | | Removed link to experimental filesystem library | Benedikt Tutzer | 2019-04-04 | 1 | -2/+2 |
| * | | Changed filesystem dependency to boost instead of experimental std library | Benedikt Tutzer | 2019-04-04 | 1 | -2/+2 |
| * | | Removed compiler flags that are clang specific | Benedikt Tutzer | 2019-04-03 | 1 | -2/+2 |
| * | | Even less options for the preprocessor | Benedikt Tutzer | 2019-04-03 | 1 | -1/+1 |
| * | | Preprocessing does not need all the flags | Benedikt Tutzer | 2019-04-03 | 1 | -1/+1 |
| * | | Added cross-platform support for plugin-paths | Benedikt Tutzer | 2019-04-03 | 1 | -2/+2 |
| * | | Autodetect highest installed python version | Benedikt Tutzer | 2019-04-03 | 1 | -2/+8 |
| * | | Merge remote-tracking branch 'origin/master' into feature/python_bindings | Benedikt Tutzer | 2019-03-28 | 1 | -16/+97 |
| |\| |
|
| | * | Merge https://github.com/YosysHQ/yosys into read_aiger | Eddie Hung | 2019-03-19 | 1 | -2/+7 |
| | |\ |
|
| | | * | Disable realmath tests | Clifford Wolf | 2019-03-15 | 1 | -1/+1 |
| | | * | Add ENABLE_GLOB Makefile switch | Clifford Wolf | 2019-03-11 | 1 | -0/+5 |
| | | * | Fix Travis | Clifford Wolf | 2019-02-22 | 1 | -1/+1 |
| | * | | Add aiger tests to make tests | Eddie Hung | 2019-02-19 | 1 | -0/+1 |
| | |/ |
|
| | * | Update Verific default path | Clifford Wolf | 2019-01-04 | 1 | -1/+1 |
| | * | Merge pull request #704 from webhat/feature/fix-awk | Clifford Wolf | 2018-12-16 | 1 | -2/+3 |
| | |\ |
|
| | | * | Using awk rather than gawk | Daniël W. Crompton | 2018-11-19 | 1 | -2/+3 |
| | * | | Verific updates | Clifford Wolf | 2018-12-06 | 1 | -1/+1 |
| | * | | opt_lut: new pass, to combine LUTs for tighter packing. | whitequark | 2018-12-05 | 1 | -1/+2 |
| | |/ |
|
| | * | Update ABC to git rev 2ddc57d | Clifford Wolf | 2018-11-13 | 1 | -1/+1 |
| | * | Update ABC to git rev 68da3cf | Clifford Wolf | 2018-11-11 | 1 | -1/+1 |
| | * | Merge pull request #696 from arjenroodselaar/verific_darwin | Clifford Wolf | 2018-11-09 | 1 | -0/+4 |
| | |\ |
|
| | | * | Use appropriate static libraries when building with Verific on MacOS | Arjen Roodselaar | 2018-11-07 | 1 | -0/+4 |
