File tree
11 files changed
+361
-25
lines changed- book/src/clauses
- chalk-integration/src
- chalk-parse/src
- chalk-solve/src
- clauses
- builtin_traits
- tests/test
11 files changed
+361
-25
lines changedLines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
28 | 28 |
| |
29 | 29 |
| |
30 | 30 |
| |
31 |
| - | |
| 31 | + | |
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
| |||
37 | 37 |
| |
38 | 38 |
| |
39 | 39 |
| |
40 |
| - | |
| 40 | + | |
41 | 41 |
| |
42 | 42 |
| |
43 | 43 |
| |
| |||
55 | 55 |
| |
56 | 56 |
| |
57 | 57 |
| |
58 |
| - | |
| 58 | + |
Lines changed: 10 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1394 | 1394 |
| |
1395 | 1395 |
| |
1396 | 1396 |
| |
1397 |
| - | |
| 1397 | + | |
1398 | 1398 |
| |
1399 | 1399 |
| |
1400 | 1400 |
| |
1401 | 1401 |
| |
1402 | 1402 |
| |
| 1403 | + | |
| 1404 | + | |
| 1405 | + | |
| 1406 | + | |
| 1407 | + | |
1403 | 1408 |
| |
1404 | 1409 |
| |
1405 |
| - | |
1406 |
| - | |
1407 |
| - | |
1408 |
| - | |
| 1410 | + | |
1409 | 1411 |
| |
1410 | 1412 |
| |
1411 | 1413 |
| |
| |||
1822 | 1824 |
| |
1823 | 1825 |
| |
1824 | 1826 |
| |
| 1827 | + | |
| 1828 | + | |
| 1829 | + | |
1825 | 1830 |
| |
1826 | 1831 |
| |
1827 | 1832 |
| |
|
Lines changed: 4 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
68 | 68 |
| |
69 | 69 |
| |
70 | 70 |
| |
| 71 | + | |
| 72 | + | |
| 73 | + | |
71 | 74 |
| |
72 | 75 |
| |
73 | 76 |
| |
| |||
210 | 213 |
| |
211 | 214 |
| |
212 | 215 |
| |
213 |
| - | |
| 216 | + | |
214 | 217 |
| |
215 | 218 |
| |
216 | 219 |
| |
|
Lines changed: 13 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
51 | 51 |
| |
52 | 52 |
| |
53 | 53 |
| |
| 54 | + | |
| 55 | + | |
| 56 | + | |
54 | 57 |
| |
55 | 58 |
| |
56 | 59 |
| |
| |||
220 | 223 |
| |
221 | 224 |
| |
222 | 225 |
| |
223 |
| - | |
| 226 | + | |
224 | 227 |
| |
225 |
| - | |
| 228 | + | |
| 229 | + | |
| 230 | + | |
| 231 | + | |
226 | 232 |
| |
227 | 233 |
| |
228 | 234 |
| |
229 | 235 |
| |
230 |
| - | |
| 236 | + | |
231 | 237 |
| |
232 |
| - | |
| 238 | + | |
| 239 | + | |
| 240 | + | |
| 241 | + | |
233 | 242 |
| |
234 | 243 |
| |
235 | 244 |
| |
|
Lines changed: 10 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
295 | 295 |
| |
296 | 296 |
| |
297 | 297 |
| |
298 |
| - | |
| 298 | + | |
299 | 299 |
| |
300 | 300 |
| |
301 | 301 |
| |
| |||
358 | 358 |
| |
359 | 359 |
| |
360 | 360 |
| |
| 361 | + | |
| 362 | + | |
361 | 363 |
| |
362 | 364 |
| |
363 | 365 |
| |
364 |
| - | |
365 |
| - | |
366 |
| - | |
| 366 | + | |
367 | 367 |
| |
368 | 368 |
| |
369 | 369 |
| |
| 370 | + | |
| 371 | + | |
| 372 | + | |
| 373 | + | |
| 374 | + | |
| 375 | + | |
370 | 376 |
| |
371 | 377 |
| |
372 | 378 |
| |
|
Lines changed: 7 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
114 | 114 |
| |
115 | 115 |
| |
116 | 116 |
| |
117 |
| - | |
| 117 | + | |
| 118 | + | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
118 | 122 |
| |
119 | 123 |
| |
120 | 124 |
| |
| |||
134 | 138 |
| |
135 | 139 |
| |
136 | 140 |
| |
137 |
| - | |
| 141 | + | |
138 | 142 |
| |
139 | 143 |
| |
140 | 144 |
| |
| 145 | + | |
141 | 146 |
| |
142 | 147 |
| |
143 | 148 |
| |
|
Lines changed: 27 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
| 3 | + | |
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| 7 | + | |
7 | 8 |
| |
8 | 9 |
| |
9 | 10 |
| |
| |||
13 | 14 |
| |
14 | 15 |
| |
15 | 16 |
| |
16 |
| - | |
| 17 | + | |
17 | 18 |
| |
18 | 19 |
| |
19 | 20 |
| |
| |||
25 | 26 |
| |
26 | 27 |
| |
27 | 28 |
| |
28 |
| - | |
| 29 | + | |
29 | 30 |
| |
30 | 31 |
| |
31 | 32 |
| |
32 | 33 |
| |
33 | 34 |
| |
34 | 35 |
| |
| 36 | + | |
| 37 | + | |
| 38 | + | |
35 | 39 |
| |
36 | 40 |
| |
37 | 41 |
| |
38 |
| - | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
39 | 62 |
| |
40 | 63 |
| |
41 | 64 |
| |
|
Lines changed: 90 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
| 70 | + | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + |
Lines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
216 | 216 |
| |
217 | 217 |
| |
218 | 218 |
| |
| 219 | + | |
| 220 | + | |
| 221 | + | |
| 222 | + | |
| 223 | + | |
| 224 | + | |
219 | 225 |
| |
220 | 226 |
| |
221 | 227 |
| |
|
Lines changed: 10 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
471 | 471 |
| |
472 | 472 |
| |
473 | 473 |
| |
474 |
| - | |
| 474 | + | |
| 475 | + | |
| 476 | + | |
| 477 | + | |
| 478 | + | |
| 479 | + | |
475 | 480 |
| |
476 | 481 |
| |
477 | 482 |
| |
| |||
486 | 491 |
| |
487 | 492 |
| |
488 | 493 |
| |
489 |
| - | |
| 494 | + | |
| 495 | + | |
| 496 | + | |
| 497 | + | |
490 | 498 |
| |
491 | 499 |
| |
492 | 500 |
| |
|
0 commit comments