summaryrefslogtreecommitdiffstats
path: root/src/aig/aig
Commit message (Expand)AuthorAgeFilesLines
...
* New hierarchy manager.Alan Mishchenko2012-01-131-1/+22
* Commented out a printout line which cases a warning to be printed.Alan Mishchenko2012-01-131-1/+1
* Computing interpolants as truth tables.Alan Mishchenko2011-12-221-5/+10
* Started SAT-based reparameterization.Alan Mishchenko2011-12-132-0/+398
* Added/renamed useful APIs.Alan Mishchenko2011-12-061-1/+2
* g++ portability changes.Alan Mishchenko2011-12-061-1/+1
* Dump inductive invariant or last interpolant after interpolation.Alan Mishchenko2011-11-122-0/+48
* Changes to read multi-output testcases described using AIGER 1.9.Alan Mishchenko2011-11-062-0/+24
* Changes to CNF generation code.Alan Mishchenko2011-10-171-7/+16
* Sequential cleanup with symbolic/ternary simulation (bug fix).Alan Mishchenko2011-09-081-1/+1
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-243-9/+22
* Enabled saving vector of counter-examples in the ABC framework.Alan Mishchenko2011-08-022-3/+3
* Changing the ordering of arguments in two iterators.Alan Mishchenko2011-08-012-9/+4
* Removed useless typecasts related to changes in Vec_VecEntry().Alan Mishchenko2011-08-013-6/+6
* Added new APIs to the AIG manager.Alan Mishchenko2011-07-311-0/+1
* Changes to enable smarter simulation.Alan Mishchenko2011-07-291-2/+2
* Added random generation of 64-bit numbers.Alan Mishchenko2011-07-272-3/+21
* Added a new demitering feature for dual-output miters.Alan Mishchenko2011-07-022-0/+22
* Enabled new BDD-based reachability engine 'reachy'.Alan Mishchenko2011-04-132-6/+66
* Experiment with bit-packing.Alan Mishchenko2011-04-082-7/+372
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-074-4/+366
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-272-1/+2
* Exploring fanout cofactoring ideas...Alan Mishchenko2011-03-141-4/+136
* Several bug fixes and other improvements.Alan Mishchenko2011-03-121-3/+1
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-0/+1
* Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-131-4/+4
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-014-0/+1052
* Added ternary simulation value storageAlan Mishchenko2010-11-292-0/+2
* initial commit of public abcAlan Mishchenko2010-11-0134-332/+1717
* Version abc90901Alan Mishchenko2015-06-222-0/+2
* Version abc90714Alan Mishchenko2015-06-225-9/+247
* Version abc90424Alan Mishchenko2009-04-242-0/+282
* Version abc90410Alan Mishchenko2009-04-104-22/+16
* Version abc90408Alan Mishchenko2009-04-0810-24/+66
* Version abc90329Alan Mishchenko2009-03-295-4/+15
* Version abc90321Alan Mishchenko2009-03-211-3/+15
* Version abc90220Alan Mishchenko2009-02-201-0/+2
* Version abc90215Alan Mishchenko2009-02-1519-180/+198
* Version abc90118Alan Mishchenko2009-01-189-30/+805
* Version abc81029Alan Mishchenko2008-10-292-0/+22
* Version abc81027Alan Mishchenko2008-10-271-0/+1
* Version abc81014Alan Mishchenko2008-10-143-0/+22
* Version abc81013Alan Mishchenko2008-10-132-0/+82
* Version abc81004Alan Mishchenko2008-10-041-2/+13
* Version abc80927Alan Mishchenko2008-09-272-0/+38
* Version abc80921Alan Mishchenko2008-09-212-0/+28
* Version abc80910Alan Mishchenko2008-09-103-0/+87
* Version abc80909Alan Mishchenko2008-09-092-2/+2
* Version abc80901Alan Mishchenko2008-09-012-0/+22
* Version abc80802_2Alan Mishchenko2008-08-021-11/+0
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 16:08:19 +0000