Commit Graph

30 Commits

Author SHA1 Message Date
Tony Garnock-Jones 5d0d636f16 Happy new year 2024-03-10 12:43:06 +01:00
Tony Garnock-Jones 89353fa84f Happy new year 2023-01-16 15:57:29 +01:00
Tony Garnock-Jones 41b38e7fb2 define/await 2022-11-30 19:50:25 +00:00
Tony Garnock-Jones d4d53fa9ba Bump copyright years 2022-01-16 09:48:18 +01:00
Tony Garnock-Jones 1fb116630e Queries 2021-06-21 14:39:41 +02:00
Tony Garnock-Jones 0ab3526cba Services and service activation 2021-06-17 14:57:06 +02:00
Tony Garnock-Jones d30c6feeee Split out experimental "stream" protocols; make tcp.rkt use them; more inertness checks
Also, a few other important changes:
 - Better printing of entity-ref structs
 - Inertness checks on assertion retraction (!) and preventer-disarm
 - Correct selection of active facet during dataflow recomputations
 - Repair silly omission in turn-assert/dataflow!
2021-06-16 21:44:07 +02:00
Tony Garnock-Jones a0a963f1e2 Provide event-expanders 2021-06-14 19:23:20 +02:00
Tony Garnock-Jones 4a0e6e0519 actor-group; bug fixes 2021-06-13 07:55:50 +02:00
Tony Garnock-Jones 37ca805969 Ambient current-turn 2021-06-10 11:42:07 +02:00
Tony Garnock-Jones e8a2e00fa2 TAttenuate 2021-06-09 15:06:58 +02:00
Tony Garnock-Jones 40c26f006e Remove :template in favour of ->preserve 2021-06-08 16:20:58 +02:00
Tony Garnock-Jones 19fc5f97bb Adapt to recent changes in preserves-schema 2021-06-08 15:39:55 +02:00
Tony Garnock-Jones 2d07e46c67 Fix and add copyright notices 2021-06-04 16:20:14 +02:00
Tony Garnock-Jones 7be7c36537 Merge branch 'main' into novy 2021-06-04 16:19:41 +02:00
Tony Garnock-Jones 2a360bff32 Adjust copyrights 2021-06-04 15:56:03 +02:00
Tony Garnock-Jones c6d4d3acf1 Fix up copyright notices 2021-06-04 11:35:27 +02:00
Massimo Zaniboni 855b7835f6 Added license header to each source code file 2021-06-04 11:13:49 +02:00
Tony Garnock-Jones f1c3859a71 Put assertion-struct and message-struct back. 2021-06-03 23:32:22 +02:00
Tony Garnock-Jones d648af920a Restore syndicate-examples package; port box-and-client.rkt 2021-06-03 22:48:12 +02:00
Tony Garnock-Jones 490f2d82db Provide :pattern and :template by default 2021-06-03 22:48:11 +02:00
Tony Garnock-Jones 40310a0eb3 Split out dataspace.rkt 2021-06-02 15:00:25 +02:00
Tony Garnock-Jones 21bb695ac8 First program! 2021-05-27 11:28:10 +02:00
Tony Garnock-Jones 08c4980025 Move the bulk of the existing implementation out of the way 2021-05-27 10:34:35 +02:00
Tony Garnock-Jones f269c02c23 Rearrange for independent packages. 2020-04-27 20:27:48 +02:00
Tony Garnock-Jones 00d50e6700 Factor out assertion structure definitions 2018-05-03 16:14:30 +01:00
Tony Garnock-Jones dd2cddb6a7 Nested dataspaces 2018-04-29 14:54:14 +01:00
Tony Garnock-Jones 204197c3eb First stab at #lang infrastructure 2018-04-29 12:22:12 +01:00
Tony Garnock-Jones 1d67cbe65e Rearrange 2018-03-27 22:21:49 +13:00
Tony Garnock-Jones 86930702e0 Initial sketch of new routing-table idea 2018-03-27 22:21:49 +13:00