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

80 Commits

Author SHA1 Message Date
Baruch Sterin 77ca1b7470 C++ compatibility: fix bad pointer comparison 2017-11-23 23:32:42 -08:00
Alan Mishchenko 343f77a395 Valgrind-ispired fix in CUDD by Kai-hui Chang. 2017-10-03 19:14:27 +03:00
Alan Mishchenko 2e56f44c66 Compiler warnings. 2017-07-22 11:41:17 +07:00
Alan Mishchenko 1faab72a6c Experiments with support minimization. 2017-04-27 22:08:17 -07:00
Alan Mishchenko 378af9d94f Experiment with graph constuction using ZDDs. 2017-02-17 14:09:58 -08:00
Alan Mishchenko 61b665ac8d Experiment with graph constuction using ZDDs. 2017-02-16 11:38:06 -08:00
Baruch Sterin c0ba25a693 silence clang errors when compiling as C++ 2015-11-05 01:23:31 -08:00
Alan Mishchenko 3bc5f32e50 Typo in src/bdd/extrab/module.make. 2015-10-17 09:22:23 -07:00
Alan Mishchenko 187cbfb6c4 Typo in src/bdd/extrab/module.make. 2015-10-17 09:18:32 -07: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
Baruch Sterin 0e1eb98988 make sure all of ABC and related libraries are in the same namespace (when compiled with ABC_NAMESPACE) by removing extern "C" from function definitions 2015-10-16 14:02:38 -07:00
Alan Mishchenko 24f2a120f2 Changes to be able to compile ABC without CUDD. 2015-08-24 21:09:50 -07:00
Alan Mishchenko 9ef96ae8a6 Changes to be able to compile ABC without CUDD. 2015-08-24 20:55:07 -07:00
Alan Mishchenko 68467cfff7 Fixed a typo in variable names. 2015-02-07 22:29:14 -08:00
Alan Mishchenko 91885a6298 Commenting out useless macro which causes failure on VS 2012. 2014-10-30 10:19:54 -07:00
Alan Mishchenko 70cb236144 Compiler problem with includes. 2014-10-13 16:59:47 -07:00
Alan Mishchenko cbbf78e6f4 Improving print-out of 'dsd -p'. 2014-08-22 22:18:38 -07:00
Alan Mishchenko 2b85ef06e5 Compiler warnings. 2013-10-30 13:45:00 -04: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 6ad94cd988 Making changes suggested by Mark Jarvin. 2013-05-19 21:50:09 -07:00
Alan Mishchenko a1ceb7617c Making changes suggested by Mark Jarvin. 2013-05-05 09:06:53 -07:00
Alan Mishchenko 4637097491 New AIG optimization package. 2012-10-06 15:12:39 -07:00
Alan Mishchenko 71bdfae941 Replacing 'st_table' by 'st__table' to resolve linker problems. 2012-09-29 17:11:03 -04:00
Alan Mishchenko c84f26c9b1 Compiler warnings. 2012-08-29 17:31:14 -07:00
Alan Mishchenko b2b93858ee Compiler warnings. 2012-08-29 17:14:02 -07:00
Alan Mishchenko 8daf610eba Fixing an interger overflow problem in constructing the variable interaction matrix. 2012-08-08 09:29:43 -07:00
Alan Mishchenko 908d5e696c Replacing Mb/Gb to be MB/GB. 2012-07-09 22:57:03 -07:00
Alan Mishchenko 1c33107cbb Updating project settings to have simpler include paths. 2012-07-07 20:14:12 -07:00
Alan Mishchenko 4760983a46 Fixing time primtouts throughout the code. 2012-07-07 18:15:08 -07:00
Alan Mishchenko 3aab724573 Fixing time primtouts throughout the code. 2012-07-07 17:46:54 -07:00
Alan Mishchenko 2d316b86e2 Silencing some of the gcc warnings. 2012-02-17 00:06:39 -08:00
Alan Mishchenko 97856d021a Silencing some of the gcc warnings. 2012-02-16 23:40:23 -08: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 b4a46eb688 Bug fixes in CUDD 2.4.2. 2011-12-06 07:39:55 -08:00
Alan Mishchenko a24e678a79 Bug fixes in CUDD 2.4.2. 2011-12-06 07:32:17 -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 80d161afaa Fixing a bug, which was accidentally introduced a few months while debugging Boolean decomposition 2011-05-02 20:51:46 -07:00
Alan Mishchenko 39ad44638c Improvements to BDD reachability. 2011-04-18 23:27:26 -07:00
Alan Mishchenko 6e74c46bcf Enabled new BDD-based reachability engine 'reachy'. 2011-04-13 22:41:54 -07:00
Alan Mishchenko 6c01e8b9f0 Fixed a number of small bugs and memory leaks. 2011-03-27 14:17:12 -07:00
Alan Mishchenko 35f90a777d Mffc-based structural decomposition of the network and bug fixes in reordering package. 2011-03-08 20:07:52 -08:00
Alan Mishchenko f2945e12f3 Upgrading epd and mtr packages to be compatible with the latest release of CUDD 2.4.2 2011-03-02 19:02:04 -08:00
Alan Mishchenko e3f2dde1c4 Upgrading epd and mtr packages to be compatible with the latest release of CUDD 2.4.2 2011-03-02 18:50:03 -08:00
Alan Mishchenko 5b4ef503bd Fixed Cudd_DumpDot() to not print leading zeros because of OS-dependent fprintf switch %p. 2011-02-16 12:21:58 -08: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 ed253df750 Additional change to enable runtime limit in CUDD in variable reordering. 2011-02-08 12:43:32 -08:00
Alan Mishchenko 7977b2dd5d Modificationd to CUDD to enable runtime-limit in variable reordering. 2011-02-08 11:09:12 -08:00