Tony Garnock-Jones
|
97245973fa
|
Try bitsets instead of tsets
|
2015-06-20 06:58:31 -04:00 |
Tony Garnock-Jones
|
7d561fc49e
|
First commit switching from sets to tsets for labels in RHSs of matchers.
|
2015-06-19 20:43:23 -04:00 |
Tony Garnock-Jones
|
95bdd892f6
|
Initial work on endpoints for prospect
|
2015-05-11 18:25:38 -04:00 |
Tony Garnock-Jones
|
c92beaa5bf
|
Fix semantics bug
|
2015-04-03 21:42:32 -04:00 |
Tony Garnock-Jones
|
d5ce38162b
|
Only compute downward patch when needed
|
2015-03-21 18:59:20 -04:00 |
Tony Garnock-Jones
|
1467912f57
|
Fix bug with incorrect dropped action.
|
2015-03-21 18:38:37 -04:00 |
Tony Garnock-Jones
|
dfb0eae02c
|
Fix patch-feedback calculation mistake, to match fixes in redex and coq
|
2015-03-21 17:31:17 -04:00 |
Tony Garnock-Jones
|
df567e8793
|
Similar optimization to that applied to biased-intersection recently
|
2015-03-18 19:02:53 -04:00 |
Tony Garnock-Jones
|
ec2eea9e25
|
Factored out mux.rkt
|
2015-03-16 10:38:32 -04:00 |