Commit Graph

Select branches

Hide Pull Requests

attributed-action

behav

bitset

canonical-sets

comprehensions

concurrent_actors

functional-dataflow-impl

gh-pages

hll-syndicate-racket-v1

imperative

main

module-begin

platformer_hll_tmp

pr/1

pr/14

pr/32

pr/34

pr/37

pr/42

pr/43

pr/45

pr/7

pr/8

pr/9

render_dataspace

spawn/actor-swap

tui

typed

upside-down

wip-typedefs

extracted_imperative_syndicate_20200427

last_route_rkt_pre_trie_rkt

places-2016

Mono Color

• 41a4593183 Improve example Tony Garnock-Jones 2018-08-15 10:11:07 +0100
• e7b33b22d0 book club Sam Caldwell 2018-08-14 18:23:35 -0400
• 3a9564df59 dataflow Sam Caldwell 2018-08-14 17:02:39 -0400
• 61a2ad2d76 query set Sam Caldwell 2018-08-14 16:35:39 -0400
• 5b0bce7a12 query-value Sam Caldwell 2018-08-14 15:43:51 -0400
• 8a34bf20d8 Initial quasi-port of Syndicate/rkt web driver Tony Garnock-Jones 2018-08-14 17:58:36 +0100
• 0d9afec6df Merge branch 'master' into imperative Tony Garnock-Jones 2018-08-14 17:38:45 +0100
• 47094c11c4 Responsibility transfer during outbound websocket connection establishment Tony Garnock-Jones 2018-08-14 17:38:36 +0100
• 0b7f827cec Multicast-UDP-based dataspace sketch, from last night Tony Garnock-Jones 2018-08-14 12:35:56 +0100
• 65e9ffac59 Clear no-longer-interesting timers Tony Garnock-Jones 2018-08-14 12:33:50 +0100
• 6881393b53 define functions differently Sam Caldwell 2018-08-13 19:32:23 -0400
• d05e73830d local define Sam Caldwell 2018-08-13 18:50:08 -0400
• 8bd848bca0 TODO Tony Garnock-Jones 2018-08-13 21:45:44 +0100
• 2a00d59231 term-intersect Tony Garnock-Jones 2018-08-13 21:32:51 +0100
• 11f28e13e2 UDP and UDP multicast Tony Garnock-Jones 2018-08-13 20:07:27 +0100
• 0972568eb2 walk/bind in begin as well Sam Caldwell 2018-08-09 22:06:08 -0400
• 32c1321cdc code reuse! Sam Caldwell 2018-08-09 21:42:20 -0400
• dc38f40927 re-factor field shenanigans Sam Caldwell 2018-08-09 21:02:24 -0400
• 674b87740f free standing fields! Sam Caldwell 2018-08-08 15:20:09 -0400
• 97174e668b during Sam Caldwell 2018-08-01 11:30:25 -0400
• adb1098283 sets Sam Caldwell 2018-08-01 10:52:56 -0400
• 1448d7db88 lists Sam Caldwell 2018-08-01 10:35:22 -0400
• c95c32abd9 two buyer example Sam Caldwell 2018-07-31 15:54:16 -0400
• a383667938 on start and stop, spawned actors Sam Caldwell 2018-07-31 15:51:20 -0400
• 1e3fc3ae49 simple example Sam Caldwell 2018-07-31 14:46:36 -0400
• 96b61c8b75 fix pattern compilation Sam Caldwell 2018-07-31 14:46:24 -0400
• 9a161e77c4 fix bugs, null-ary stops Sam Caldwell 2018-07-31 14:03:15 -0400
• a59cf4a039 cond, match Sam Caldwell 2018-07-30 17:36:42 -0400
• e5e7865f73 lambdas Sam Caldwell 2018-07-30 17:00:42 -0400
• 0267b4a5f3 utilities Sam Caldwell 2018-07-30 15:17:30 -0400
• 8cce22face Merge branch 'master' into imperative Tony Garnock-Jones 2018-07-30 19:39:41 +0100
• eb70563edb Respond to ISON commands. Tony Garnock-Jones 2018-07-30 19:39:19 +0100
• c564bd28ec Weirdly, irssi sends the "ison" command in lower-case. Tony Garnock-Jones 2018-07-30 19:39:11 +0100
• 9218387500 stop statement Sam Caldwell 2018-07-30 14:01:56 -0400
• cd854daaa8 dataspace form Sam Caldwell 2018-07-30 11:54:05 -0400
• 27e55c583c check input and output safety in spawn rule Sam Caldwell 2018-07-27 17:16:44 -0400
• 1cf4b82abb small adjustment to Role type Sam Caldwell 2018-07-27 11:58:10 -0400
• 0a702c77f0 refactor effect checking Sam Caldwell 2018-07-27 11:37:22 -0400
• 636723dc05 refactor how effects are checked & propagated Sam Caldwell 2018-07-27 10:54:22 -0400
• b5e4153cdb rename facet effect key from e to f Sam Caldwell 2018-07-27 10:24:46 -0400
• 70db387b54 roles for bank account facets Sam Caldwell 2018-07-26 17:16:06 -0400
• e876b0a16b start on facet role types Sam Caldwell 2018-07-25 17:26:47 -0400
• 865b3ae8a1 Installation instructions Tony Garnock-Jones 2018-06-01 10:03:59 +0100
• 050821e714 Style support for (potential) code walkthrough pages Tony Garnock-Jones 2018-06-01 09:42:43 +0100
• a4ef60fa78 Per-page custom stylesheet additions Tony Garnock-Jones 2018-06-01 09:42:10 +0100
• 75b3488c83 Merge branch 'master' into imperative Tony Garnock-Jones 2018-06-01 09:13:04 +0100
• cb351eee09 Repair current-ground-dataspace initialization, to allow override in e.g. graphical programs Tony Garnock-Jones 2018-06-01 09:12:39 +0100
• 983d0a2172 note on performance Sam Caldwell 2018-05-17 12:17:27 -0400
• 070afb06fa typed book club Sam Caldwell 2018-05-16 15:58:02 -0400
• f82b22fd83 parse action types in transition,quit to allow empty lists Sam Caldwell 2018-05-16 11:44:03 -0400
• ea974b0a9d start on typed book club Sam Caldwell 2018-05-15 17:25:19 -0400
• ec17e200c7 add tuple and patch utilities and set datatype Sam Caldwell 2018-05-15 17:25:08 -0400
• 14f5cfdceb typed bank account Sam Caldwell 2018-05-14 16:17:52 -0400
• 939b0620ed filesystem driver Tony Garnock-Jones 2018-05-11 09:58:25 +0100
• 4d7f2d1ba8 typed box and client Sam Caldwell 2018-05-10 14:53:59 -0400
• 9867eed0d6 consolidate Quit and Transition types Sam Caldwell 2018-05-09 18:08:55 -0400
• 38d9297453 flesh out Sam Caldwell 2018-05-09 17:34:42 -0400
• b26994628a macro wrangling Sam Caldwell 2018-05-08 17:21:25 -0400
• a5cab3ac36 Disable turnstile stop list for facet types Sam Caldwell 2018-05-08 11:21:26 -0400
• 9913d1b1e7 fix typo Sam Caldwell 2018-05-07 17:29:03 -0400
• a0a41e9cd5 fold, list Sam Caldwell 2018-05-07 13:39:22 -0400
• 89a6c14eea transition, quit Sam Caldwell 2018-05-07 13:19:25 -0400
• 739b68a24a switch to a for-loop style project Sam Caldwell 2018-05-07 11:48:18 -0400
• 3f02e0e52e misguided project implementation Sam Caldwell 2018-05-07 10:57:01 -0400
• a391b0ff24 Port netstack to imperative-syndicate. Tony Garnock-Jones 2018-05-06 15:09:06 +0100
• 017d5851be More robust against experimentation where the range of `i` is increased Tony Garnock-Jones 2018-05-06 13:38:52 +0100
• dbcc931ebd Notes on tcp2 protocol Tony Garnock-Jones 2018-05-06 11:24:28 +0100
• 07d5656e41 New test case Tony Garnock-Jones 2018-05-06 11:06:36 +0100
• 5cd8e2c2cb Add missing assertion for outbound connections. Tony Garnock-Jones 2018-05-06 11:03:39 +0100
• fd7cac5bae Repair bogus test. I should have caught this earlier! Tony Garnock-Jones 2018-05-06 10:55:21 +0100
• 3c7676906d Improve the kinds of tests we can do for expected output slightly. Tony Garnock-Jones 2018-05-06 10:55:02 +0100
• 85535608fd pattern-expander.rkt Tony Garnock-Jones 2018-05-04 17:52:16 +0100
• 12d4e95ac4 GUI example Tony Garnock-Jones 2018-05-04 16:57:22 +0100
• ff4c4a59bd Cosmetic - extra logging (when uncommented) Tony Garnock-Jones 2018-05-04 16:56:56 +0100
• c77416b727 Repair long-standing error in skeleton-walking. Tony Garnock-Jones 2018-05-04 16:56:45 +0100
• cc54496ac6 Extremely limited support for quasiquoting and quoting in patterns Tony Garnock-Jones 2018-05-04 16:56:23 +0100
• 59e1a09d61 Clock face example Tony Garnock-Jones 2018-05-04 16:09:12 +0100
• 00c6311bfc Quasi-useful debug output Tony Garnock-Jones 2018-05-04 16:04:42 +0100
• d9ca939d60 Restriction-paths: right idea (?), wrong implementation. This time maybe. Tony Garnock-Jones 2018-05-04 15:55:53 +0100
• ab75efe7f9 Skip apply-patch! make-work if patch is empty Tony Garnock-Jones 2018-05-03 22:56:40 +0100
• c27ace547d Add the concept of "restriction-path", which limits assertion visibility. Tony Garnock-Jones 2018-05-03 22:09:33 +0100
• 8acfaab8f8 for/bag and for/bag/count Tony Garnock-Jones 2018-05-03 22:09:13 +0100
• 58695351d9 Make test-implementation language expose all of `racket` rather than just `racket/base`, for convenience. Tony Garnock-Jones 2018-05-03 22:08:52 +0100
• b95dd5142a Reuse apply-patch for initial-assertions too Tony Garnock-Jones 2018-05-03 20:09:34 +0100
• d4dd5c4c9b work on core types Sam Caldwell 2018-05-03 15:06:15 -0400
• afaebdf69c Factor out assertion structure definitions Tony Garnock-Jones 2018-05-03 16:14:30 +0100
• 7079a14d5a Notes on install and test Tony Garnock-Jones 2018-05-03 15:21:33 +0100
• a4b8294734 README.md Tony Garnock-Jones 2018-05-03 15:05:03 +0100
• 83b088e5ee Merge branch 'master' into imperative Tony Garnock-Jones 2018-05-03 14:51:39 +0100
• db79bd47f6 Create CNAME Tony Garnock-Jones 2018-05-03 09:22:14 +0100
• 61d62208b8 Delete CNAME Tony Garnock-Jones 2018-05-03 09:22:08 +0100
• 5631b24904 Add second, non-dataspace, test case to illustrate correct behaviour Tony Garnock-Jones 2018-05-02 23:36:03 +0100
• 835528e855 New (failing) test case re: the approach to relaying Tony Garnock-Jones 2018-05-02 18:23:02 +0100
• 8d96543cfe starter for typed/syndicate/core Sam Caldwell 2018-05-02 13:20:59 -0400
• 496682f550 Correct printing of test procedures Tony Garnock-Jones 2018-05-02 18:20:33 +0100
• e7773e918d Add `bag-empty?` Tony Garnock-Jones 2018-05-02 18:20:24 +0100
• 81e5cfbec4 Ensure (??) that relays' assertions can't outlive them Tony Garnock-Jones 2018-05-02 18:10:52 +0100
• 2c88096861 fixup Sam Caldwell 2018-05-02 11:34:12 -0400
• e29c26b592 add constructor types Sam Caldwell 2017-12-13 12:16:10 -0500
• 68f6bb02fe wip Sam Caldwell 2017-12-01 15:53:53 -0500