summaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Makefile: support ccache for compiling ABC.Baruch Sterin2020-11-191-3/+3
* Duplicating Glucose package.Alan Mishchenko2020-11-121-1/+1
* Allow changing the `ar` binary.whitequark2020-04-301-2/+3
* Experiments with word-level retiming.Alan Mishchenko2018-09-301-1/+1
* Changing makefile to suppress warnings with GCC 5+Alan Mishchenko2018-06-081-1/+6
* Makefile: add support for ABC_USE_STDINT_HBaruch Sterin2018-03-301-1/+7
* Suggested fix to compile on FreeBSD.Alan Mishchenko2018-02-051-2/+11
* Patch by Larry Doolittle to allow out-of-source builds of ABC.Baruch Sterin2017-10-201-6/+7
* Changes and fixed suggested by Clifford Wolf.Alan Mishchenko2017-09-151-0/+4
* Adding Glucose 3.0 as a separate package.Alan Mishchenko2017-09-061-1/+1
* Experiments with new network data-structure.Alan Mishchenko2017-03-191-1/+1
* Adding a new SAT solver to ABC. (Satoko)Bruno Schmitt2017-02-061-1/+1
* (1) Makefile: added a shared library target, (2) no longer compile the main f...Baruch Sterin2016-12-221-1/+7
* xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights...Bruno Schmitt2016-12-121-1/+1
* New SAT-based optimization package.Alan Mishchenko2016-11-171-1/+1
* Disjoint-support decomposition with cofactoring and boolean difference analysisVinicius Callegaro2016-11-081-1/+1
* Add a new module which implements the fast extract with cube hashing (fxch) a...Bruno Schmitt2016-05-111-1/+1
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-1/+1
* Typo in Makefile.Alan Mishchenko2016-04-121-1/+1
* Updates to Exorcism packageAlan Mishchenko2016-04-111-1/+1
* Updates to Exorcism packageAlan Mishchenko2016-04-111-1/+1
* CMake, Makefile: pass the location of arch_flags to the makefile, this way th...Baruch Sterin2015-11-121-3/+5
* CMakeLists.txt, Makefile: fix a bug in passing the readline optionsBaruch Sterin2015-11-071-7/+0
* pyabc: remove python integration from abc, it is moved to a separate extensionBaruch Sterin2015-11-051-2/+1
* CMakeLists.txt, Makefile: pass readline flags from the CMake lists file to th...Baruch Sterin2015-11-051-0/+10
* CMakeLists.txt: pass CXX flags from the MakefileBaruch Sterin2015-11-051-0/+1
* Restoring Aaron Hurst's "fretime" commandBaruch Sterin2015-10-281-1/+1
* Makefile: Add a CMakeLists.txt that uses the regular Makefile to compute flag...Baruch Sterin2015-10-211-1/+8
* Makefile: (1) split CFLAGS into OPTFLAGS, INCLUDES, and CFLAGSBaruch Sterin2015-10-211-7/+9
* Makefile: fix a typo in -fPIC flagBaruch Sterin2015-10-211-1/+1
* Makefile: add ABC_MAKE_VERBOSE flag to print the acutall commands executed.Baruch Sterin2015-10-161-13/+27
* Makefile: make namespaces/readline/threads/cudd options easier to useBaruch Sterin2015-10-161-18/+35
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-5/+4
* Renaming Cba into Bac.Alan Mishchenko2015-07-211-1/+1
* Bug fix for big-endiang architectures (plus adding -lm in Makefile).Alan Mishchenko2015-04-041-1/+1
* Scalable SOP manipulation package.Alan Mishchenko2015-03-181-2/+2
* Change to Makefile to speedup compilation.Alan Mishchenko2015-02-051-1/+3
* Change to Makefile to speedup compilation.Alan Mishchenko2015-02-051-1/+1
* Fixing reported memory alignment issue.Alan Mishchenko2015-01-271-1/+4
* New parser and framework.Alan Mishchenko2014-11-291-1/+1
* Changing LIBS in Makefie.Alan Mishchenko2014-11-031-1/+1
* Changes to enable building external code.Alan Mishchenko2014-10-281-1/+1
* Changes to enable building external code.Alan Mishchenko2014-10-271-1/+1
* Disabling MiniSAT 2.2 for now.Alan Mishchenko2014-10-211-1/+1
* Compiler problems.Alan Mishchenko2014-10-211-1/+2
* Adding code of MiniSAT 2.2.Alan Mishchenko2014-10-211-1/+9
* New word-level representation package.Alan Mishchenko2014-09-121-1/+1
* Adding message prefix.Alan Mishchenko2014-07-241-8/+9
* undo an accidental change to the MakefileBaruch Sterin2014-06-101-3/+1