Tony Garnock-Jones
45c12bacf0
Permit #:when in stop-when.
2016-09-02 10:36:03 +01:00
Tony Garnock-Jones
e50ab77b53
`#:touchable-predicate`
2016-09-02 10:08:02 +01:00
Tony Garnock-Jones
a6f002c27d
Simplify transform composition
2016-09-02 09:50:48 +01:00
Tony Garnock-Jones
b60fa8c755
First steps toward mouse-based picking in syndicate-gl
2016-09-01 19:50:03 +01:00
Tony Garnock-Jones
1ae40c1ff1
`install-ide-dataspace!`
2016-09-01 11:34:38 +01:00
Tony Garnock-Jones
b69c3b3778
First sketch of "IDE" for Syndicate
2016-08-31 19:12:40 +01:00
Tony Garnock-Jones
8249993a86
Use lists rather than conses, since they travel through dataspaces better
2016-08-31 19:12:05 +01:00
Tony Garnock-Jones
4685d6af46
extract-patch-pids and tset/set-union
2016-08-31 19:11:43 +01:00
Tony Garnock-Jones
bf3b2a5a36
Expose current-ground-event-async-channel
2016-08-31 19:11:16 +01:00
Tony Garnock-Jones
e76ccd31a2
Add #:label parameter to 2d-dataspace
2016-08-31 19:10:59 +01:00
Tony Garnock-Jones
fb3ed65831
trace-logger --> current-trace-procedures
2016-08-31 15:12:52 +01:00
Tony Garnock-Jones
ca1c0f6645
Add a way of loading trace modules at startup time
2016-08-25 18:15:39 +01:00
Tony Garnock-Jones
2a6061bd97
Revamp tracing
2016-08-25 18:07:27 +01:00
Tony Garnock-Jones
0bc775a89f
First commit moving from (actor (react ...)) to (actor ...)
2016-08-24 17:35:38 +01:00
Tony Garnock-Jones
56e893fac4
Use field instead of set!.
2016-08-21 08:42:45 -04:00
Tony Garnock-Jones
3240f20d90
Allow ($ v) bindings
2016-08-21 08:27:56 -04:00
Tony Garnock-Jones
426a38b17f
Silence redefinition warning
2016-08-15 10:45:23 -04:00
Tony Garnock-Jones
fe47abd540
Cosmetic
2016-08-10 19:14:01 -04:00
Tony Garnock-Jones
a890a7147b
Queue implementations without credit tracking
2016-08-10 19:04:08 -04:00
Tony Garnock-Jones
956a940480
Cosmetic
2016-08-10 19:03:52 -04:00
Tony Garnock-Jones
6684c9e883
queue-remove in functional-queue.rkt
2016-08-10 19:03:40 -04:00
Tony Garnock-Jones
0bc370beec
A Queue with credit-based flow control.
2016-08-10 18:42:19 -04:00
Tony Garnock-Jones
a828334b2f
Cosmetic
2016-08-10 18:41:46 -04:00
Tony Garnock-Jones
2b29e817a5
Add *idle-priority*, and allow #:priority on begin/dataflow
2016-08-10 18:41:41 -04:00
Tony Garnock-Jones
f20d1a2ad7
Invariant checking via begin/dataflow
2016-08-10 17:09:24 -04:00
Tony Garnock-Jones
d7a594e2b9
Counting-semaphore-like mutex, and dining philosophers.
2016-08-10 17:03:21 -04:00
Tony Garnock-Jones
eaade6e4fd
Treat synthetic patches differently wrt previousKnowledge
2016-08-07 21:58:19 -04:00
Tony Garnock-Jones
02c66c4bab
Fix deps
2016-08-04 13:05:54 -04:00
Sam Caldwell
73f180d90a
fix bug in LLL two-buyer
2016-08-03 14:19:18 -04:00
Tony Garnock-Jones
e22f608109
Now that we capture parameterization for actors, current-actor-path-rev has to be a store rather than a parameter
2016-07-31 22:19:59 -04:00
Tony Garnock-Jones
4e1bab4b90
Introduce make-spawn to capture parameterizations. Closes #10 .
2016-07-31 17:24:48 -04:00
Tony Garnock-Jones
1fa50e4e6a
file-system-during2.rkt
2016-07-31 12:22:15 -04:00
Tony Garnock-Jones
628b7b2356
Remove superfluous begin0; reindent
2016-07-31 12:19:54 -04:00
Tony Garnock-Jones
e2897d37f4
Factor out commonality from file-system*.rkt examples
2016-07-31 12:17:12 -04:00
Tony Garnock-Jones
463dd48577
Always pick the highest-priority script to run next.
...
This means that `*gc-priority*` scripts will now reliably run last.
Prior to this change, if some higher-priority script X ran while a
`*gc-priority*` script Y was queued, and it enqueued a high-priority
script Z, then Y would run before Z.
2016-07-31 12:02:11 -04:00
Tony Garnock-Jones
f34924bc6d
Leave a "tombstone" so we can see the process's name while any record of it remains.
2016-07-31 11:36:25 -04:00
Tony Garnock-Jones
4dad3e9661
Process retractions before asserts in the query forms
2016-07-30 17:05:54 -04:00
Tony Garnock-Jones
9e3f804aae
I don't understand how elapsed-ms can end up negative, but I was seeing it in the platformer at frame 0
2016-07-30 14:49:05 -04:00
Tony Garnock-Jones
b6a03bdd9b
Tweak scribblings to silence errors. Still need to update docs.
2016-07-30 14:49:05 -04:00
Tony Garnock-Jones
3edd184242
Update syndicate-gl for split mux and relay.
2016-07-30 14:49:05 -04:00
Tony Garnock-Jones
c7dae47210
inbound* and outbound* are now match-expanders
2016-07-30 14:49:05 -04:00
Tony Garnock-Jones
07eb91b0d9
Update big-bang for split relay and mux.
2016-07-30 14:49:05 -04:00
Tony Garnock-Jones
17db697690
spawn->process+transition
2016-07-30 14:49:05 -04:00
Tony Garnock-Jones
c0786c86ca
Introduce struct process.
2016-07-30 14:49:05 -04:00
Tony Garnock-Jones
68ba2f74a6
Split dataspaces in to relay and mux sublayers.
...
This is a major change to the previous design, and also a change with
respect to the semantics in the ESOP 2016 paper. All the complexity of
echo-cancellation is stripped out of the core dataspace semantics, and
the relaying protocol is changed from one constructor, `at-meta`, to
two, `inbound` and `outbound`. The relay connecting a dataspace to its
container is now completely symmetric with the contained actors: it
initially asserts interest in what it is to relay, just like any other
actor would. Dataspaces no longer treat relaying specially.
This commit has updated all (I think) of the non-graphical examples. The
graphical code remains to be done in a following commit.
2016-07-30 14:49:05 -04:00
Tony Garnock-Jones
b8c109d82b
pretty-print-actor-state
2016-07-30 14:49:05 -04:00
Tony Garnock-Jones
2a2d363c5e
Improve printing of patches
2016-07-30 14:49:05 -04:00
Tony Garnock-Jones
129dd23b84
Remove obsolete endpoint.rkt and its example
2016-07-30 14:49:05 -04:00
Tony Garnock-Jones
7a3973a097
Move syndicate-monolithic to new historical directory.
2016-07-30 14:48:59 -04:00
Tony Garnock-Jones
56d2fc2c0d
Support #:when conditional (on ...) clauses.
2016-07-28 15:45:45 -04:00