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

19 Commits

Author SHA1 Message Date
Alan Mishchenko c4c401b7a5 Fixing pointer-dependent behavior during BDD variable reordering. 2025-07-13 20:58:34 -07:00
Alan Mishchenko 19c25fd6aa Adding a wrapper around clock() for more accurate time counting in ABC. 2013-05-27 15:09:23 -07:00
Alan Mishchenko 1c33107cbb Updating project settings to have simpler include paths. 2012-07-07 20:14:12 -07:00
Alan Mishchenko 3aab724573 Fixing time primtouts throughout the code. 2012-07-07 17:46:54 -07:00
Alan Mishchenko 8014f25f6d Major restructuring of the code. 2012-01-21 04:30:10 -08:00
Alan Mishchenko 68baf03809 Another attempt to make CUDD platform- and runtime-independent. 2011-12-06 18:58:41 -08:00
Alan Mishchenko 780321cf54 Another attempt to make CUDD platform- and runtime-independent. 2011-12-06 17:48:31 -08:00
Alan Mishchenko 868a1b9aeb Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. 2011-10-31 14:59:47 -05:00
Alan Mishchenko a7e214bb01 Improved timeout in the BDD reachability engines. 2011-02-13 20:50:29 -08:00
Alan Mishchenko e7b544f111 Upgrade to the latest CUDD 2.4.2. 2011-02-13 13:42:25 -08:00
Alan Mishchenko 59d7455cf1 Minor changes while improving BDD-based reachability. 2011-02-03 13:05:01 -08:00
Alan Mishchenko d4291dab37 Cumulative changes of the last two weeks. 2011-02-01 15:47:55 -08: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 8eef7f8326 Version abc60220 2006-02-20 08:01:00 -08:00
Alan Mishchenko 888e5bed5d Version abc50729 2005-07-29 08:01:00 -07:00