summaryrefslogtreecommitdiffstats
path: root/src/opt/sim
Commit message (Expand)AuthorAgeFilesLines
* Bug fix in 'print_supp' (induced bugs in 'bm' and 'bm2').Alan Mishchenko2015-04-241-7/+7
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-276-47/+47
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-1/+0
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-0710-12/+12
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-076-21/+26
* Major restructuring of the code.Alan Mishchenko2012-01-2111-25/+15
* Removed useless typecasts related to changes in Vec_VecEntry().Alan Mishchenko2011-08-013-5/+5
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-0310-0/+10
* initial commit of public abcAlan Mishchenko2010-11-0111-85/+139
* Version abc90215Alan Mishchenko2009-02-155-35/+35
* Version abc90118Alan Mishchenko2009-01-181-1/+1
* Version abc80702Alan Mishchenko2008-07-023-7/+7
* Version abc80130_2Alan Mishchenko2008-01-3012-71/+454
* Version abc80130Alan Mishchenko2008-01-3012-454/+71
* Version abc71001Alan Mishchenko2007-10-0112-0/+3167
* Version abc70930Alan Mishchenko2007-09-3012-3167/+0
* Version abc70110Alan Mishchenko2007-01-102-3/+3
* Version abc60822Alan Mishchenko2006-08-225-16/+11
* Version abc60611Alan Mishchenko2006-06-111-2/+2
* Version abc60303Alan Mishchenko2006-03-031-2/+10
* Version abc51114Alan Mishchenko2005-11-144-23/+25
* Version abc51012Alan Mishchenko2005-10-1211-11/+11
* Version abc51010Alan Mishchenko2005-10-103-0/+48
* Version abc51009Alan Mishchenko2005-10-091-0/+1
* Version abc51007Alan Mishchenko2005-10-076-10/+344
* Version abc51005Alan Mishchenko2005-10-052-2/+2
* Version abc51001Alan Mishchenko2005-10-011-4/+0
* Version abc50908Alan Mishchenko2005-09-082-4/+3
* Version abc50905Alan Mishchenko2005-09-059-237/+403
* Version abc50904Alan Mishchenko2005-09-0411-0/+2618