Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Compiler warnings. | Alan Mishchenko | 2014-10-28 | 8 | -8/+9 | |
| | ||||||
* | Changes to enable building external code. | Alan Mishchenko | 2014-10-28 | 7 | -110/+3 | |
| | ||||||
* | Bug fix in bmc3 -a -x. | Alan Mishchenko | 2014-10-28 | 1 | -1/+1 | |
| | ||||||
* | pyabc: handle a few corner cases | Baruch Sterin | 2014-10-28 | 1 | -2/+8 | |
| | ||||||
* | Bug fix in bmc3 -a -x. | Alan Mishchenko | 2014-10-28 | 1 | -1/+1 | |
| | ||||||
* | Changes to enable building external code. | Alan Mishchenko | 2014-10-27 | 5 | -379/+381 | |
| | ||||||
* | Adding MAJ gate to GIA package. | Alan Mishchenko | 2014-10-26 | 2 | -0/+20 | |
| | ||||||
* | Changing switch -v in 'qbf' and '&qbf' to be non-verbose by default. | Alan Mishchenko | 2014-10-26 | 1 | -2/+2 | |
| | ||||||
* | New command &satenum to enumerate SAT assignments of a miter in a naive way. | Alan Mishchenko | 2014-10-25 | 2 | -0/+128 | |
| | ||||||
* | Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations. | Alan Mishchenko | 2014-10-25 | 3 | -3/+78 | |
| | ||||||
* | Merged in sterin/abc (pull request #9) | Alan Mishchenko | 2014-10-23 | 2 | -0/+45 | |
|\ | | | | | | | make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd() | |||||
| * | make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd() | Baruch Sterin | 2014-10-22 | 2 | -0/+45 | |
| | | ||||||
* | | One bug fix and two small changes. | Alan Mishchenko | 2014-10-22 | 1 | -2/+2 | |
| | | ||||||
* | | One bug fix and two small changes. | Alan Mishchenko | 2014-10-22 | 4 | -7/+27 | |
|/ | ||||||
* | Bug fix in seq synthesis due to resent code restructuring. | Alan Mishchenko | 2014-10-21 | 3 | -8/+8 | |
| | ||||||
* | Disabling MiniSAT 2.2 for now. | Alan Mishchenko | 2014-10-21 | 2 | -2/+2 | |
| | ||||||
* | Compiler problems. | Alan Mishchenko | 2014-10-21 | 2 | -2/+6 | |
| | ||||||
* | Compiler problems. | Alan Mishchenko | 2014-10-21 | 1 | -3/+4 | |
| | ||||||
* | Compiler problems. | Alan Mishchenko | 2014-10-21 | 1 | -4/+7 | |
| | ||||||
* | Compiler problems. | Alan Mishchenko | 2014-10-21 | 3 | -2/+5 | |
| | ||||||
* | Adding code of MiniSAT 2.2. | Alan Mishchenko | 2014-10-21 | 30 | -2/+5822 | |
| | ||||||
* | Preparing to work with C++ code. | Alan Mishchenko | 2014-10-21 | 6 | -6/+61 | |
| | ||||||
* | Adding commands backup/restore. | Alan Mishchenko | 2014-10-21 | 4 | -0/+88 | |
| | ||||||
* | Adding switch &qbf -q to quantify functional variables. | Alan Mishchenko | 2014-10-20 | 1 | -2/+1 | |
| | ||||||
* | Adding switch &qbf -q to quantify functional variables. | Alan Mishchenko | 2014-10-20 | 2 | -3/+61 | |
| | ||||||
* | Improved QBF solver. | Alan Mishchenko | 2014-10-18 | 1 | -19/+94 | |
| | ||||||
* | Improved QBF solver. | Alan Mishchenko | 2014-10-18 | 1 | -10/+25 | |
| | ||||||
* | Improved QBF solver. | Alan Mishchenko | 2014-10-18 | 4 | -2/+436 | |
| | ||||||
* | Bug fix in truth table computation. | Alan Mishchenko | 2014-10-15 | 2 | -11/+15 | |
| | ||||||
* | Compiler problem with includes. | Alan Mishchenko | 2014-10-13 | 1 | -1/+1 | |
| | ||||||
* | MUX decomposition during mapping. | Alan Mishchenko | 2014-10-13 | 1 | -5/+19 | |
| | ||||||
* | MUX decomposition during mapping. | Alan Mishchenko | 2014-10-12 | 2 | -9/+17 | |
| | ||||||
* | MUX decomposition during mapping. | Alan Mishchenko | 2014-10-12 | 1 | -7/+10 | |
| | ||||||
* | Recommended changes for portability. | Alan Mishchenko | 2014-10-12 | 6 | -9/+44 | |
| | ||||||
* | Merged in grigora/abc/grigora/fixed-hang-issue-in-bm-command-1413034154897 ↵ | Alan Mishchenko | 2014-10-11 | 1 | -7/+6 | |
|\ | | | | | | | | | | | (pull request #8) Fix for hang issue in "bm" command. | |||||
| * | Fixed "bm" command hang issue. | grigora | 2014-10-11 | 1 | -7/+6 | |
| | | ||||||
* | | MUX decomposition during mapping. | Alan Mishchenko | 2014-10-11 | 2 | -26/+121 | |
| | | ||||||
* | | Deriving network in terms of programmable cells. | Alan Mishchenko | 2014-10-11 | 2 | -6/+14 | |
|/ | ||||||
* | Improvements to the parser. | Alan Mishchenko | 2014-10-10 | 1 | -7/+86 | |
| | ||||||
* | Naive (SAT-only) CEC option. | Alan Mishchenko | 2014-10-10 | 3 | -2/+116 | |
| | ||||||
* | Bug fix in the bit-blaster. | Alan Mishchenko | 2014-10-10 | 2 | -5/+5 | |
| | ||||||
* | Improvements to ISOP. | Alan Mishchenko | 2014-10-10 | 2 | -5/+7 | |
| | ||||||
* | Improvements to ISOP. | Alan Mishchenko | 2014-10-10 | 4 | -283/+795 | |
| | ||||||
* | Correction to the patch to compile with Visual Studio. | Alan Mishchenko | 2014-10-10 | 1 | -1/+1 | |
| | ||||||
* | Suggested patch for type-punned warnings | Alan Mishchenko | 2014-10-10 | 5 | -12/+35 | |
| | ||||||
* | Small changes. | Alan Mishchenko | 2014-10-08 | 2 | -8/+10 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2014-10-08 | 2 | -2/+2 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2014-10-08 | 1 | -1/+1 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2014-10-08 | 3 | -2/+4 | |
| | ||||||
* | Detection of threshold functions. | Alan Mishchenko | 2014-10-08 | 10 | -65/+548 | |
| |