Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Silencing some of the gcc warnings. | Alan Mishchenko | 2012-02-16 | 15 | -27/+22 |
| | |||||
* | Silencing some of the gcc warnings. | Alan Mishchenko | 2012-02-16 | 6 | -18/+11 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-16 | 2 | -11/+41 |
| | |||||
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-15 | 4 | -86/+838 |
| | |||||
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-14 | 1 | -0/+600 |
| | |||||
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-14 | 1 | -0/+1 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-13 | 1 | -4/+15 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-13 | 1 | -0/+1 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-13 | 1 | -4/+2 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-12 | 2 | -9/+13 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-11 | 1 | -1/+3 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-11 | 2 | -7/+7 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-11 | 2 | -4/+22 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-11 | 1 | -5/+5 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-11 | 2 | -43/+101 |
| | |||||
* | Graph isomorphism checking code. | Alan Mishchenko | 2012-01-29 | 1 | -2/+12 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-28 | 2 | -7/+8 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-28 | 1 | -2/+7 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-28 | 1 | -3/+2 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-27 | 1 | -1/+1 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-27 | 1 | -92/+68 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-24 | 1 | -2/+3 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-24 | 1 | -42/+250 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-23 | 2 | -7/+18 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-21 | 2 | -170/+247 |
| | |||||
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 42 | -508/+453 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-20 | 3 | -26/+50 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-20 | 3 | -178/+227 |
| | |||||
* | New hierarchy manager. | Alan Mishchenko | 2012-01-17 | 1 | -2/+2 |
| | |||||
* | Added notification about exceeding the number of nodes. | Alan Mishchenko | 2012-01-17 | 1 | -0/+2 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-16 | 1 | -211/+159 |
| | |||||
* | Removing additional printout in the GIA package. | Alan Mishchenko | 2012-01-16 | 1 | -15/+5 |
| | |||||
* | New hierarchy manager plus additional printout in the GIA package. | Alan Mishchenko | 2012-01-16 | 3 | -2/+18 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-16 | 2 | -130/+154 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-15 | 5 | -163/+508 |
| | |||||
* | New hierarchy manager. | Alan Mishchenko | 2012-01-14 | 1 | -1/+1 |
| | |||||
* | Support computation experiments with different network data-structures. | Alan Mishchenko | 2012-01-14 | 1 | -0/+40 |
| | |||||
* | Added counting hits and misses during structural hashing. | Alan Mishchenko | 2012-01-13 | 3 | -1/+8 |
| | |||||
* | Gate level abstraction. | Alan Mishchenko | 2012-01-11 | 1 | -109/+627 |
| | |||||
* | Gate level abstraction. | Alan Mishchenko | 2012-01-08 | 1 | -56/+299 |
| | |||||
* | Backward reachability using circuit cofactoring. | Alan Mishchenko | 2012-01-08 | 1 | -5/+31 |
| | |||||
* | Backward reachability using circuit cofactoring. | Alan Mishchenko | 2012-01-07 | 1 | -9/+13 |
| | |||||
* | Backward reachability using circuit cofactoring. | Alan Mishchenko | 2012-01-07 | 1 | -13/+12 |
| | |||||
* | Gate level abstraction. | Alan Mishchenko | 2012-01-07 | 1 | -238/+78 |
| | |||||
* | Bug fix related to not properly resizing SAT solver's model array. | Alan Mishchenko | 2012-01-06 | 1 | -112/+0 |
| | |||||
* | Backward reachability using circuit cofactoring. | Alan Mishchenko | 2012-01-05 | 3 | -217/+250 |
| | |||||
* | Backward reachability using circuit cofactoring. | Alan Mishchenko | 2012-01-01 | 1 | -0/+442 |
| | |||||
* | Backward reachability using circuit cofactoring. | Alan Mishchenko | 2012-01-01 | 3 | -10/+373 |
| | |||||
* | New variable-time frame abstraction. | Alan Mishchenko | 2011-12-29 | 2 | -0/+517 |
| | |||||
* | Integrated new proof-logging into proof-based gate-level abstraction. | Alan Mishchenko | 2011-12-08 | 2 | -3/+7 |
| |