summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
Commit message (Expand)AuthorAgeFilesLines
* Added generation of values of internal nodes for GIA manager.Alan Mishchenko2012-08-081-0/+4
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-081-0/+4
* New semi-canonical form computation package.Alan Mishchenko2012-08-071-0/+4
* New cut-based refinement.Alan Mishchenko2012-08-061-0/+8
* New semi-canonical form computation package.Alan Mishchenko2012-08-061-0/+20
* Started implementing command 'testdec'.Alan Mishchenko2012-07-281-0/+4
* Removed unused files from the project.Alan Mishchenko2012-07-251-28/+0
* Scalable gate-level abstraction.Alan Mishchenko2012-07-211-0/+4
* Updated code for lazy man's synthesis (memory optimization).Alan Mishchenko2012-07-201-0/+4
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-151-0/+4
* Added new refinement manager for &gla and &abs_refine.Alan Mishchenko2012-07-141-0/+8
* Removed useless file.Alan Mishchenko2012-07-121-4/+0
* Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat...Alan Mishchenko2012-07-091-0/+4
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Added min-cut-based refinement of gate-level abstraction (command &gla_refine).Alan Mishchenko2012-06-241-0/+4
* Misc changes.Alan Mishchenko2012-04-221-0/+4
* Moving Vec_Set_t to the vector directory.Alan Mishchenko2012-03-281-4/+4
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-251-4/+0
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-251-0/+4
* Exploration of ISO and minor changes.Alan Mishchenko2012-03-131-0/+4
* Created a communication bridge.Alan Mishchenko2012-03-011-0/+4
* Experiment with technology mapping.Alan Mishchenko2012-02-201-0/+4
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 16:07:30 +0000