Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-20 | 1 | -11/+44 |
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-20 | 4 | -129/+580 |
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-19 | 1 | -9/+12 |
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-19 | 2 | -10/+137 |
* | Added printout of BMC tents in &ps. | Alan Mishchenko | 2012-02-19 | 6 | -14/+27 |
* | Added QuickSort based on 3-way partitioning. | Alan Mishchenko | 2012-02-19 | 1 | -217/+1 |
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-19 | 1 | -55/+201 |
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-18 | 1 | -869/+361 |
* | 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 |