Tony Garnock-Jones
|
c6f9545817
|
The simplified-driver doesn't need any UDP operations
|
2012-01-16 17:20:10 -05:00 |
Tony Garnock-Jones
|
744c963abb
|
Testing for big-bang; evented UDP example
|
2012-01-16 16:54:57 -05:00 |
Tony Garnock-Jones
|
3d0a635b62
|
Better representation of local address. Still limited by BSD sockets API.
|
2012-01-16 16:17:47 -05:00 |
Tony Garnock-Jones
|
3415e910f8
|
Crude emulation of 2htdp/universe's big-bang using os-big-bang.
|
2012-01-13 23:09:23 -05:00 |
Tony Garnock-Jones
|
3c1c36facc
|
Flatten actions, to permit '() and lists of actions
|
2012-01-13 21:19:10 -05:00 |
Tony Garnock-Jones
|
37f242874b
|
Match state rather than straight binding it
|
2012-01-13 18:01:38 -05:00 |
Tony Garnock-Jones
|
b96114f774
|
Make raw spawning the default.
|
2012-01-13 17:05:01 -05:00 |
Tony Garnock-Jones
|
989ae4499f
|
Cosmetic
|
2012-01-13 17:01:13 -05:00 |
Tony Garnock-Jones
|
e11db78096
|
Use (== expr) pattern in matches
|
2012-01-13 17:01:06 -05:00 |
Tony Garnock-Jones
|
a4eb28f5c5
|
Split out call to ground-vm from definition of main
|
2012-01-13 16:48:43 -05:00 |
Tony Garnock-Jones
|
66f74dbe63
|
Make both userland and big-bang able to spawn raw siblings
|
2012-01-13 16:46:33 -05:00 |
Tony Garnock-Jones
|
1fae9c95e3
|
Remove struct runnable; provide default pattern-predicate; make os-big-bang virtualizable
|
2012-01-13 16:42:03 -05:00 |
Tony Garnock-Jones
|
28452b10f3
|
Spice up the example a little
|
2012-01-13 16:22:31 -05:00 |
Tony Garnock-Jones
|
79741ab7b6
|
Big bang analogue
|
2012-01-13 16:16:52 -05:00 |
Tony Garnock-Jones
|
9382da7631
|
UDP drivers
|
2012-01-11 17:47:05 -05:00 |
Tony Garnock-Jones
|
c4d74d2cab
|
Make rpc-service take multiple patterns
|
2012-01-11 17:46:53 -05:00 |
Tony Garnock-Jones
|
e8e87e338d
|
Split example into beginnings of stdlib
|
2012-01-11 17:07:13 -05:00 |
Tony Garnock-Jones
|
9f3003fc40
|
DRY (by using wait-until-time)
|
2012-01-11 16:38:53 -05:00 |
Tony Garnock-Jones
|
d44f0fb14c
|
Fix up provided bindings.
|
2012-01-11 16:25:40 -05:00 |
Tony Garnock-Jones
|
43a76580d6
|
Note re poll vs presence
|
2012-01-11 16:21:50 -05:00 |
Tony Garnock-Jones
|
5b9714b4e9
|
Delimited-continuation-based userland and example program
|
2012-01-11 16:21:45 -05:00 |
Tony Garnock-Jones
|
591082fa01
|
Act on outbound ground metamessages before checking for inertness.
|
2012-01-11 16:05:53 -05:00 |
Tony Garnock-Jones
|
85709e4a0d
|
Split out (and elaborate) example
|
2012-01-10 16:57:46 -05:00 |
Tony Garnock-Jones
|
b16d723450
|
More concision.
|
2012-01-10 13:29:25 -05:00 |
Tony Garnock-Jones
|
6c66e632f4
|
Concision.
|
2012-01-10 13:21:54 -05:00 |
Tony Garnock-Jones
|
818cfed24a
|
Remove some debug output
|
2012-01-10 12:23:20 -05:00 |
Tony Garnock-Jones
|
be4bd64d2c
|
Fix metamessage dispatch
|
2012-01-10 12:22:31 -05:00 |
Tony Garnock-Jones
|
dea5eeb3e9
|
WIP: Plan for straightening out metaevents
|
2012-01-10 09:19:20 -05:00 |
Tony Garnock-Jones
|
fdeb257d46
|
Small fix to message-handler invocation
|
2012-01-10 09:18:53 -05:00 |
Tony Garnock-Jones
|
a56f70bc9a
|
It's better-named "pattern" than "matcher".
|
2012-01-09 19:41:35 -05:00 |
Tony Garnock-Jones
|
18ad15001c
|
Forgot to check this file in.
|
2012-01-09 19:30:37 -05:00 |
Tony Garnock-Jones
|
ad20706194
|
Almost there!
|
2012-01-09 18:19:44 -05:00 |
Tony Garnock-Jones
|
82229e28f1
|
First round of trivial-bug fixes and tweaks
|
2012-01-09 12:20:47 -05:00 |
Tony Garnock-Jones
|
114595257c
|
Another step closer to a metacircular driver.
|
2012-01-06 14:22:43 -05:00 |
Tony Garnock-Jones
|
4ced01301e
|
Steps toward a generalised big-bang
|
2012-01-05 16:07:55 -05:00 |
Tony Garnock-Jones
|
0c0e920356
|
Redistribute rules and comments to appropriate locations.
|
2011-12-30 14:50:10 -05:00 |
Tony Garnock-Jones
|
ba92bbb1ff
|
Split resolver algorithm from network-query implementation
|
2011-12-30 13:57:54 -05:00 |
Tony Garnock-Jones
|
171aea110c
|
Whoops
|
2011-12-30 13:33:50 -05:00 |
Tony Garnock-Jones
|
4fb9480532
|
Refactor and document network-query/addresses
|
2011-12-30 13:30:58 -05:00 |
Tony Garnock-Jones
|
f4a63a0832
|
Prepare to switch to the unit-based resolver in the proxy
|
2011-12-28 13:53:19 -05:00 |
Tony Garnock-Jones
|
0dc5f5a885
|
Split out resolver into a separate unit and signature
|
2011-12-28 12:27:27 -05:00 |
Tony Garnock-Jones
|
73da8f3999
|
Almost complete rewrite of the resolver.
|
2011-12-22 17:51:39 -05:00 |
Tony Garnock-Jones
|
70ff41e188
|
Add accidentally-omitted clause in RData definition.
|
2011-12-22 17:50:59 -05:00 |
Tony Garnock-Jones
|
198cafba3c
|
Steps toward a working proxy. Next: another stab at the resolution algorithm
|
2011-12-22 14:12:31 -05:00 |
Tony Garnock-Jones
|
6c8727f15c
|
Split out RRs for testing into a separate module
|
2011-12-21 17:50:56 -05:00 |
Tony Garnock-Jones
|
8c09bafdd4
|
Place CNAMEs first in each section.
|
2011-12-21 17:50:56 -05:00 |
Tony Garnock-Jones
|
faaa81b310
|
Move (and generalise) resolver logic from server into zonedb.rkt for reuse by proxy.
|
2011-12-21 17:50:28 -05:00 |
Tony Garnock-Jones
|
b62e7d8bf4
|
Notes on error-detection and handling in an outbound relay
|
2011-12-21 16:58:42 -05:00 |
Tony Garnock-Jones
|
7f44278cf6
|
More consistent naming (event -> message, etc)
|
2011-12-16 11:42:06 -05:00 |
Tony Garnock-Jones
|
97ca27fb16
|
Rename ClassifiedPacket to Message.
|
2011-12-16 11:35:17 -05:00 |