Commit Graph

28 Commits

Author SHA1 Message Date
Alan Mishchenko f49e8f0fe7 Adding command 'majgen'. 2018-07-04 14:04:08 -07:00
Alan Mishchenko aae37ffd4c Experiments with path enumeration. 2018-06-06 14:17:52 -07:00
Alan Mishchenko 3697bdbe43 Simple BDD package. 2018-05-23 22:46:56 +09:00
Alan Mishchenko 0145b0ca72 Moving BDD-based threshold function detection to the BDD part of the code. 2015-10-16 18:34:06 -07:00
Alan Mishchenko 9ef96ae8a6 Changes to be able to compile ABC without CUDD. 2015-08-24 20:55:07 -07:00
Alan Mishchenko df0f8ad540 Compiler warnings. 2014-10-08 10:54:02 -07:00
Alan Mishchenko 141c1de0a2 Compiler warnings. 2014-10-08 10:52:32 -07:00
Alan Mishchenko e4d5887671 Detection of threshold functions. 2014-10-08 10:41:20 -07:00
Alan Mishchenko 8160721240 Experiment with support minimization. 2014-05-21 22:11:44 +09:00
Alan Mishchenko 857688b95e Exploration of functions. 2014-04-26 19:21:06 -07:00
Alan Mishchenko 375b46a355 Experiments with permutations. 2014-04-21 21:47:34 -07:00
Alan Mishchenko c4a715ed61 Experiments with permutations. 2014-04-20 23:56:48 -07:00
Alan Mishchenko 48db1c3a04 Improvements to the new technology mapper. 2013-09-09 00:15:01 -07:00
Alan Mishchenko 21bb515b3c Added handling runtime limit inside And and AndExist. 2011-02-07 15:58:29 -08:00
Alan Mishchenko de81a1a1fb Version abc80430 2008-04-30 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 50e0d1dea5 Version abc70217 2007-02-17 08:01:00 -08:00
Alan Mishchenko 3f4fc5e450 Version abc60407 2006-04-07 08:01:00 -07: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 d401cfa679 Version abc51005 2005-10-05 08:01:00 -07:00
Alan Mishchenko ab7cb9c6ad Version abc50831 2005-08-31 08:01:00 -07:00
Alan Mishchenko d01b1a0eee Version abc50822 2005-08-22 08:01:00 -07:00
Alan Mishchenko 273ba03041 Version abc50809 2005-08-09 08:01:00 -07:00
Alan Mishchenko 888e5bed5d Version abc50729 2005-07-29 08:01:00 -07:00