Commit Graph

60 Commits

Author SHA1 Message Date
Alan Mishchenko eee8ceb0fa PO partitioning algorithm. 2013-03-09 12:19:11 -08:00
Alan Mishchenko fe3b2e250b User-controlable SAT sweeper. 2013-02-25 17:49:59 -05:00
Alan Mishchenko 5b80d704a1 Improved abstraction refinement. 2012-08-09 17:53:38 -07:00
Alan Mishchenko cd39fd6b05 Fixing performance bug with old proof-logging (adding clauses multiple times). 2012-07-30 11:05:54 -07:00
Alan Mishchenko 8a2d237f78 Adding memory reporting to vectors. 2012-07-29 12:34:32 -07:00
Alan Mishchenko 73789120c1 Misc changes. 2012-04-20 10:12:29 -07:00
Alan Mishchenko 993c2027d8 Added several new APIs. 2012-03-31 16:33:22 -07:00
Alan Mishchenko 309bcf2dec Logic sharing for multi-input gates. 2012-03-25 01:24:26 -07:00
Alan Mishchenko 92539a91a0 Added one currently unused iterator. 2012-03-21 15:27:47 -07:00
Alan Mishchenko 3f525b0d42 Silenced a gcc warning. 2012-02-24 16:18:38 -08:00
Alan Mishchenko a9980135a0 Isomorphism checking code. 2012-02-14 22:15:49 -08:00
Alan Mishchenko c5067f7d04 Graph isomorphism checking code. 2012-02-11 00:22:05 -08:00
Alan Mishchenko 044149593d Graph isomorphism checking code. 2012-01-30 23:11:38 -08:00
Alan Mishchenko e511b87237 Moving Vec_IntPrint to where it belongs. 2012-01-29 21:22:26 -08:00
Alan Mishchenko 8014f25f6d Major restructuring of the code. 2012-01-21 04:30:10 -08:00
Alan Mishchenko 5161978d05 Started proof transformations. 2011-12-01 01:14:32 -05:00
Alan Mishchenko 1dcdba1bee New proof-based abstraction code (bug fix). 2011-10-27 10:10:10 -07:00
Alan Mishchenko 6f0b87dd5c New abstraction code. 2011-10-15 22:04:05 +03:00
Alan Mishchenko 8f74276edb Initial changes to enable gate-level abstraction. 2011-09-22 09:37:44 -07:00
Alan Mishchenko d5955db960 Added new APIs to integer vector. 2011-07-31 20:20:10 +07:00
Alan Mishchenko 302f41e908 Added procedure to vector package and manager template file. 2011-04-10 12:55:57 -07:00
Alan Mishchenko a28fe0d324 Unsuccessful attempt to improve PDR and a few minor changes. 2011-04-07 13:49:03 -07:00
Alan Mishchenko 6130e39b18 initial commit of public abc 2010-11-01 01:35:04 -07:00
Alan Mishchenko 51a646a355 Version abc90901
committer: Baruch Sterin <baruchs@gmail.com>
2015-06-22 23:05:13 -07:00
Alan Mishchenko 32314347ba Version abc90310 2009-03-10 08:01:00 -07:00
Alan Mishchenko 0871bffae3 Version abc90215 2009-02-15 08:01:00 -08:00
Alan Mishchenko e917dda1d3 Version abc81013 2008-10-13 08:01:00 -07:00
Alan Mishchenko 91effd8148 Version abc80922 2008-09-22 08:01:00 -07:00
Alan Mishchenko 2c96c8af36 Version abc80721 2008-07-21 08:01:00 -07:00
Alan Mishchenko 303baf27cf Version abc80702 2008-07-02 08:01:00 -07:00
Alan Mishchenko 0c6505a26a Version abc80130_2 2008-01-30 20:01:00 -08:00
Alan Mishchenko 4d30a1e4f1 Version abc80130 2008-01-30 08:01:00 -08:00
Alan Mishchenko 4812c90424 Version abc71001 2007-10-01 08:01:00 -07:00
Alan Mishchenko e54d969161 Version abc70930 2007-09-30 08:01:00 -07:00
Alan Mishchenko 7d7e60f2dc Version abc70926 2007-09-26 08:01:00 -07:00
Alan Mishchenko 9be1b07693 Version abc70906 2007-09-06 08:01:00 -07:00
Alan Mishchenko 054e2cd3a8 Version abc70726 2007-07-26 08:01:00 -07:00
Alan Mishchenko a8db621dc9 Version abc70703 2007-07-03 08:01:00 -07:00
Alan Mishchenko c09d4d499c Version abc70408 2007-04-08 08:01:00 -07:00
Alan Mishchenko 8dfe404863 Version abc70110 2007-01-10 08:01:00 -08:00
Alan Mishchenko 4cf99cae95 Version abc61206 2006-12-06 08:01:00 -08:00
Alan Mishchenko 7b09d2d28a Version abc60823 2006-08-23 08:01:00 -07:00
Alan Mishchenko 6b44b18e69 Version abc60804 2006-08-04 08:01:00 -07:00
Alan Mishchenko 616bb095f1 Version abc60701 2006-07-01 08:01:00 -07:00
Alan Mishchenko 3db1557f45 Version abc60611 2006-06-11 08:01:00 -07:00
Alan Mishchenko 3f4fc5e450 Version abc60407 2006-04-07 08:01:00 -07:00
Alan Mishchenko 0e57e95306 Version abc60303 2006-03-03 08:01:00 -08:00
Alan Mishchenko 8eef7f8326 Version abc60220 2006-02-20 08:01:00 -08:00
Alan Mishchenko 77d7377442 Version abc60211 2006-02-11 08:01:00 -08:00
Alan Mishchenko e3c40ed61e Version abc51126 2005-11-26 08:01:00 -08:00