luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
882 Commits 27 Branches 57 Tags 58 MiB
Commit Graph

97 Commits

Author SHA1 Message Date
Alan Mishchenko 97a2e6f29e Isomorphism checking code. 2012-02-17 19:04:28 -08:00
Alan Mishchenko ee9f66e2c4 Isomorphism checking code. 2012-02-17 13:19:09 -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 10478a9cbf Variable timeframe abstraction. 2012-01-15 20:47:58 -08:00
Alan Mishchenko 1aeaacc03d Added bit vector. 2012-01-13 19:31:58 -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 efd310af3e Skip NULL entry when freeing vector of vectors. 2011-10-19 14:22:33 +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 c1edeccc60 64-bit portability changes. 2011-09-17 16:24:40 -07:00
Alan Mishchenko 49df91f071 Several bug fixes. 2011-08-02 12:58:37 +07:00
Alan Mishchenko 02b04efe9c Changes and simplifications in Vec_Vec_t data-structure. 2011-08-01 11:56:19 +07:00
Alan Mishchenko d5955db960 Added new APIs to integer vector. 2011-07-31 20:20:10 +07:00
Alan Mishchenko 6e74c46bcf Enabled new BDD-based reachability engine 'reachy'. 2011-04-13 22:41:54 -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 4dcf8cee2d Improvements in Vec_Vec_t. 2011-03-27 11:35:31 -07:00
Alan Mishchenko ffb04d244f Code formatting change 2010-11-29 01:40:49 -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 b288bac6b3 Version abc90807 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:02 -07:00
Alan Mishchenko 0398ced824 Version abc90714 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:53 -07:00
Alan Mishchenko df6fdd1dff Version abc90408 2009-04-08 08:01:00 -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 f936cc0680 Version abc90118 2009-01-18 08:01:00 -08:00
Alan Mishchenko c9ad5880cc Version abc81029 2008-10-29 08:01:00 -07: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 13f52980da Version abc80718 2008-07-18 08:01:00 -07:00
Alan Mishchenko d63a0cbbfd Version abc80717 2008-07-17 08:01:00 -07:00
Alan Mishchenko 303baf27cf Version abc80702 2008-07-02 08:01:00 -07:00
Alan Mishchenko 6da56f1f0f Version abc80516 2008-05-16 08:01:00 -07:00
Alan Mishchenko 320c429bc4 Version abc80301 2008-03-01 08:01:00 -08:00
Alan Mishchenko 5a6924060b Version abc80207 2008-02-07 08:01:00 -08: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 65687f72ae Version abc71208 2007-12-08 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 e8cf8415c5 Version abc70909 2007-09-09 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