summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
Commit message (Expand)AuthorAgeFilesLines
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-161-4/+0
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-161-0/+4
* Isomorphism checking code.Alan Mishchenko2012-02-151-0/+4
* Graph isomorphism checking code.Alan Mishchenko2012-02-111-4/+12
* Graph isomorphism checking code.Alan Mishchenko2012-01-291-0/+8
* Variable timeframe abstraction.Alan Mishchenko2012-01-241-2/+2
* Major restructuring of the code.Alan Mishchenko2012-01-211-674/+610
* Added new name manager and modified hierarchy manager to use it.Alan Mishchenko2012-01-131-0/+8
* New hierarchy manager.Alan Mishchenko2012-01-131-0/+4
* Backward reachability using circuit cofactoring.Alan Mishchenko2012-01-011-0/+4
* New variable-time frame abstraction.Alan Mishchenko2011-12-291-0/+4
* Computing interpolants as truth tables.Alan Mishchenko2011-12-221-0/+12
* Started SAT-based reparameterization.Alan Mishchenko2011-12-131-0/+4
* Added command &read_blif to read hierarchical BLIF directly into the &-space.Alan Mishchenko2011-12-121-0/+4
* Added support for generating a library of real-life truth-tables.Alan Mishchenko2011-12-091-0/+4
* g++ portability changes.Alan Mishchenko2011-12-061-0/+4
* Started proof transformations.Alan Mishchenko2011-12-011-0/+4
* Started experiments with a new solver.Alan Mishchenko2011-11-251-0/+8
* New truth table permutation procedure.Alan Mishchenko2011-10-261-0/+4
* New proof-based abstraction code.Alan Mishchenko2011-10-251-4/+8
* Changes to CNF generation code.Alan Mishchenko2011-10-171-0/+4
* New abstraction code.Alan Mishchenko2011-10-141-0/+4
* Changes to the matching procedure and new abstraction code.Alan Mishchenko2011-09-271-1/+5
* Experiments with SPFD-based decomposition.Alan Mishchenko2011-08-171-0/+4
* Changes to enable CEX minimization.Alan Mishchenko2011-08-011-0/+8
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-4/+0
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-5/+13
* Adding procedures to find the care bits of a counter-example.Alan Mishchenko2011-07-251-0/+4
* Changes to enable smarter simulation.Alan Mishchenko2011-07-201-0/+4
* Other changes to enable new features in the mapper.Alan Mishchenko2011-07-101-0/+4
* Initial changes to enable new features in the mapperAlan Mishchenko2011-07-081-1/+5
* Added new mapping feature.Alan Mishchenko2011-06-201-0/+4
* Added new command 'outdec'.Alan Mishchenko2011-05-191-0/+4
* Improvements to timeout.Alan Mishchenko2011-05-111-0/+4
* Added new options to testcex.Alan Mishchenko2011-04-281-224/+0
* Added switch to control duplication of logic after mapping.Alan Mishchenko2011-04-241-0/+36
* Adding constant correspondence.Alan Mishchenko2011-04-181-3/+3
* Added cex generation for clustered reachability.Alan Mishchenko2011-04-161-0/+4
* Experiments with reachability.Alan Mishchenko2011-04-141-2/+2
* Enabled new BDD-based reachability engine 'reachy'.Alan Mishchenko2011-04-131-0/+60
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-071-8/+16
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-301-8/+20
* Added test package (new files).Alan Mishchenko2011-03-291-0/+8
* Added test package.Alan Mishchenko2011-03-291-0/+8
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-271-11/+43
* Added printing MFFC sizes and deriving TT from SOP.Alan Mishchenko2011-03-181-0/+32
* Added new procedure and other small changes.Alan Mishchenko2011-03-161-3/+27
|\
| * Project file change to add extraBddTime.cAlan Mishchenko2011-02-111-0/+4
* | Several bug fixes and other improvements.Alan Mishchenko2011-03-121-0/+44
* | Mffc-based structural decomposition of the network and bug fixes in reorderin...Alan Mishchenko2011-03-081-0/+8
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-30 23:33:45 +0000