ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change
on this file since 9617533 was
9853d9b0,
checked in by Peter A. Buhr <pabuhr@…>, 5 years ago
|
missed a case for inclusive bound to singleton comparison, and added tests
|
-
Property mode set to
100644
|
File size:
1.6 KB
|
Rev | Line | |
---|
[8f34661] | 1 | empty |
---|
| 2 | empty |
---|
| 3 | empty |
---|
[0982a05] | 4 | |
---|
[b6ad601] | 5 | zero |
---|
[0982a05] | 6 | A |
---|
[d69f4bb4] | 7 | A A A A A A A A A A |
---|
[9853d9b0] | 8 | A A A A A A A A A A A |
---|
[d69f4bb4] | 9 | B B B B B |
---|
| 10 | C C C C C |
---|
| 11 | D D D D D |
---|
| 12 | E E E E E |
---|
[b6ad601] | 13 | |
---|
[8f34661] | 14 | 0 1 2 3 4 5 6 7 8 9 |
---|
[9853d9b0] | 15 | 0 1 2 3 4 5 6 7 8 9 10 |
---|
[0982a05] | 16 | 1 3 5 7 9 |
---|
[d69f4bb4] | 17 | 10 8 6 4 2 |
---|
| 18 | 0.5 1.5 2.5 3.5 4.5 |
---|
| 19 | 5.5 4.5 3.5 2.5 1.5 |
---|
[cfcf670] | 20 | 2 4 6 8 10 |
---|
[d69f4bb4] | 21 | 10 8 6 4 2 |
---|
[b6ad601] | 22 | |
---|
[67d4e37] | 23 | 1 2 3 4 5 6 7 8 9 10 |
---|
| 24 | 10 9 8 7 6 5 4 3 2 1 0 |
---|
[1b54b54] | 25 | 2 4 6 8 10 |
---|
| 26 | 2.1 3.8 5.5 7.2 8.9 |
---|
| 27 | 10 8 6 4 2 0 |
---|
[b2ac656] | 28 | 12.1 10.4 8.7 7. 5.3 3.6 |
---|
[b6ad601] | 29 | |
---|
[61dafb8] | 30 | N N N N N N N N N N |
---|
| 31 | 0 1 2 3 4 5 6 7 8 9 |
---|
[9853d9b0] | 32 | 0 1 2 3 4 5 6 7 8 9 10 |
---|
[61dafb8] | 33 | 10 9 8 7 6 5 4 3 2 1 |
---|
| 34 | |
---|
[8f34661] | 35 | 3 6 9 |
---|
[b6ad601] | 36 | |
---|
[8f34661] | 37 | (0 0)(1 1)(2 2)(3 3)(4 4)(5 5)(6 6)(7 7)(8 8)(9 9) |
---|
| 38 | (0 0)(1 1)(2 2)(3 3)(4 4)(5 5)(6 6)(7 7)(8 8)(9 9) |
---|
[b6ad601] | 39 | |
---|
[8f34661] | 40 | (0 0)(1 1)(2 2)(3 3)(4 4)(5 5)(6 6)(7 7)(8 8)(9 9) |
---|
[9ad5ee1] | 41 | (0 0)(1 1)(2 2)(3 3)(4 4)(5 5)(6 6)(7 7)(8 8)(9 9) |
---|
[b6ad601] | 42 | (0 0)(1 1)(2 2)(3 3)(4 4)(5 5)(6 6)(7 7)(8 8)(9 9)(10 10) |
---|
| 43 | (0 0)(1 1)(2 2)(3 3)(4 4)(5 5)(6 6)(7 7)(8 8)(9 9)(10 10) |
---|
| 44 | |
---|
| 45 | (10 10)(9 9)(8 8)(7 7)(6 6)(5 5)(4 4)(3 3)(2 2)(1 1) |
---|
| 46 | (10 10)(9 9)(8 8)(7 7)(6 6)(5 5)(4 4)(3 3)(2 2)(1 1) |
---|
| 47 | (10 10)(9 9)(8 8)(7 7)(6 6)(5 5)(4 4)(3 3)(2 2)(1 1)(0 0) |
---|
| 48 | (10 10)(9 9)(8 8)(7 7)(6 6)(5 5)(4 4)(3 3)(2 2)(1 1)(0 0) |
---|
[67d4e37] | 49 | |
---|
| 50 | 0 -5 1 -4 2 -3 3 -2 4 -1 5 0 6 1 7 2 8 3 9 4 |
---|
| 51 | 0 -5 1 -6 2 -7 3 -8 4 -9 5 -10 6 -11 7 -12 8 -13 9 -14 |
---|
| 52 | 0 -5 1 -3 2 -1 3 1 4 3 5 5 6 7 7 9 8 11 9 13 |
---|
| 53 | 0 -5 1 -7 2 -9 3 -11 4 -13 5 -15 6 -17 7 -19 8 -21 9 -23 |
---|
| 54 | |
---|
| 55 | 0 -5 1 -4 2 -3 3 -2 4 -1 5 0 6 1 7 2 8 3 9 4 |
---|
| 56 | 0 -5 1 -6 2 -7 3 -8 4 -9 5 -10 6 -11 7 -12 8 -13 9 -14 |
---|
| 57 | 0 -5 1 -3 2 -1 3 1 4 3 5 5 6 7 7 9 8 11 9 13 |
---|
| 58 | 0 -5 1 -7 2 -9 3 -11 4 -13 5 -15 6 -17 7 -19 8 -21 9 -23 |
---|
| 59 | |
---|
| 60 | 0 -5 1.5 1 -7 2.5 2 -9 3.5 3 -11 4.5 4 -13 5.5 5 -15 6.5 6 -17 7.5 7 -19 8.5 8 -21 9.5 9 -23 10.5 |
---|
| 61 | 0 -5 1.5 1 -7 2.5 2 -9 3.5 3 -11 4.5 4 -13 5.5 5 -15 6.5 6 -17 7.5 7 -19 8.5 8 -21 9.5 9 -23 10.5 |
---|
| 62 | 0 -5 1.5 1 -7 2.5 2 -9 3.5 3 -11 4.5 4 -13 5.5 5 -15 6.5 6 -17 7.5 7 -19 8.5 8 -21 9.5 9 -23 10.5 |
---|
Note: See
TracBrowser
for help on using the repository browser.