summaryrefslogtreecommitdiffstats
path: root/src/aig/llb
Commit message (Expand)AuthorAgeFilesLines
* Fixed &reachy to perform reparametrization in case reachability is disabled.Alan Mishchenko2011-11-031-2/+2
* Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.Alan Mishchenko2011-10-314-22/+12
* Fixed minor issues having to do with the number of BDD vars used.Alan Mishchenko2011-09-181-1/+7
* 64-bit portability changes.Alan Mishchenko2011-09-171-1/+1
* Making 'reconcile' ignore the difference in flop count.Alan Mishchenko2011-08-291-1/+5
* Making sure reconcile does not change the PO number.Alan Mishchenko2011-08-203-6/+16
* Changing the ordering of arguments in two iterators.Alan Mishchenko2011-08-014-7/+7
* Fixing mismatch in reconcile.Alan Mishchenko2011-05-131-1/+11
* Improvements to timeout.Alan Mishchenko2011-05-111-10/+13
* Fixing c++ portability issues.Alan Mishchenko2011-04-201-1/+1
* Fixing c++ portability issues.Alan Mishchenko2011-04-204-4/+8
* Improvements to BDD reachability.Alan Mishchenko2011-04-181-0/+588
* Improvements to BDD reachability.Alan Mishchenko2011-04-185-23/+38
* Added command 'reconcile'.Alan Mishchenko2011-04-164-203/+364
* Added cex generation for clustered reachability.Alan Mishchenko2011-04-165-37/+292
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 04:41:52 +0000