summaryrefslogtreecommitdiffstats
path: root/src/aig/llb
Commit message (Expand)AuthorAgeFilesLines
* Forgot to update project file.Alan Mishchenko2011-04-151-0/+1
* Further improvements to reachability.Alan Mishchenko2011-04-154-52/+191
* Experiments with reachability.Alan Mishchenko2011-04-144-13/+450
* Minor improvements to reachability.Alan Mishchenko2011-04-131-1/+1
* Enabled new BDD-based reachability engine 'reachy'.Alan Mishchenko2011-04-135-2/+1819
* Fixing timeout in reachability engines.Alan Mishchenko2011-03-175-6/+38
* Fixing bugs in the new procedures added to the library.Alan Mishchenko2011-03-051-0/+5
* Cumulative update to BDD-based reachability, speeding up &reachm and other ch...Alan Mishchenko2011-02-283-124/+277
* Added generation of counter-examples in &reachm.Alan Mishchenko2011-02-274-59/+262
* Improved timeout in the BDD reachability engines.Alan Mishchenko2011-02-137-39/+179
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-132-6/+5
* Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-136-13/+13
* Improved timeout in &reachp.Alan Mishchenko2011-02-084-33/+150
* Improved timeout in &reachm.Alan Mishchenko2011-02-081-20/+81
* Modificationd to CUDD to enable runtime-limit in variable reordering.Alan Mishchenko2011-02-081-0/+4
* Yet another update to the runtime control in BDD operations.Alan Mishchenko2011-02-071-4/+21
* Added handling runtime limit inside And and AndExist.Alan Mishchenko2011-02-073-19/+28
* Added timeout to &reachn.Alan Mishchenko2011-02-046-1505/+114
* Minor changes while improving BDD-based reachability.Alan Mishchenko2011-02-032-45/+82
* Minor changes to hash table and utilSignal.c.Alan Mishchenko2011-02-011-39/+30
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-0124-766/+6108
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-132-2/+2
* initial commit of public abcAlan Mishchenko2010-11-0116-0/+4351