| 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 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |