| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fixing several potential bugs. | Alan Mishchenko | 2019-03-19 | 1 | -1/+1 |
| * | Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,... | Alan Mishchenko | 2019-03-05 | 12 | -20/+20 |
| * | Undoing an old change, which affects BDD variable reordering on some examples... | Alan Mishchenko | 2018-11-10 | 1 | -1/+1 |
| * | Compiler warning. | Alan Mishchenko | 2018-10-12 | 1 | -5/+5 |
| * | Extending extra library with additional ZDD-based procedures. | Alan Mishchenko | 2018-10-12 | 4 | -0/+2048 |
| * | Experiments with Boolean functions. | Alan Mishchenko | 2018-10-02 | 1 | -2/+2 |
| * | Adding procedure to compute tuples of k out of n as a BDD. | Alan Mishchenko | 2018-07-29 | 2 | -0/+161 |
| * | C++ compatibility: fix bad pointer comparison | Baruch Sterin | 2017-11-23 | 1 | -1/+1 |
| * | Valgrind-ispired fix in CUDD by Kai-hui Chang. | Alan Mishchenko | 2017-10-03 | 1 | -0/+1 |
| * | Compiler warnings. | Alan Mishchenko | 2017-07-22 | 1 | -2/+2 |
| * | Experiments with support minimization. | Alan Mishchenko | 2017-04-27 | 1 | -16/+16 |
| * | Experiment with graph constuction using ZDDs. | Alan Mishchenko | 2017-02-17 | 1 | -0/+203 |
| * | Experiment with graph constuction using ZDDs. | Alan Mishchenko | 2017-02-16 | 1 | -0/+46 |
| * | silence clang errors when compiling as C++ | Baruch Sterin | 2015-11-05 | 1 | -4/+4 |
| * | Typo in src/bdd/extrab/module.make. | Alan Mishchenko | 2015-10-17 | 1 | -1/+1 |
| * | Typo in src/bdd/extrab/module.make. | Alan Mishchenko | 2015-10-17 | 1 | -1/+1 |
| * | Moving BDD-based threshold function detection to the BDD part of the code. | Alan Mishchenko | 2015-10-16 | 2 | -0/+694 |
| * | make sure all of ABC and related libraries are in the same namespace (when co... | Baruch Sterin | 2015-10-16 | 12 | -102/+0 |
| * | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 51 | -1286/+25398 |
| * | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 4 | -4/+4 |
| * | Fixed a typo in variable names. | Alan Mishchenko | 2015-02-07 | 2 | -19/+19 |
| * | Commenting out useless macro which causes failure on VS 2012. | Alan Mishchenko | 2014-10-30 | 1 | -6/+6 |
| * | Compiler problem with includes. | Alan Mishchenko | 2014-10-13 | 1 | -1/+1 |
| * | Improving print-out of 'dsd -p'. | Alan Mishchenko | 2014-08-22 | 2 | -0/+115 |
| * | Compiler warnings. | Alan Mishchenko | 2013-10-30 | 1 | -1/+0 |
| * | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 11 | -56/+56 |
| * | Making changes suggested by Mark Jarvin. | Alan Mishchenko | 2013-05-19 | 2 | -5/+10 |
| * | Making changes suggested by Mark Jarvin. | Alan Mishchenko | 2013-05-05 | 2 | -2/+2 |
| * | New AIG optimization package. | Alan Mishchenko | 2012-10-06 | 1 | -0/+1 |
| * | Replacing 'st_table' by 'st__table' to resolve linker problems. | Alan Mishchenko | 2012-09-29 | 27 | -742/+742 |
| * | Compiler warnings. | Alan Mishchenko | 2012-08-29 | 1 | -1/+1 |
| * | Compiler warnings. | Alan Mishchenko | 2012-08-29 | 3 | -3/+3 |
| * | Fixing an interger overflow problem in constructing the variable interaction ... | Alan Mishchenko | 2012-08-08 | 1 | -2/+2 |
| * | Replacing Mb/Gb to be MB/GB. | Alan Mishchenko | 2012-07-09 | 1 | -1/+1 |
| * | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 72 | -78/+78 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 11 | -17/+16 |
| * | Silencing some of the gcc warnings. | Alan Mishchenko | 2012-02-17 | 1 | -1/+1 |
| * | Silencing some of the gcc warnings. | Alan Mishchenko | 2012-02-16 | 16 | -24/+24 |
| * | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 79 | -105/+104 |
| * | Another attempt to make CUDD platform- and runtime-independent. | Alan Mishchenko | 2011-12-06 | 5 | -6/+6 |
| * | Another attempt to make CUDD platform- and runtime-independent. | Alan Mishchenko | 2011-12-06 | 18 | -91/+171 |
| * | Bug fixes in CUDD 2.4.2. | Alan Mishchenko | 2011-12-06 | 1 | -2/+2 |
| * | Bug fixes in CUDD 2.4.2. | Alan Mishchenko | 2011-12-06 | 2 | -4/+6 |
| * | Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. | Alan Mishchenko | 2011-10-31 | 5 | -6/+6 |
| * | Fixing a bug, which was accidentally introduced a few months while debugging ... | Alan Mishchenko | 2011-05-02 | 1 | -2/+2 |
| * | Improvements to BDD reachability. | Alan Mishchenko | 2011-04-18 | 1 | -1/+1 |
| * | Enabled new BDD-based reachability engine 'reachy'. | Alan Mishchenko | 2011-04-13 | 1 | -0/+3 |
| * | Fixed a number of small bugs and memory leaks. | Alan Mishchenko | 2011-03-27 | 2 | -1/+7 |
| * | Mffc-based structural decomposition of the network and bug fixes in reorderin... | Alan Mishchenko | 2011-03-08 | 3 | -6/+7 |
