Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Silencing some of the gcc warnings. | Alan Mishchenko | 2012-02-16 | 10 | -28/+17 |
| | |||||
* | Changing how BMC report runtime. | Alan Mishchenko | 2012-02-16 | 2 | -2/+6 |
| | |||||
* | 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 | 2 | -1/+2 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-13 | 1 | -4/+2 |
| | |||||
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-12 | 1 | -3/+18 |
| | |||||
* | 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-02-11 | 2 | -27/+46 |
| | |||||
* | Graph isomorphism checking code. | Alan Mishchenko | 2012-02-11 | 10 | -519/+1283 |
| | |||||
* | Bug fix in flop-level abstraction refinement. | Alan Mishchenko | 2012-02-09 | 1 | -1/+2 |
| | |||||
* | Graph isomorphism checking code. | Alan Mishchenko | 2012-02-02 | 1 | -35/+115 |
| | |||||
* | Graph isomorphism checking code. | Alan Mishchenko | 2012-01-30 | 1 | -0/+7 |
| | |||||
* | Graph isomorphism checking code. | Alan Mishchenko | 2012-01-30 | 4 | -10/+203 |
| | |||||
* | Graph isomorphism checking code. | Alan Mishchenko | 2012-01-29 | 3 | -2/+835 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-28 | 2 | -7/+8 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-28 | 1 | -2/+7 |
| | |||||
* | Generation of dual-rail miter. | Alan Mishchenko | 2012-01-28 | 1 | -0/+206 |
| | |||||
* | Generation of dual-rail miter. | Alan Mishchenko | 2012-01-28 | 1 | -1/+1 |
| | |||||
* | Generation of dual-rail miter. | Alan Mishchenko | 2012-01-28 | 2 | -0/+4 |
| | |||||
* | 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 | 2 | -95/+71 |
| | |||||
* | 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 |
| | |||||
* | Bug fix for incorrect memory allocation in main SAT solver, leading to ↵ | Alan Mishchenko | 2012-01-23 | 1 | -2/+2 |
| | | | | crashes in 'dsec' (correction to the previous fix). | ||||
* | Bug fix for incorrect memory allocation in main SAT solver, leading to ↵ | Alan Mishchenko | 2012-01-22 | 1 | -4/+4 |
| | | | | crashes in 'dsec'. | ||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-21 | 2 | -170/+247 |
| | |||||
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 393 | -127365/+873 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-20 | 3 | -26/+50 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-20 | 3 | -178/+227 |
| | |||||
* | Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control ↵ | Alan Mishchenko | 2012-01-19 | 3 | -3/+3 |
| | | | | BMC frames and conflicts. | ||||
* | Added switch 'write_counter -f' to output flop values in each time frame. | Alan Mishchenko | 2012-01-18 | 2 | -0/+53 |
| | |||||
* | Removing debug print-outs from the SAT solver. | Alan Mishchenko | 2012-01-17 | 1 | -2/+2 |
| | |||||
* | New hierarchy manager. | Alan Mishchenko | 2012-01-17 | 1 | -2/+2 |
| | |||||
* | Small bug induced by changes in the SAT solver. | Alan Mishchenko | 2012-01-17 | 1 | -0/+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 |
| |