| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Removing unauthorized printout in 'pdr'. | Alan Mishchenko | 2014-11-09 | 2 | -2/+8 |
| | | |||||
| * | Removing unauthorized printout in 'pdr'. | Alan Mishchenko | 2014-11-09 | 1 | -0/+1 |
| | | |||||
| * | Detecting full-adder chains and putting them into white boxes. | Alan Mishchenko | 2014-11-09 | 1 | -4/+11 |
| | | |||||
| * | Detecting full-adder chains and putting them into white boxes. | Alan Mishchenko | 2014-11-09 | 5 | -94/+590 |
| | | |||||
| * | Full adder detection code. | Alan Mishchenko | 2014-11-08 | 1 | -0/+300 |
| | | |||||
| * | Added minor API to clean path on a Windows computer. | Alan Mishchenko | 2014-11-05 | 2 | -2/+24 |
| | | |||||
| * | Experimental implementation of BMC-related procedures. | Alan Mishchenko | 2014-11-05 | 1 | -7/+31 |
| | | |||||
| * | Experimental implementation of BMC-related procedures. | Alan Mishchenko | 2014-11-04 | 3 | -0/+426 |
| | | |||||
| * | Compiler warnings. | Alan Mishchenko | 2014-11-03 | 1 | -2/+2 |
| | | |||||
| * | Bug fix in CEX printing. | Alan Mishchenko | 2014-11-03 | 1 | -1/+1 |
| | | |||||
| * | Making public some APIs. | Alan Mishchenko | 2014-11-03 | 3 | -21/+30 |
| | | |||||
| * | Improvements to &fftest (adding computation of fixed parameters). | Alan Mishchenko | 2014-11-02 | 1 | -108/+206 |
| | | |||||
| * | Added switches '-c' and '-n' to 'init'. | Alan Mishchenko | 2014-11-02 | 3 | -13/+113 |
| | | |||||
| * | Commenting out useless macro which causes failure on VS 2012. | Alan Mishchenko | 2014-10-30 | 1 | -6/+6 |
| | | |||||
| * | Compiler warnings. | Alan Mishchenko | 2014-10-28 | 8 | -8/+9 |
| | | |||||
| * | Changes to enable building external code. | Alan Mishchenko | 2014-10-28 | 5 | -89/+2 |
| | | |||||
| * | 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 | 3 | -378/+376 |
| | | |||||
| * | 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 | 1 | -1/+1 |
| | | |||||
| * | 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 | 2 | -1/+3 |
| | | |||||
| * | Adding code of MiniSAT 2.2. | Alan Mishchenko | 2014-10-21 | 28 | -0/+5813 |
| | | |||||
| * | Preparing to work with C++ code. | Alan Mishchenko | 2014-10-21 | 3 | -1/+45 |
| | | |||||
| * | Adding commands backup/restore. | Alan Mishchenko | 2014-10-21 | 3 | -0/+84 |
| | | |||||
| * | 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 |
| | | | |||||
 |
index : iCE40/abc | |
| clone of https://github.com/YosysHQ/abc |
| summaryrefslogtreecommitdiffstats |