Commit Graph

39 Commits

Author SHA1 Message Date
Alan Mishchenko d54cbda229 Multi-output gate mapper. 2026-05-10 09:52:16 -07:00
Alan Mishchenko 5cdded372a Command %ufar. 2025-12-24 19:06:29 -08:00
Alan Mishchenko 33fb7a809d Experiments with word-level data structures. 2022-02-16 21:23:21 -08:00
Alan Mishchenko a363256098 Removing unused command. 2021-09-21 10:08:04 -07:00
Alan Mishchenko b3d3f7dd3a Duplicating Glucose package. 2020-11-12 23:57:46 -08:00
Alan Mishchenko d1f10f323c Adding commands to generate data for experiments. 2020-02-22 07:25:11 -08:00
Alan Mishchenko a49dfbcf91 Portability changes for gcc-6 suggested by Clifford. 2017-12-03 08:08:36 -08:00
Alan Mishchenko 46175d0429 Portability changes for gcc-6 suggested by Clifford. 2017-12-02 19:47:24 -08:00
Alan Mishchenko 3cc4080c55 Portability changes for gcc-6 suggested by Clifford. 2017-12-02 19:44:08 -08:00
Alan Mishchenko 9e46ebe3f8 Adding Glucose 3.0 as a separate package. 2017-09-06 16:28:00 -07:00
Alan Mishchenko 477ecc172f Renaming Cba into Bac. 2015-07-21 17:42:49 -07:00
Alan Mishchenko c602cbe338 Scalable SOP manipulation package. 2015-03-18 19:39:22 +07:00
Alan Mishchenko 24f1ca0703 New parser and framework. 2014-11-29 14:36:26 -08:00
Alan Mishchenko c556baa92e Changes to enable building external code. 2014-10-28 21:13:59 -07:00
Baruch Sterin 392390d23e make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd() 2014-10-22 15:50:06 -07:00
Alan Mishchenko dcb7d0d3fc New word-level representation package. 2014-09-12 13:40:48 -07:00
Alan Mishchenko 6ea3a35b03 Upgrading 'mfs2' to consider some nodes as having no level. 2013-10-09 22:30:38 -07:00
Alan Mishchenko 7d56aabab6 Upgrading 'mfs2' to consider some nodes as having no level. 2013-10-09 22:30:03 -07:00
Alan Mishchenko 7ea3cdffb4 Limiting runtime limit checks in 'pdr'. 2013-06-22 11:56:34 -07:00
Alan Mishchenko 9eaa290b1f Limiting runtime limit checks in 'pdr'. 2013-06-22 11:54:58 -07:00
Alan Mishchenko 1a6354c22f Improvements to the hierarchy/timing manager. 2013-03-05 17:01:41 -08:00
Alan Mishchenko dcc8907161 Improvements to the hierarchy/timing manager. 2013-03-05 16:53:18 -08:00
Alan Mishchenko 5eedc74a15 Adding box library. 2012-12-10 00:59:54 -08:00
Alan Mishchenko 13bd7b334c New package to read/write a subset of Liberty for STA. 2012-08-24 21:31:46 -07:00
Alan Mishchenko 1c33107cbb Updating project settings to have simpler include paths. 2012-07-07 20:14:12 -07:00
Alan Mishchenko 959ac60956 Misc changes. 2012-05-01 08:04:31 +08:00
Alan Mishchenko a4baba2c83 Misc changes. 2012-04-27 16:26:41 +07:00
Alan Mishchenko c3d3ccf349 Better interface with the new code. 2012-04-06 22:03:00 -07:00
Alan Mishchenko aeedc6ace5 Exploration of ISO and minor changes. 2012-03-13 16:12:16 -07:00
Alan Mishchenko 8014f25f6d Major restructuring of the code. 2012-01-21 04:30:10 -08:00
Alan Mishchenko 2b336851a2 Added test package. 2011-03-29 13:04:21 -07:00
Alan Mishchenko 6130e39b18 initial commit of public abc 2010-11-01 01:35:04 -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 e2619aa120 Version abc51012 2005-10-12 08:01:00 -07:00
Alan Mishchenko 2d782f7bc9 Version abc50915 2005-09-15 08:01:00 -07:00
Alan Mishchenko 888e5bed5d Version abc50729 2005-07-29 08:01:00 -07:00