summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcCascade.c
Commit message (Collapse)AuthorAgeFilesLines
* Adding switch 'clp -o' to reverse initial variable ordering.Alan Mishchenko2018-06-071-1/+1
|
* 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-0/+11
|
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-291-2/+2
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-3/+3
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-6/+7
|
* C++ compilation fixes.Alan Mishchenko2011-03-271-1/+1
|
* Exploration of Sasao's decomposition and minor improvements.Alan Mishchenko2011-03-111-21/+783
|
* Mffc-based structural decomposition of the network and bug fixes in ↵Alan Mishchenko2011-03-081-3/+7
| | | | reordering package.
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-031-2/+2
|
* initial commit of public abcAlan Mishchenko2010-11-011-0/+284