| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added purification of UNSAT core in &gla. | Alan Mishchenko | 2012-08-10 | 2 | -7/+49 |
| | | |||||
| * | Improved abstraction refinement. | Alan Mishchenko | 2012-08-09 | 2 | -2/+5 |
| | | |||||
| * | Improved abstraction refinement. | Alan Mishchenko | 2012-08-09 | 4 | -21/+29 |
| | | |||||
| * | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 1 | -1/+2 |
| | | |||||
| * | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 3 | -17/+18 |
| | | |||||
| * | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 3 | -17/+14 |
| | | |||||
| * | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 1 | -2/+2 |
| | | |||||
| * | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 2 | -2/+2 |
| | | |||||
| * | Improved abstraction refinement. | Alan Mishchenko | 2012-08-09 | 4 | -44/+491 |
| | | |||||
| * | New semi-canonical form computation package. | Alan Mishchenko | 2012-08-08 | 1 | -0/+94 |
| | | |||||
| * | New cut-based refinement. | Alan Mishchenko | 2012-08-08 | 1 | -2/+198 |
| | | |||||
| * | Added generation of values of internal nodes for GIA manager. | Alan Mishchenko | 2012-08-08 | 1 | -1/+1 |
| | | |||||
| * | Added generation of values of internal nodes for GIA manager. | Alan Mishchenko | 2012-08-08 | 5 | -93/+259 |
| | | |||||
| * | Fixing an interger overflow problem in constructing the variable interaction ↵ | Alan Mishchenko | 2012-08-08 | 1 | -2/+2 |
| | | | | | matrix. | ||||
| * | New command 'testnpn' to compare semi-canonical forms. | Alan Mishchenko | 2012-08-08 | 6 | -13/+337 |
| | | |||||
| * | New command 'testnpn' to compare semi-canonical forms. | Alan Mishchenko | 2012-08-08 | 2 | -11/+32 |
| | | |||||
| * | New semi-canonical form computation package. | Alan Mishchenko | 2012-08-07 | 1 | -1/+1 |
| | | |||||
| * | New semi-canonical form computation package. | Alan Mishchenko | 2012-08-07 | 2 | -2/+127 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-07 | 1 | -2/+2 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-07 | 1 | -1/+2 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-06 | 1 | -1/+1 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-06 | 1 | -8/+6 |
| | | |||||
| * | New cut-based refinement. | Alan Mishchenko | 2012-08-06 | 3 | -0/+554 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-06 | 2 | -0/+9 |
| | | |||||
| * | Changing the default value '&gla -n' to the opposite. | Alan Mishchenko | 2012-08-06 | 1 | -0/+3 |
| | | |||||
| * | New semi-canonical form computation package. | Alan Mishchenko | 2012-08-06 | 5 | -0/+1247 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-06 | 3 | -2/+15 |
| | | |||||
| * | Changing the default value '&gla -n' to the opposite. | Alan Mishchenko | 2012-08-06 | 1 | -1/+1 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-04 | 1 | -108/+1 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-03 | 3 | -6/+24 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-03 | 1 | -2/+3 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-03 | 4 | -22/+51 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-02 | 4 | -17/+23 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-02 | 3 | -4/+10 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-02 | 1 | -2/+2 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-02 | 3 | -10/+31 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-02 | 1 | -4/+84 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-02 | 2 | -38/+119 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-01 | 1 | -32/+2 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-01 | 2 | -73/+267 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-01 | 1 | -5/+16 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-07-31 | 3 | -23/+21 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-07-31 | 1 | -51/+79 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-07-31 | 2 | -102/+108 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-07-31 | 2 | -23/+62 |
| | | |||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-07-31 | 1 | -51/+160 |
| | | |||||
| * | Saving variable activity during rollback. | Alan Mishchenko | 2012-07-30 | 2 | -0/+7 |
| | | |||||
| * | Saving variable activity during rollback. | Alan Mishchenko | 2012-07-30 | 2 | -1/+10 |
| | | |||||
| * | Disabling learned clause removal when incremental proof-logging is running ↵ | Alan Mishchenko | 2012-07-30 | 3 | -16/+21 |
| | | | | | (tends to generate smaller abstarctions). | ||||
| * | Fixing performance bug with old proof-logging (adding clauses multiple times). | Alan Mishchenko | 2012-07-30 | 3 | -17/+32 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |