aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Merge https://github.com/YosysHQ/yosys into read_aigerEddie Hung2019-03-191-2/+7
|\
| * Disable realmath testsClifford Wolf2019-03-151-1/+1
| * Add ENABLE_GLOB Makefile switchClifford Wolf2019-03-111-0/+5
| * Fix TravisClifford Wolf2019-02-221-1/+1
* | Add aiger tests to make testsEddie Hung2019-02-191-0/+1
|/
* Update Verific default pathClifford Wolf2019-01-041-1/+1
* Merge pull request #704 from webhat/feature/fix-awkClifford Wolf2018-12-161-2/+3
|\
| * Using awk rather than gawkDaniƫl W. Crompton2018-11-191-2/+3
* | Verific updatesClifford Wolf2018-12-061-1/+1
* | opt_lut: new pass, to combine LUTs for tighter packing.whitequark2018-12-051-1/+2
|/
* Update ABC to git rev 2ddc57dClifford Wolf2018-11-131-1/+1
* Update ABC to git rev 68da3cfClifford Wolf2018-11-111-1/+1
* Merge pull request #696 from arjenroodselaar/verific_darwinClifford Wolf2018-11-091-0/+4
|\
| * Use appropriate static libraries when building with Verific on MacOSArjen Roodselaar2018-11-071-0/+4
* | Fix "make ystests" to use correct Yosys binaryClifford Wolf2018-11-081-1/+1
|/
* Update ABC rev to 4d56acfClifford Wolf2018-11-061-1/+1
* Basic test for checking correct synthesis of SystemVerilog interfacesRuben Undheim2018-10-181-0/+2
* Update ABC to git rev 14d985aClifford Wolf2018-10-181-1/+1
* Update ABC to git rev c5b48bbClifford Wolf2018-10-171-1/+1
* After release is before releaseClifford Wolf2018-10-161-1/+1
* Yosys 0.8Clifford Wolf2018-10-161-1/+1
* Fix Cygwin build and document needed packagesMiodrag Milanovic2018-09-191-0/+9
* Add "make ystests"Clifford Wolf2018-08-301-0/+8
* Add "make coverage"Clifford Wolf2018-08-271-1/+7
* Add ENABLE_GCOV build optionClifford Wolf2018-08-271-0/+11
* static link flag on main executableMiodrag Milanovic2018-08-251-1/+1
* no -fPIC for any static buildMiodrag Milanovic2018-08-181-3/+1
* respect DISABLE_ABC_THREADS if usedMiodrag Milanovic2018-08-181-2/+5
* Enable propagating ARCHFLAGSMiodrag Milanovic2018-08-181-2/+2
* Added option to disable -fPIC on unsupported platformsMiodrag Milanovic2018-08-181-0/+3
* Added gcc-static for easier cross compilationMiodrag Milanovic2018-08-181-1/+15
* Changes for MXE configuration in order to compileMiodrag Milanovic2018-08-151-4/+4
* Merge pull request #573 from cr1901/msys-64Clifford Wolf2018-08-151-2/+17
|\
| * Add support for 64-bit builds using msys2 environment.William D. Jones2018-06-271-1/+16
| * Use msys2-provided pthreads instead of abc's.William D. Jones2018-06-271-1/+1
* | Upodate ABC to git rev ae6716bClifford Wolf2018-07-221-1/+1
* | Add missing -lz to MXE buildClifford Wolf2018-07-221-1/+1
|/
* Add Protobuf backendSerge Bazanski2018-06-191-0/+5
* Update ABC to git rev 6df1396Clifford Wolf2018-05-301-1/+1
* Force abc to align memory to 8 bytesRobert Ou2018-05-181-1/+1
* Force abc to be linked statically and without threads in emscriptenRobert Ou2018-05-181-0/+5
* Add options to disable abc's usage of pthreads and readlineRobert Ou2018-05-181-0/+10
* Add an option to statically link abc into yosysRobert Ou2018-05-181-4/+18
* Makefile: Make abc always use stdint.hRobert Ou2018-05-181-4/+8
* Use $(OS) in makefile to check for DarwinClifford Wolf2018-05-131-1/+1
* Enable building on FreeBSDJohnny Sorocil2018-05-061-1/+17
* Update ABC to git rev f23ea8eClifford Wolf2018-04-301-1/+1
* Improve Makefile error handling for when abc/ is a hg working copyClifford Wolf2018-04-121-0/+3
* Fix build for new ABC location on github, also update ABC to a2d59beClifford Wolf2018-03-271-6/+6
* Use Verific hier_tree component for elaborationClifford Wolf2018-03-081-1/+1