817e292760
Revert "begin splitting up roles.rkt"
...
This reverts commit da1263dc97
2019-01-25 11:16:05 -05:00
7117816a74
Revert "more splitting up"
...
This reverts commit 49e7ba1b0e
2019-01-25 11:16:05 -05:00
1b0f41f465
more splitting up
2019-01-25 11:16:05 -05:00
c11d719f20
begin splitting up roles.rkt
2019-01-25 11:16:05 -05:00
70aafc8bdf
re-finangle `define/intermediate` to allow require & provides
...
Needed to change from `make-rename-transformer` to
`make-variable-like-transformer` because apparently rename transformers
are treated differently when referred to from another model, hiding the
syntax properties on the target.
2019-01-25 11:16:05 -05:00
dcc6bbcbe7
file system roles w messages
2019-01-25 11:16:05 -05:00
1b7d5a2330
cell example
2019-01-25 11:16:04 -05:00
1b5cf6d772
messages
2019-01-25 11:16:04 -05:00
57934b389f
fix making defn context with #f #f
2019-01-25 11:16:04 -05:00
46379858c2
stuff
2019-01-25 11:16:04 -05:00
139e0bcac5
book club
2019-01-25 11:16:04 -05:00
86330bde03
dataflow
2019-01-25 11:16:04 -05:00
0f2469c364
query set
2019-01-25 11:16:04 -05:00
144e20bdde
query-value
2019-01-25 11:16:03 -05:00
5104677fc6
define functions differently
2019-01-25 11:16:03 -05:00
cabb4e2e7c
local define
2019-01-25 11:16:03 -05:00
d7fc251bc8
walk/bind in begin as well
2019-01-25 11:16:03 -05:00
94823854c0
code reuse!
2019-01-25 11:16:03 -05:00
a9665d93d0
re-factor field shenanigans
2019-01-25 11:16:03 -05:00
ad2e337268
free standing fields!
2019-01-25 11:16:02 -05:00
00bf7d2364
during
2019-01-25 11:16:02 -05:00
632c04139b
sets
2019-01-25 11:16:02 -05:00
6d2d14459c
lists
2019-01-25 11:16:02 -05:00
03285824c7
two buyer example
2019-01-25 11:16:02 -05:00
ddff1c800c
on start and stop, spawned actors
2019-01-25 11:16:02 -05:00
c66b62cf46
simple example
2019-01-25 11:16:01 -05:00
e7e8f5e174
fix pattern compilation
2019-01-25 11:16:01 -05:00
938d3c519d
fix bugs, null-ary stops
2019-01-25 11:16:01 -05:00
35b3811462
cond, match
2019-01-25 11:16:01 -05:00
af91b669b7
lambdas
2019-01-25 11:16:01 -05:00
5130197e27
utilities
2019-01-25 11:16:01 -05:00
3705d95856
stop statement
2019-01-25 11:16:00 -05:00
33af13016b
dataspace form
2019-01-25 11:16:00 -05:00
1a4fc4dd4f
check input and output safety in spawn rule
2019-01-25 11:16:00 -05:00
e79237b1d3
small adjustment to Role type
2019-01-25 11:16:00 -05:00
4bd8d20b0b
refactor effect checking
2019-01-25 11:16:00 -05:00
5803b8f9b0
refactor how effects are checked & propagated
2019-01-25 11:16:00 -05:00
5bd391dd77
rename facet effect key from e to f
2019-01-25 11:16:00 -05:00
71c2846a93
roles for bank account facets
2019-01-25 11:15:59 -05:00
29e09ff3ef
start on facet role types
2019-01-25 11:15:59 -05:00
1e66554b8e
note on performance
2019-01-25 11:15:59 -05:00
8808b5aca9
typed book club
2019-01-25 11:15:59 -05:00
5124b8e715
parse action types in transition,quit to allow empty lists
2019-01-25 11:15:59 -05:00
ceb0c60d20
start on typed book club
2019-01-25 11:15:58 -05:00
fb675a850c
add tuple and patch utilities and set datatype
2019-01-25 11:15:58 -05:00
46a833a66e
typed bank account
2019-01-25 11:15:58 -05:00
5934c1626f
typed box and client
2019-01-25 11:15:58 -05:00
9a3d921de3
starter for typed/syndicate/core
2019-01-25 11:15:58 -05:00
cff784384a
add constructor types
2019-01-25 11:15:58 -05:00
b1c000e12e
more wip on TS
2019-01-25 11:15:58 -05:00
82e5c8504c
wip on typed syndicate
2019-01-25 11:15:57 -05:00
47094c11c4
Responsibility transfer during outbound websocket connection establishment
2018-08-14 17:38:36 +01:00
cb351eee09
Repair current-ground-dataspace initialization, to allow override in e.g. graphical programs
2018-06-01 09:12:39 +01:00
e402725d7f
note
2018-05-01 13:55:34 -04:00
f1c51661c7
Re-finagle module-begin to a more incremental style
...
Fixes 33
2018-05-01 13:55:34 -04:00
f64ad8389a
Update example-during-criterion-snapshotting.rkt
2018-04-29 21:48:49 +01:00
1fa5167e20
Fix a design flaw in Syndicate-HLL for syndicate/rkt.
...
If:
- a field is used in an assertion of interest in facet A
- and that field changes
- to a value that causes the assertion of interest to overlap
with some facet B's assertion of interest
- and an assertion matching that interest was already known to the actor,
Then:
- previously, facet A would not be informed of the matching assertion
- but now, it is informed of the matching assertion.
This more or less only affects "on asserted" endpoints.
The change here should be written up as an erratum to chapter 5 in my
dissertation. Also, syndicate/js needs to be checked for the bug and
probably fixed in an analogous way.
2018-03-27 21:58:57 +13:00
55e1f09484
New "bug" (?)
2018-03-22 13:49:16 +13:00
af150712e0
example-memoized.rkt
2018-03-06 17:35:40 +00:00
57a40e9576
Asynchronously send UDP packets.
...
Switch from synchronous to asynchronous UDP transmission, in case DNS
resolution takes a long time or fails. Specifically, in case of failure,
previously the UDP actor would crash, whereas now the packet is just
"dropped".
2018-03-06 11:12:57 +00:00
1ab4f0f525
Alternate approach to caching
2017-12-06 09:13:28 +00:00
f11f4fd054
tcp-relay2.rkt
2017-12-05 17:38:49 +00:00
eb44003317
New examples
2017-12-05 17:32:12 +00:00
eb564fdb7c
More general tcp-connect error catching.
2017-12-05 17:22:28 +00:00
c9ec9f6be9
Special printer for seals. Fixes #27 .
2017-12-05 17:22:13 +00:00
75093d0e1a
Fullscreen big-bang
2017-11-25 12:03:32 -05:00
53e26b08a1
Many improvements to the netstack TCP implementation.
...
- New timestate `on-timeout` complementing `stop-when-timeout`
- IP layer avoids spurious reordering
- Demo HTTP server sends 4kB responses, for testing
- TCP now has something closer to proper sliding-window behavior
- TCP RTT estimator
- TCP now uses timestate driver rather than raw timer driver
- Many small TCP bugs found and fixed
2017-11-13 20:02:07 +00:00
87495bdc37
Fix missing dependency.
2017-11-12 14:04:36 +00:00
710e75dffa
cleanup.rkt
2017-10-31 17:00:09 +00:00
d51a513f8b
add1-simple.rkt
2017-10-21 14:56:46 +01:00
bf0eb16643
syndicate-render-msd: --number, --no-number, --number-gap
2017-10-21 14:55:28 +01:00
8999b8446d
Use tcp-in-line in chat-tcp2.rkt
2017-10-21 14:54:53 +01:00
fa82634868
ceu-leds.rkt
2017-10-20 16:25:16 +01:00
45eee62fc2
chat-bot.rkt
2017-10-20 11:54:04 +01:00
5904a2f956
Tweak chat-tcp2.rkt
2017-10-19 17:12:01 +01:00
32d1274a8d
Expose field-ref/field-set!, for the f-to-c examples I committed just previously
2017-10-17 21:21:58 +01:00
18b3ab0d97
Two equations are better than one blob
2017-10-17 21:21:27 +01:00
fc0e900485
New variations on f-to-c
2017-10-17 18:49:26 +01:00
0526364698
web-request-send!
2017-10-13 13:52:45 +01:00
70a56e6457
Allow stop-current-facet to take scripts to execute, like stop-facet
2017-10-12 13:59:11 +01:00
22998de0dc
tcp2 line-reader
2017-10-11 22:22:29 +01:00
801470ebaa
tcp2
2017-10-11 14:45:54 +01:00
66e2e8b1a7
Fix race condition (!) in timer driver
2017-10-03 10:49:48 +01:00
14f1cbd4fa
Remove obsolete call to current-inexact-milliseconds
2017-10-03 10:08:44 +01:00
275b60310f
Positively assert detected failures during continuous interest
2017-10-02 14:31:58 +01:00
ca0de7d52f
running-total.rkt
2017-10-01 15:27:58 +01:00
16bd0155cc
Terminal-based IRC client
2017-10-01 11:08:46 +01:00
eb07be548e
Bug fix: retract names on part
2017-10-01 11:08:36 +01:00
5254feb4de
rpc-with-error.rkt
2017-09-30 21:24:43 +01:00
db333a266f
Tweaks to udp-echo.rkt
2017-09-29 17:34:40 +01:00
d96477b9db
udp-echo.rkt
2017-09-29 17:23:07 +01:00
0599f974b9
all-pairs-shortest-paths3.rkt
2017-09-29 15:43:02 +01:00
4f52ebf108
Simplify make.rkt slightly
2017-09-29 13:13:57 +01:00
fa257a1d16
Avoid accidental n^2 in filesystem driver; make.rkt example
2017-09-28 19:28:38 +01:00
7a4d528dc0
Another timestate example
2017-09-28 17:41:17 +01:00
4a51141500
Simplify timestate driver
2017-09-28 17:07:32 +01:00
51ab2921c2
New examples
2017-09-28 16:26:01 +01:00
e41290c509
simple-cross-layer.rkt
2017-09-25 23:56:03 +01:00
6c4ae38499
Make HLL `dataspace` no longer automatically `quit-dataspace`. Fixes #20 .
2017-09-25 23:52:29 +01:00
903ed5deaa
Omit empty patches in render-msd
2017-09-18 16:14:22 +01:00
Sam Caldwell
Sam Caldwell
Tony Garnock-Jones
Sam Tobin-Hochstadt