Tony Garnock-Jones
|
817bfd7517
|
When acting-pid is 'meta, take the entire delta as the delta-aggregate.
This is correct because now that we have echo-cancelled SCNs, incoming
SCNs from the metalevel are *always* new information for the contained
actors.
|
2016-02-11 23:50:37 -05:00 |
|
Tony Garnock-Jones
|
c3b2df00cd
|
Compute affected peers by the aggregate change, not the incoming action.
|
2016-02-11 22:28:04 -05:00 |
|
Tony Garnock-Jones
|
01b6bf92ee
|
Echo cancellation for prospect.
|
2016-02-11 22:26:53 -05:00 |
|
Tony Garnock-Jones
|
3c5a6f00ed
|
Rename "matcher" to "trie".
|
2016-01-21 21:55:41 -05:00 |
|
Tony Garnock-Jones
|
29042830e2
|
Greatly improve pretty-printing of many prospect structures
|
2015-12-11 15:21:24 +13:00 |
|
Tony Garnock-Jones
|
4db7c17dc8
|
Refactor split in responsibilities between core and mux
|
2015-12-05 05:58:16 +13: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 |