Tony Garnock-Jones
31fe2cd92b
Variations on chat server
2016-01-13 11:35:03 -05:00
Tony Garnock-Jones
4faf189029
Echo example in actor form
2016-01-13 11:26:01 -05:00
Tony Garnock-Jones
99466dad7f
examples/actor/chat-client.rkt
2016-01-08 12:22:27 -05:00
Tony Garnock-Jones
a978731c55
Correct typo: 5000 should be 5999
2016-01-08 12:22:11 -05:00
Tony Garnock-Jones
32ff49a814
TODO
2015-12-18 11:45:01 +13:00
Tony Garnock-Jones
881769c274
Comment out debug-printing in expand-state
2015-12-15 15:05:28 +13:00
Tony Garnock-Jones
edaf97ae05
Simplify and rename %%boot to actor-body->spawn-action
2015-12-12 07:02:13 +13:00
Tony Garnock-Jones
97dceedff2
Expose `perform-core-action!`.
2015-12-12 06:52:16 +13:00
Tony Garnock-Jones
bd0278297b
Add `network` to actor.rkt
2015-12-12 06:45:15 +13:00
Tony Garnock-Jones
debd191992
Fix bug with `until` and #:collect.
...
`state` now yields the explicit values given in a termination clause
*prepended* to the `#:collect`ed variables of the calling actor at the
time the state terminates. `until` now yields zero values in its sole
termination clause, and thus yields only the `#:collect`ed values.
2015-12-12 06:22:40 +13:00
Tony Garnock-Jones
e2b7805232
Simple file-system example, similar to that in the paper submission
2015-12-11 20:25:52 +13:00
Tony Garnock-Jones
122ea7ea1c
Steps toward proper scoping of #:collect bindings
2015-12-11 20:25:17 +13:00
Tony Garnock-Jones
c607f1c53f
Cosmetic rearrangement of MINIMART_TRACE flag-parsing code
2015-12-11 20:24:54 +13:00
Tony Garnock-Jones
0335e54e6a
Check for incorrect use of ? in patterns; allow (? pred? ...) in patterns
2015-12-11 20:24:20 +13:00
Tony Garnock-Jones
30d46a2019
Avoid incorrect use of ?; replace with _
2015-12-11 20:22:36 +13:00
Tony Garnock-Jones
91c2d6a3c7
box-and-client actor example
2015-12-11 17:55:46 +13:00
Tony Garnock-Jones
424f38b268
Bring #:collect vars into scope for maintained assertions in actor.rkt
2015-12-11 17:55:34 +13:00
Tony Garnock-Jones
80ab8e20cc
Avoid crashing trace when behavior or state are missing from relevant tables
2015-12-11 17:50:55 +13:00
Tony Garnock-Jones
71c5cd3831
No longer store aggregates for ongoing assertions; instead, use the mux's interest-table
2015-12-11 17:36:32 +13:00
Tony Garnock-Jones
e349e28650
Explore behavior of limit-patch a little
2015-12-11 17:36:10 +13:00
Tony Garnock-Jones
e4eed9a9e4
Add prospect-pretty-print->string
2015-12-11 16:34:50 +13:00
Tony Garnock-Jones
07f7fcb060
Handy debug printing (commented out)
2015-12-11 16:25:14 +13:00
Tony Garnock-Jones
cd6f5a0f59
Remove dead code
2015-12-11 16:25:03 +13:00
Tony Garnock-Jones
b0d20f328a
Introduce syntax-classes
2015-12-11 16:24:42 +13:00
Tony Garnock-Jones
3b161ef573
First running HLL program!
2015-12-11 15:23:32 +13:00
Tony Garnock-Jones
29042830e2
Greatly improve pretty-printing of many prospect structures
2015-12-11 15:21:24 +13:00
Tony Garnock-Jones
85450362fb
Fix treap-values, which had been returning the keys (!)
2015-12-11 15:20:51 +13:00
Tony Garnock-Jones
309ca6f349
Avoid crashing in trace/stderr.rkt by printing the special boot pseudo-event.
2015-12-11 15:17:01 +13:00
Tony Garnock-Jones
d9db671896
Provide sequence-transitions*, sequence-transitions0 and sequence-transitions0*
2015-12-11 15:16:06 +13:00
Tony Garnock-Jones
154dfa3831
Much interesting progress in actor.rkt
2015-12-10 12:59:49 +13:00
Tony Garnock-Jones
c7870086c5
sequence-transitions0, sequence-transitions0*, and sequence-transitions*
2015-12-10 12:59:33 +13:00
Tony Garnock-Jones
4876a60f93
More progress toward compilation of state forms
2015-12-09 16:18:36 +13:00
Tony Garnock-Jones
4b0d800b5f
Extract collected values in (until) macro
2015-12-09 14:34:24 +13:00
Tony Garnock-Jones
2004d30f3a
Work toward using mux directly in actor.rkt
2015-12-09 14:12:27 +13:00
Tony Garnock-Jones
a9600b0de8
Use newly-refactored mux in endpoint implementation
2015-12-05 06:23:28 +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
e03645e682
Correct error in example used for development
2015-12-05 04:40:31 +13:00
Tony Garnock-Jones
aae15a008b
Switch to generic action-instruction; actor macro; more work on expand-state
2015-12-05 04:40:31 +13:00
Tony Garnock-Jones
0bf0af74e6
Remove obsolete comment
2015-12-05 04:40:31 +13:00
Tony Garnock-Jones
1e1fccd34d
Switch to endpoint-based actor.rkt layer
2015-12-05 04:40:31 +13:00
Tony Garnock-Jones
54b80cf79b
Add as-endpoint to allow performing actions as if they came from other endpoints
2015-12-05 04:40:30 +13:00
Tony Garnock-Jones
25fd4fddb7
Remove notion of endpoint pre/peri/post handlers
2015-12-05 04:40:30 +13:00
Tony Garnock-Jones
25489c0043
Rearrange & begin documenting
2015-12-05 04:40:30 +13:00
Tony Garnock-Jones
2400800bba
Lots of work toward HLL
2015-12-05 04:40:30 +13:00
Tony Garnock-Jones
66fbb5e398
Fix create-process: it returns a transition
2015-12-05 04:40:30 +13:00
Tony Garnock-Jones
2ae8817a6b
Log to show what is going on in the box-and-client example
2015-12-03 12:56:52 -08:00
Tony Garnock-Jones
3087658f01
Fix missing exn propagation
2015-12-03 12:56:52 -08:00
Tony Garnock-Jones
506d74ed42
Support other kinds of actions than patches when first spawning a process
2015-12-03 12:56:52 -08:00
Tony Garnock-Jones
feb55c174c
New macro system forces fix to phase problem
2015-11-18 14:32:59 -05:00
Tony Garnock-Jones
c3e94ff7e0
Oops -- wanted the raw ctor, not the cooked one
2015-11-18 14:32:43 -05:00
Tony Garnock-Jones
c4f8b42787
Allow recording of exceptions in quit structs.
2015-11-17 14:01:04 -05:00
Tony Garnock-Jones
7b72d40a70
box-and-client example
2015-11-02 21:40:12 -05:00
Tony Garnock-Jones
212900bc1a
Cope with quit-world in the middle of an action sequence; TODO: unclear whether this is the best approach
2015-10-23 21:49:21 -04:00
Tony Garnock-Jones
974c21e5d0
Add quit-world action to chat.rkt
2015-10-23 19:50:08 -04:00
Tony Garnock-Jones
d7095c9995
quit-world action
2015-10-23 19:49:30 -04:00
Tony Garnock-Jones
f5d331b0d8
Canonicalize atoms during pattern- and projection-compilation and value-matching
2015-10-23 19:18:34 -04:00
Tony Garnock-Jones
7ed7ce096d
Add (seal)s, for hiding structure from the routing table. Drastically improves big-bang example performance.
2015-09-07 16:05:06 -04:00
Tony Garnock-Jones
2a34861168
Switch back to module context; module-begin seems inappropriate?
2015-08-25 16:12:15 -04:00
Tony Garnock-Jones
f6be642c97
Fix set/tset usage in endpoint.rkt
2015-08-25 15:54:23 -04:00
Tony Garnock-Jones
0a98061005
Use kernel-form-identifier-list and module-begin context for local-expand
2015-08-25 15:54:08 -04:00
Tony Garnock-Jones
f52ba70b98
Toy durable key-value store
2015-08-21 17:56:03 -04:00
Tony Garnock-Jones
4d3e668ed4
Support deletion
2015-08-21 17:41:59 -04:00
Tony Garnock-Jones
e54004f4e0
Simple key-value store. Not finished!
2015-08-21 17:02:41 -04:00
Tony Garnock-Jones
44b6b5dcfa
On-screen display of active window ID.
2015-08-18 20:14:59 -04:00
Tony Garnock-Jones
35e966cb13
Switch to arbitrary hash-order.
2015-08-18 20:14:31 -04:00
Tony Garnock-Jones
5eb155cc11
big-bang example
2015-08-18 20:01:58 -04:00
Tony Garnock-Jones
02c5ee97d3
Echo server example
2015-08-18 12:45:29 -04:00
Tony Garnock-Jones
2e3a8fceaa
Handle empty matchers better in dot rendering
2015-07-14 17:56:10 -04:00
Tony Garnock-Jones
b2e94f63b4
Try it out in the tests
2015-07-14 17:44:12 -04:00
Tony Garnock-Jones
2b0ec0d632
dot output for matchers
2015-07-14 17:38:32 -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
ee1cf9b100
tset
2015-06-19 20:18:10 -04:00
Tony Garnock-Jones
29bbe7678b
Export treap-order; add treap->empty and treap-fold.
2015-06-19 20:08:16 -04:00
Tony Garnock-Jones
76eaa2fa39
Port websocket support from minimart
2015-06-06 17:15:43 -04:00
Tony Garnock-Jones
417c7728b7
Break dependency on web-server-lib
2015-05-23 11:41:43 -04:00
Tony Garnock-Jones
2a6393f88b
DSL support
2015-05-12 20:11:47 -04:00
Tony Garnock-Jones
95bdd892f6
Initial work on endpoints for prospect
2015-05-11 18:25:38 -04:00
Tony Garnock-Jones
2b5358ab2c
More flexible state printing during tracing
2015-05-11 18:25:21 -04:00
Tony Garnock-Jones
e8b99ae8e7
Cosmetic: trim trailing whitespace
2015-05-11 13:33:05 -04:00
Tony Garnock-Jones
5ea3cf283f
Non-working backward-chaining experiment; observe one specific ancestry relationship.
2015-04-25 14:51:12 -04:00
Tony Garnock-Jones
a1bd9cd482
Add COUNT aggregate to forward-chaining example
2015-04-25 11:51:55 -04:00
Tony Garnock-Jones
e00f079871
Check whether avoiding delays maintains truth
2015-04-24 17:30:51 -04:00
Tony Garnock-Jones
7c77223255
Forward-chaining
2015-04-24 16:16:24 -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
0d38e11ee8
Support tracing at ground-level; support display of intermediate world states
2015-03-21 17:30:48 -04:00
Tony Garnock-Jones
a016a967ef
Improve comprehensibility of traces
2015-03-21 12:30:10 -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
dfad624028
Increase TCP listen connection backlog from 4 to 128, to avoid TCP timeouts when the queue builds up.
2015-03-18 19:00:43 -04:00
Tony Garnock-Jones
77736e75a1
Important optimization in biased-intersection
2015-03-18 15:30:59 -04:00
Tony Garnock-Jones
ec2eea9e25
Factored out mux.rkt
2015-03-16 10:38:32 -04:00
Tony Garnock-Jones
bf316f792b
Provide transition-bind and sequence-transitions
2015-03-06 15:49:39 +00:00
Tony Garnock-Jones
6ccb9b5a57
Retain disabled behaviors, for the benefit of tracing & debugging
2015-03-06 14:45:06 +00:00
Tony Garnock-Jones
cdb9e1cb07
Chat client example.
2015-03-06 13:58:36 +00:00
Tony Garnock-Jones
fc1081c7da
I had the advertise/observe pair the wrong way round for outbound connections.
2015-03-06 13:58:03 +00:00
Tony Garnock-Jones
96247daae3
TCP driver; simple TCP example; chat room TCP example.
2015-03-06 13:29:59 +00:00
Tony Garnock-Jones
9782abba70
Use patch-project/set in demand-matcher.rkt
2015-03-06 13:29:19 +00:00
Tony Garnock-Jones
9901685580
Add patch/added?; added patch-project{,/set,/set/single}
2015-03-06 13:26:23 +00:00