Tony Garnock-Jones
3489b5fab7
DOM driver.
2016-02-06 07:42:31 -05:00
Tony Garnock-Jones
a0670ec3a3
Simple Seal class
2016-02-06 07:42:16 -05:00
Tony Garnock-Jones
85c43510a8
Remove out-of-date comments
2016-02-06 07:41:59 -05:00
Tony Garnock-Jones
5e0757b65f
Support optional metaLevel argument to Network.send
2016-02-06 07:41:47 -05:00
Tony Garnock-Jones
f12f24b133
Support Immutable.List in patterns
2016-02-06 07:41:31 -05:00
Tony Garnock-Jones
4cdd595301
Guard against accidentally trying to build a patch matching a patch.
2016-02-06 07:41:11 -05:00
Tony Garnock-Jones
f06d951dcb
Support Network onStateChange callback.
2016-02-06 07:40:46 -05:00
Tony Garnock-Jones
d00d205314
Take metaLevel into account compiling DemandMatcher projections.
2016-02-06 07:39:58 -05:00
Tony Garnock-Jones
9d7dd37a37
demand-matcher.js, jquery-driver.js
2016-02-06 06:22:49 -05:00
Tony Garnock-Jones
8c55ada827
Fix typo in ground.js
2016-02-06 06:22:13 -05:00
Tony Garnock-Jones
9a8e7b4856
Split out captureToObject
2016-02-06 05:50:47 -05:00
Tony Garnock-Jones
674870b9ba
Remove superfluous require.
2016-02-06 05:47:34 -05:00
Tony Garnock-Jones
7d1a0c58c2
Use immutable sets/lists for projection results
2016-02-06 05:47:14 -05:00
Tony Garnock-Jones
d5c4b30335
Use `continuation-prompt-available?` to support `actor` at prospect "toplevel".
2016-02-05 18:06:29 -05:00
Sam Caldwell
92169d5e10
use comprehension in box-and-client
2016-02-05 13:27:20 -05:00
Sam Caldwell
26966b9c34
Implement trie-comprehension macros
...
Trie comprehensions abstract the process of projecting one-or-more
tries against some patterns, binding the results to usable variables,
and iterating over the results.
Currently supports for-trie/fold, for-trie/list, for-trie/set, and
for-trie/patch, as well as the ability to easily create new trie
comprehension macros. Note that these comprehensions operate in the
style of `for*` rather than `for`.
2016-02-05 13:27:20 -05:00
Sam Caldwell
540e3cb1f0
undollar into a particular lexical context
2016-02-05 13:27:20 -05:00
Tony Garnock-Jones
b85409ef10
Demos of wildcard assertions
2016-02-02 23:01:08 -05:00
Tony Garnock-Jones
bfd8203a7a
use strict
2016-02-02 21:11:50 -05:00
Tony Garnock-Jones
9f69cffbe7
Ground network; minor refactorings and bugfixes; smoketest example
2016-02-02 21:02:55 -05:00
Tony Garnock-Jones
e0f76b991a
First pass at Network implementation
2016-02-02 18:22:29 -05:00
Tony Garnock-Jones
f22e228cc0
New tests and bug fixes for patch and mux
2016-02-02 15:52:48 -05:00
Tony Garnock-Jones
d1b3ffdf81
Document optionality of removeMeta
2016-02-02 14:36:47 -05:00
Tony Garnock-Jones
4d87f071da
Mux; beginnings of tests for it
2016-02-02 14:36:31 -05:00
Tony Garnock-Jones
6b9c7fee67
Remove unused function from test script
2016-02-02 14:35:43 -05:00
Tony Garnock-Jones
bf94a2cd1c
Support leftShort in Route.matchTrie
2016-02-02 14:35:33 -05:00
Tony Garnock-Jones
95cb196c49
Fix bug in Route.subtract
2016-02-02 14:35:08 -05:00
Tony Garnock-Jones
a0f1d61635
Start skeleton Network
2016-01-31 17:48:00 -05:00
Tony Garnock-Jones
579b82261c
Patches, more tests, fixes
2016-01-31 16:55:24 -05:00
Tony Garnock-Jones
c2fa26f9ed
New $Special objects for __, SOA, EOA etc.
2016-01-31 10:54:41 -05:00
Tony Garnock-Jones
1107483c86
Initial commit.
2016-01-30 21:58:59 -05:00
Tony Garnock-Jones
2884806378
An additional year has begun
2016-01-30 11:39:05 -05:00
Tony Garnock-Jones
e400c1703a
stockholm no longer has vboxnet0.
2016-01-28 15:30:41 -05:00
Tony Garnock-Jones
3476afc2ab
Implement TCP_USER_TIMEOUT, ish.
2016-01-28 14:24:05 -05:00
Tony Garnock-Jones
265eee348a
Update fetchurl.rkt for prospect-monolithic.
2016-01-27 22:15:14 -05:00
Tony Garnock-Jones
594add5939
Add in missing bounds check when pruning acked data.
2016-01-27 22:06:57 -05:00
Tony Garnock-Jones
8a3f50941f
Friendlier makefile contents
2016-01-27 22:06:24 -05:00
Tony Garnock-Jones
6c98531832
Enable "webserver"
2016-01-27 21:51:51 -05:00
Tony Garnock-Jones
38e3c9de0f
Avoid double-fin (!).
2016-01-27 21:46:20 -05:00
Tony Garnock-Jones
a86eb10494
Name process behaviour procedures.
2016-01-27 21:46:09 -05:00
Tony Garnock-Jones
5f6f3429c8
Fix the fix for the "out"-related bug from commit de1dc5a
.
...
The problem was that sometimes there'd be an assertion that `meta` had
asserted that *also* was asserted by some local process. Commit
de1dc5a
introduced code that would drop the assertion in this case;
this commit changes it to only remove assertions from the set when
*only* `meta` is asserting them.
2016-01-27 21:29:42 -05:00
Tony Garnock-Jones
6b31b33230
Nameable demand-matchers
2016-01-27 21:03:08 -05:00
Tony Garnock-Jones
bedd44aae5
Using #f as a name doesn't override existing names.
2016-01-27 20:53:37 -05:00
Tony Garnock-Jones
03efb19a4d
Optionally-named process behaviour functions
2016-01-27 20:46:24 -05:00
Tony Garnock-Jones
0db231575c
Properly assert tcp-port-allocation for a listener.
2016-01-24 00:07:33 -05:00
Tony Garnock-Jones
de1dc5aa8e
Fix "out"-related bug in monolithic implementation
2016-01-24 00:04:29 -05:00
Tony Garnock-Jones
0a6cce2d3d
on-claim fix for incremental, on-claim impl for monolithic
2016-01-24 00:03:59 -05:00
Tony Garnock-Jones
ff3ba722ad
Fix pretty-printing of networks
2016-01-24 00:03:32 -05:00
Tony Garnock-Jones
0206dec737
TCP. Connection & transfer works; disconnection, not.
2016-01-23 22:57:07 -05:00
Tony Garnock-Jones
aabeb5adcd
UDP.
2016-01-23 21:59:33 -05:00