Commit Graph

32 Commits

Author SHA1 Message Date
Alan Mishchenko 930369f36f Integration of timing manager. 2013-02-03 18:02:22 +08:00
Alan Mishchenko a2c718fcd7 Technology mapper. 2013-01-08 06:44:48 +08:00
Alan Mishchenko 2575a5d683 Unifification of custom extensions. 2012-12-10 13:56:40 -08:00
Alan Mishchenko be7a4e4259 Isolating BMC code into a separate package. 2012-11-14 13:55:24 -08:00
Alan Mishchenko aeb7f7ea11 Combined old reparametrization command with the new one. 2012-10-02 17:27:36 -07:00
Alan Mishchenko b612db977c Separated truth table computation for GIA manager and added new procedures. 2012-10-02 14:53:56 -07:00
Alan Mishchenko 255f171f63 Improving computation of choices from equivalence classes. 2012-09-23 23:53:12 -07:00
Alan Mishchenko 69bbfa9856 Created new abstraction package from the code that was all over the place. 2012-09-15 23:27:46 -07:00
Alan Mishchenko 19c28cae94 Prepared &gla to try abstracting and proving concurrently. 2012-09-14 10:27:48 -07:00
Alan Mishchenko 002117c0e9 Started CEX minimization procedure. 2012-09-08 14:56:25 -07:00
Alan Mishchenko 548e04192b Updating &gla_refine to perform suffic refinement. 2012-09-07 20:44:12 -07:00
Alan Mishchenko f6b67d7846 Added new command &gla_shrink. 2012-09-04 23:57:58 -07:00
Alan Mishchenko a8e59b2c42 Added generation of values of internal nodes for GIA manager. 2012-08-08 09:43:57 -07:00
Alan Mishchenko b3dd1f82f1 New cut-based refinement. 2012-08-06 21:59:50 -07:00
Alan Mishchenko 8d5fdf6232 Scalable gate-level abstraction. 2012-07-21 14:31:55 -07:00
Alan Mishchenko cfc7fe7d31 Added new refinement manager for &gla and &abs_refine. 2012-07-14 16:39:11 -07:00
Alan Mishchenko 7629fd6aea Added min-cut-based refinement of gate-level abstraction (command &gla_refine). 2012-06-24 18:45:42 -07:00
Alan Mishchenko a9980135a0 Isomorphism checking code. 2012-02-14 22:15:49 -08:00
Alan Mishchenko aec5d33889 Backward reachability using circuit cofactoring. 2012-01-01 15:58:17 +07:00
Alan Mishchenko ed13bd16fd New variable-time frame abstraction. 2011-12-29 10:13:25 +07:00
Alan Mishchenko ae4b51351c Cumulative changes in the last few weeks. 2011-01-13 12:38:59 -08: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 0398ced824 Version abc90714
committer: Baruch Sterin <baruchs@gmail.com>
2015-06-22 23:04:53 -07:00
Alan Mishchenko 70697f868a Version abc90528
committer: Baruch Sterin <baruchs@gmail.com>
2015-06-22 23:04:43 -07:00
Alan Mishchenko e3e2918eb8 Version abc90405 2009-04-05 08:01:00 -07:00
Alan Mishchenko 23fd11037a Version abc90329 2009-03-29 08:01:00 -07:00
Alan Mishchenko d74d35aa42 Version abc90321 2009-03-21 08:01:00 -07:00
Alan Mishchenko 32314347ba Version abc90310 2009-03-10 08:01:00 -07:00
Alan Mishchenko c03f9b516b Version abc90220 2009-02-20 08:01:00 -08:00
Alan Mishchenko 28d4f8696d Version abc90217 2009-02-17 08:01:00 -08:00
Alan Mishchenko 0871bffae3 Version abc90215 2009-02-15 08:01:00 -08:00