aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Remove kernel/cost.cc since master has refactored itEddie Hung2019-04-221-1/+0
* Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-221-1/+56
|\
| * Set ENABLE_LIBYOSYS=0 by defaultClifford Wolf2019-04-221-1/+1
| * Set ENABLE_PYOSYS=0 by defaultClifford Wolf2019-04-221-1/+1
| * Merge pull request #905 from christian-krieg/feature/python_bindingsClifford Wolf2019-04-221-2/+57
| |\
| | * Suppress error from the compiler run during libboost-python* detectionBenedikt Tutzer2019-04-071-4/+4
| | * Autodetect Python paths and boost python libraries for different distributionsBenedikt Tutzer2019-04-051-8/+24
| | * Removed link to experimental filesystem libraryBenedikt Tutzer2019-04-041-2/+2
| | * Changed filesystem dependency to boost instead of experimental std libraryBenedikt Tutzer2019-04-041-2/+2
| | * Removed compiler flags that are clang specificBenedikt Tutzer2019-04-031-2/+2
| | * Even less options for the preprocessorBenedikt Tutzer2019-04-031-1/+1
| | * Preprocessing does not need all the flagsBenedikt Tutzer2019-04-031-1/+1
| | * Added cross-platform support for plugin-pathsBenedikt Tutzer2019-04-031-2/+2
| | * Autodetect highest installed python versionBenedikt Tutzer2019-04-031-2/+8
| | * Merge remote-tracking branch 'origin/master' into feature/python_bindingsBenedikt Tutzer2019-03-281-16/+97
| | |\
| | * | Make can now install Python libraries to system pathBenedikt Tutzer2018-12-211-10/+10
| | * | Added python-api to installBenedikt Tutzer2018-12-111-0/+11
| | * | Exposed generator script to make-processBenedikt Tutzer2018-09-191-5/+17
| | * | Python Passes can now be added with the -m option or with the plugin command....Benedikt Tutzer2018-08-161-1/+1
| | * | Added Wrappers for:Benedikt Tutzer2018-08-131-2/+2
| | * | removed unused library and already present compiler flagBenedikt Tutzer2018-08-011-3/+3
| | * | added wrappers for Design, Modules, Cells and WiresBenedikt Tutzer2018-06-251-0/+1
| | * | added ENABLE_PYTHON option in build environmentBenedikt Tutzer2018-06-221-1/+10
* | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-201-1/+1
|\| | |
| * | | Update to ABC 3709744Clifford Wolf2019-04-181-1/+1
* | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-171-1/+1
|\| | |
| * | | Update to ABC d1b6413Clifford Wolf2019-04-171-1/+1
| | |/ | |/|
* | | Merge branch 'master' into xaigEddie Hung2019-04-081-1/+6
|\| |
| * | 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
* | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-02-261-1/+1
|\ \ \ \ | | |/ / | |/| |
| * | | Fix TravisClifford Wolf2019-02-221-1/+1
* | | | Merge branch 'read_aiger' into xaigEddie Hung2019-02-211-0/+1
|\ \ \ \ | | |/ / | |/| |
| * | | Add aiger tests to make testsEddie Hung2019-02-191-0/+1
| |/ /
* / / Refactor kernel/cost.h definition into cost.ccEddie Hung2019-02-081-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
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-14 06:10:17 +0000