summaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* Adding a new SAT solver to ABC. (Satoko)Bruno Schmitt2017-02-061-1/+1
| | | | The command is ‘satoko’
* (1) Makefile: added a shared library target, (2) no longer compile the main ↵Baruch Sterin2016-12-221-1/+7
| | | | function as part of libabc.a
* xSAT is an experimental SAT Solver based on Glucose v3(see Glucose ↵Bruno Schmitt2016-12-121-1/+1
| | | | | | | | | | | | | | copyrights below) and ABC C version of MiniSat (bsat) developed by Niklas Sorensson and modified by Alan Mishchenko. It’s development has reached sufficient maturity to be committed in ABC, but still in a beta state. TODO: * Read compressed CNF files. * Study the use of floating point for variables and clauses activity. * Better documentation. * Improve verbose messages. * Expose parameters for tuning.
* 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
| | | | | from V. Callegaro, F. S. Marranghello, M. G. A. Martins, R. P. Ribas and A. I. Reis, entitled "Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysis" presented in ICCD'15.
* Add a new module which implements the fast extract with cube hashing (fxch) ↵Bruno Schmitt2016-05-111-1/+1
| | | | | | algorithm. Removes old partial implementation of this algorithm from the "pla" module.
* 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 ↵Baruch Sterin2015-11-121-3/+5
| | | | the cmake build does not write to the soruce directory
* 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 ↵Baruch Sterin2015-11-051-0/+10
| | | | the Makefile.
* 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 ↵Baruch Sterin2015-10-211-1/+8
| | | | flags and source file. This is a ugly hack, mainly to allow the use of CLion with ABC. Include some changes in the Makefile to support that.
* 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
|
* add an option to the pyabc packaging scriptsBaruch Sterin2014-06-101-1/+3
|
* Reverting to Makefile with suppressed printouts.Alan Mishchenko2014-06-051-1/+1
|
* merge unfold2Jiang Long2014-06-041-1/+1
|
* Initial new interpolation code.Alan Mishchenko2014-01-281-2/+2
|
* reverting an accidental change to MakefileBaruch Sterin2013-12-111-2/+0
|
* fixes for simple_livnessBaruch Sterin2013-12-071-0/+2
|
* Patching ABC for Yosys.Alan Mishchenko2013-11-271-8/+10
|
* Remove unncessary use of PWD in CPP include option.Aaron Tomb2013-11-061-1/+1
| | | | | | The use of an absolute path can sometimes leads to compile errors using Jenkins on Windows. The form without PWD seems to build correctly on several varieties of each of Linux, OS X, and Windows.
* Allow ARCHFLAGS and OPTFLAGS to be overridden.Aaron Tomb2013-11-061-2/+2
|
* Small changes to compile on Mac.Alan Mishchenko2013-08-151-1/+5
|
* New technology mapper.Alan Mishchenko2013-07-121-1/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 07:54:09 +0000