7067c06961
Conversations
2016-12-07 19:19:32 +13:00
f13fc9cad3
Support loading of test data
2016-12-07 10:10:05 +13:00
bf20d84935
Script to start the server
2016-12-07 10:06:49 +13:00
132032b602
Conversation management and UI
2016-12-07 10:06:32 +13:00
985403894f
Refactor single-page-app page assembly
2016-12-06 18:30:02 +13:00
88ff347744
Logout; fix nav
2016-12-06 18:05:15 +13:00
db0282ca72
Greatly simplify and improve contact management
2016-12-06 17:58:52 +13:00
cbdc19fc8e
Hacking
2016-12-06 15:04:41 +13:00
26d4a75318
linkify library; not yet used
2016-12-06 05:43:19 +13:00
803e3f6fd5
Gravatar avatar
2016-12-04 18:29:06 +13:00
6af0ec70c8
A few days's hacking
2016-11-30 18:08:35 +13:00
7633174562
Give names to various toplevel netstack program actors
2016-09-09 16:48:11 -04:00
abba2719fd
Fix embarrassing typo
2016-09-09 16:47:48 -04:00
c61ed644ce
More conversion from actor-react to actor
2016-08-24 21:29:08 +01:00
4beb281a2d
Clean up netstack README and TODO situation.
2016-08-16 09:39:27 -04:00
c9ae956bd2
Update OT example
2016-08-01 17:48:13 -04:00
4e1bab4b90
Introduce make-spawn to capture parameterizations. Closes #10 .
2016-07-31 17:24:48 -04:00
e36777584c
Cosmetic
2016-07-31 12:09:27 -04:00
dd246ddcae
I forgot the "forever". This happens somewhat frequently.
2016-07-31 11:36:56 -04:00
15b5406932
First (incomplete, buggy!) commit of a port of lll-main.rkt to hll
2016-07-30 17:22:30 -04:00
8f0ba7625b
Move main.rkt --> lll-main.rkt
2016-07-30 17:06:32 -04:00
06ddbe060e
Clean up various projections.
2016-07-30 15:07:23 -04:00
5f48f3ba0c
Update platformer to split mux and relay.
2016-07-30 14:49:05 -04:00
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
9241775879
Multiserver.
2016-07-28 15:45:45 -04:00
be157decce
Remove unneeded line
2016-07-28 06:58:36 -04:00
eabf9be37b
Fix stupid error
2016-07-28 06:50:35 -04:00
05325c2699
Use a real field instead of an icky `set!`
2016-07-26 16:40:55 -04:00
eb27d6acc5
Allow garbage-collection of no-longer-needed operations.
2016-07-25 21:34:19 -04:00
d67d490885
Operational transformation example
2016-07-25 21:33:15 -04:00
6cac704bc5
Sound
2016-07-24 14:43:27 -04:00
c146f1d3b9
Merge branch 'incremental-actor-netstack'
2016-07-21 17:04:54 -04:00
d33d2f42a3
Move incremental netstack implementation to subdir
2016-07-21 17:04:43 -04:00
b2d5a3f74d
Copy monolithic netstack implementation to subdir, for future reference
2016-07-21 17:04:01 -04:00
e1ddeb5f90
Use begin/dataflow to log allocated ports and statevecs
2016-07-21 16:50:30 -04:00
e0f3650989
Switch to a more neutral webserver for fetchurl.rkt
2016-07-21 16:50:30 -04:00
e165972a03
Bring fetchurl.rkt up to date
2016-07-21 16:50:30 -04:00
75ef296c58
Repair TCP state-vector tracking.
...
I had missed that the syndicate/monolithic implementation
was *subscribing* with a #t filter, but *projecting* without one.
2016-07-21 16:50:30 -04:00
71b8edf5c3
Remove no-longer-needed on-claim.rkt
2016-07-21 16:50:30 -04:00
015d7c38dd
Properly evaluate some TCP stop-when conditions.
...
Prior to this commit, the stop-whens were using
current-inexact-milliseconds in a comparison to detect a timeout,
meaning that timeouts would be missed. This commit introduces a
redundant copy of current-inexact-milliseconds in a field and changes it
on every event so that stop-when expressions involving the field are
reevaluated properly frequently.
2016-07-21 16:50:30 -04:00
09dfaf7d0e
Migrate ip, port-allocator, udp and tcp to syndicate/actor
2016-07-21 16:50:30 -04:00
04f1c56a5a
Migrate main.rkt to syndicate/actor
2016-07-21 16:50:30 -04:00
ec2996e931
Migrate fetchurl.rkt to syndicate/actor
2016-07-21 16:50:30 -04:00
b444bccb80
Migrate demo-config.rkt to syndicate/actor
2016-07-21 16:50:30 -04:00
fb5b6e80b8
Translate Ethernet and ARP to incremental/actor style
2016-07-21 16:50:30 -04:00
4f570fcd18
Support current-ground-dataspace for syndicate-gl.
2016-07-16 16:15:19 -04:00
e8d33d4135
Move from syndicate-monolithic to syndicate/monolithic, in prep for refactoring
2016-07-12 13:55:59 -04:00
0b2d80a997
Fix another overlooked use of <spawn>
2016-06-14 03:21:23 -04:00
4372df1b40
Gitignore
2016-04-19 18:53:00 -04:00
7fcfa9586b
Rename "network" to "dataspace" throughout
2016-04-07 09:42:54 +02:00
Tony Garnock-Jones