summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcIvy.c
Commit message (Collapse)AuthorAgeFilesLines
* Disable cube-sort when deriving SOPs.Alan Mishchenko2021-05-111-2/+2
|
* Dumping BDD variable order after 'clp'.Alan Mishchenko2020-05-181-1/+1
|
* Several recent bug fixes.Alan Mishchenko2018-11-041-0/+1
|
* 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/+5
|
* Propagating changes after updating flag of 'sop'.Alan Mishchenko2015-02-191-2/+2
|
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-2/+2
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-13/+13
|
* Adding several command-line arguments to 'dsat'.Alan Mishchenko2012-07-091-2/+2
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-8/+8
|
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
|
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-7/+8
|
* Started experiments with a new solver.Alan Mishchenko2011-11-251-3/+3
|
* Updated 'iprove' to generate seq CEX when CEC fails.Alan Mishchenko2011-06-251-2/+1
|
* Improvements to CEC command iprove.Alan Mishchenko2011-02-181-2/+20
|
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-1/+1
|
* initial commit of public abcAlan Mishchenko2010-11-011-15/+37
|
* Version abc90804Alan Mishchenko2015-06-221-1/+1
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90329Alan Mishchenko2009-03-291-6/+6
|
* Version abc90215Alan Mishchenko2009-02-151-7/+7
|
* Version abc80702Alan Mishchenko2008-07-021-3/+2
|
* Version abc80130_2Alan Mishchenko2008-01-301-0/+1105
|
* Version abc80130Alan Mishchenko2008-01-301-1105/+0
|
* Version abc71001Alan Mishchenko2007-10-011-0/+1105
|
* Version abc70930Alan Mishchenko2007-09-301-1101/+0
|
* Version abc70428Alan Mishchenko2007-04-281-0/+2
|
* Version abc70328Alan Mishchenko2007-03-281-1/+1
|
* Version abc70219Alan Mishchenko2007-02-191-14/+14
|
* Version abc70216Alan Mishchenko2007-02-161-2/+2
|
* Version abc70202Alan Mishchenko2007-02-021-1/+27
|
* Version abc70123Alan Mishchenko2007-01-231-1/+1
|
* Version abc70115Alan Mishchenko2007-01-151-1/+1
|
* Version abc70110Alan Mishchenko2007-01-101-8/+66
|
* Version abc61122Alan Mishchenko2006-11-221-4/+17
|
* Version abc61111Alan Mishchenko2006-11-111-6/+7
|
* Version abc61102Alan Mishchenko2006-11-021-17/+18
|
* Version abc61007Alan Mishchenko2006-10-071-14/+69
|
* Version abc60920Alan Mishchenko2006-09-201-1/+60
|
* Version abc60916Alan Mishchenko2006-09-161-2/+54
|
* Version abc60909Alan Mishchenko2006-09-091-1/+1
|
* Version abc60824Alan Mishchenko2006-08-241-2/+7
|
* Version abc60822Alan Mishchenko2006-08-221-8/+8
|
* Version abc60820Alan Mishchenko2006-08-201-22/+47
|
* Version abc60812Alan Mishchenko2006-08-121-3/+34
|
* Version abc60804Alan Mishchenko2006-08-041-2/+4
|
* Version abc60803Alan Mishchenko2006-08-031-12/+41
|
* Version abc60723Alan Mishchenko2006-07-231-30/+348
|
* Version abc60701Alan Mishchenko2006-07-011-8/+23
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 05:52:10 +0000