summaryrefslogtreecommitdiffstats
path: root/src/misc/vec/vecInt.h
Commit message (Expand)AuthorAgeFilesLines
* New MFS package.Alan Mishchenko2013-05-121-0/+6
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-051-0/+4
* New fast extract.Alan Mishchenko2013-05-051-1/+98
* Compiler warnings.Alan Mishchenko2013-05-031-1/+0
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-0/+19
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-0/+20
* New fast extract.Alan Mishchenko2013-04-271-0/+18
* PO partitioning algorithm.Alan Mishchenko2013-03-091-12/+10
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-0/+5
* Improved abstraction refinement.Alan Mishchenko2012-08-091-4/+6
* Fixing performance bug with old proof-logging (adding clauses multiple times).Alan Mishchenko2012-07-301-0/+22
* Adding memory reporting to vectors.Alan Mishchenko2012-07-291-0/+16
* Misc changes.Alan Mishchenko2012-04-201-13/+1
* Added several new APIs.Alan Mishchenko2012-03-311-0/+18
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-251-0/+32
* Added one currently unused iterator.Alan Mishchenko2012-03-211-3/+5
* Silenced a gcc warning.Alan Mishchenko2012-02-241-3/+3
* Isomorphism checking code.Alan Mishchenko2012-02-141-1/+82
* Graph isomorphism checking code.Alan Mishchenko2012-02-111-0/+20
* Graph isomorphism checking code.Alan Mishchenko2012-01-301-0/+2
* Moving Vec_IntPrint to where it belongs.Alan Mishchenko2012-01-291-0/+20
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
* Started proof transformations.Alan Mishchenko2011-12-011-0/+16
* New proof-based abstraction code (bug fix).Alan Mishchenko2011-10-271-1/+1
* New abstraction code.Alan Mishchenko2011-10-151-0/+30
* Initial changes to enable gate-level abstraction.Alan Mishchenko2011-09-221-2/+2
* Added new APIs to integer vector.Alan Mishchenko2011-07-311-0/+40
* Added procedure to vector package and manager template file.Alan Mishchenko2011-04-101-0/+2
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-071-0/+26
* initial commit of public abcAlan Mishchenko2010-11-011-10/+166
* Version abc90901Alan Mishchenko2015-06-221-0/+38
* Version abc90310Alan Mishchenko2009-03-101-4/+25
* Version abc90215Alan Mishchenko2009-02-151-11/+13
* Version abc81013Alan Mishchenko2008-10-131-10/+28
* Version abc80922Alan Mishchenko2008-09-221-0/+19
* Version abc80721Alan Mishchenko2008-07-211-0/+46
* Version abc80702Alan Mishchenko2008-07-021-3/+3
* Version abc80130_2Alan Mishchenko2008-01-301-7/+216
* Version abc80130Alan Mishchenko2008-01-301-216/+7
* Version abc71001Alan Mishchenko2007-10-011-0/+834
* Version abc70930Alan Mishchenko2007-09-301-834/+0
* Version abc70926Alan Mishchenko2007-09-261-0/+22
* Version abc70906Alan Mishchenko2007-09-061-40/+0
* Version abc70726Alan Mishchenko2007-07-261-22/+33
* Version abc70703Alan Mishchenko2007-07-031-1/+1
* Version abc70408Alan Mishchenko2007-04-081-0/+58
* Version abc70110Alan Mishchenko2007-01-101-0/+1
* Version abc61206Alan Mishchenko2006-12-061-0/+3
* Version abc60823Alan Mishchenko2006-08-231-4/+8
* Version abc60804Alan Mishchenko2006-08-041-0/+22