| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 1 | -2/+2 | |
| | | ||||||
| * | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 3 | -3/+3 | |
| | | ||||||
| * | 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 | 6 | -93/+263 | |
| | | ||||||
| * | 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 | 1 | -0/+4 | |
| | | ||||||
| * | 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 | 2 | -1/+5 | |
| | | ||||||
| * | 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 | 4 | -0/+562 | |
| | | ||||||
| * | 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 | 6 | -0/+1267 | |
| | | ||||||
| * | 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 | |
| | | ||||||
| * | Fixing a problem with printing out factored forms. | Alan Mishchenko | 2012-07-30 | 1 | -12/+12 | |
| | | ||||||
| * | Fixed compiler warnings. | Alan Mishchenko | 2012-07-29 | 2 | -4/+4 | |
| | | ||||||
| * | Reducing memory usage in proof-based abstraction. | Alan Mishchenko | 2012-07-29 | 7 | -85/+524 | |
| | | ||||||
| * | Scalable gate-level abstraction. | Alan Mishchenko | 2012-07-29 | 4 | -330/+221 | |
| | | ||||||
| * | Adding memory reporting to vectors. | Alan Mishchenko | 2012-07-29 | 7 | -118/+120 | |
| | | ||||||
 |
index : iCE40/abc | |
| clone of https://github.com/YosysHQ/abc |
| summaryrefslogtreecommitdiffstats |