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

• 3705d95856 stop statement Sam Caldwell 2018-07-30 14:01:56 -0400
• 33af13016b dataspace form Sam Caldwell 2018-07-30 11:54:05 -0400
• 1a4fc4dd4f check input and output safety in spawn rule Sam Caldwell 2018-07-27 17:16:44 -0400
• e79237b1d3 small adjustment to Role type Sam Caldwell 2018-07-27 11:58:10 -0400
• 4bd8d20b0b refactor effect checking Sam Caldwell 2018-07-27 11:37:22 -0400
• 5803b8f9b0 refactor how effects are checked & propagated Sam Caldwell 2018-07-27 10:54:22 -0400
• 5bd391dd77 rename facet effect key from e to f Sam Caldwell 2018-07-27 10:24:46 -0400
• 71c2846a93 roles for bank account facets Sam Caldwell 2018-07-26 17:16:06 -0400
• 29e09ff3ef start on facet role types Sam Caldwell 2018-07-25 17:26:47 -0400
• 1e66554b8e note on performance Sam Caldwell 2018-05-17 12:17:27 -0400
• 8808b5aca9 typed book club Sam Caldwell 2018-05-16 15:58:02 -0400
• 5124b8e715 parse action types in transition,quit to allow empty lists Sam Caldwell 2018-05-16 11:44:03 -0400
• ceb0c60d20 start on typed book club Sam Caldwell 2018-05-15 17:25:19 -0400
• fb675a850c add tuple and patch utilities and set datatype Sam Caldwell 2018-05-15 17:25:08 -0400
• 46a833a66e typed bank account Sam Caldwell 2018-05-14 16:17:52 -0400
• 5934c1626f typed box and client Sam Caldwell 2018-05-10 14:53:59 -0400
• 9a3d921de3 starter for typed/syndicate/core Sam Caldwell 2018-05-02 13:20:59 -0400
• cff784384a add constructor types Sam Caldwell 2017-12-13 12:16:10 -0500
• b1c000e12e more wip on TS Sam Caldwell 2017-10-18 14:11:38 -0400
• 82e5c8504c wip on typed syndicate Sam Caldwell 2017-10-18 10:57:07 -0400
• bb95c4052c Don't use syndicate's action-collecting module-begin typed Sam Caldwell 2019-01-25 10:51:46 -0500
• 4503d8b923 typed chat server example Sam Caldwell 2019-01-18 14:34:21 -0500
• 2c8d199f76 tcp driver shim module Sam Caldwell 2019-01-18 14:32:21 -0500
• 5ffe20efcb Instead of attaching syntax properties during expansion, generate code that does so Sam Caldwell 2019-01-18 14:18:36 -0500
• 5420d9219b Useful primitives: symbols, bytestrings Sam Caldwell 2019-01-18 14:15:43 -0500
• 5815d76af2 send newlines in tcp2 chat client Sam Caldwell 2019-01-18 13:56:26 -0500
• b40373769c require/typed - no contracts Sam Caldwell 2019-01-03 14:01:09 -0500
• b8250e7c7d require-struct Sam Caldwell 2019-01-03 12:06:14 -0500
• 7e9fbc58fc Remove silly definition text Tony Garnock-Jones 2018-12-22 18:37:16 +0000
• f8824cb505 CSS for sidebar Tony Garnock-Jones 2018-12-22 18:37:07 +0000
• ce95b9c0dd Fix bad class names in css Tony Garnock-Jones 2018-12-22 18:36:59 +0000
• ee8bb71355 Add Home link and fix baseurl in nav Tony Garnock-Jones 2018-12-22 18:36:47 +0000
• 1f427acac9 Link to my homepage Tony Garnock-Jones 2018-12-22 18:15:07 +0000
• cc248ea27c Tweak example styles for small windows Tony Garnock-Jones 2018-12-22 18:07:37 +0000
• 01c2a1727e Nav Tony Garnock-Jones 2018-12-22 17:58:15 +0000
• 4767d3bb73 Restyle Tony Garnock-Jones 2018-12-22 17:49:09 +0000
• 73a9d9cfd8 Note in HOWITWORKS about `opaque-placeholder`. Tony Garnock-Jones 2018-11-20 13:22:44 +0000
• b4f1d36329 Identify, expose, and repair bug (using the new `opaque-placeholder`) Tony Garnock-Jones 2018-11-20 13:20:31 +0000
• 990a450ead rename effect keys to not break with updated turnstile Sam Caldwell 2018-11-19 17:42:08 -0500
• 2c936bec10 small cleanup Sam Caldwell 2018-11-19 11:44:00 -0500
• 0021f7f1a9 Support binary/text websocket payloads Tony Garnock-Jones 2018-11-15 06:49:31 +0000
• 4c0e291658 Repair longstanding, subtle bug in both old- and new-syndicate. Tony Garnock-Jones 2018-11-04 13:43:17 +0000
• 24fa4834ea Silly mistake Tony Garnock-Jones 2018-11-02 15:09:20 +0000
• f07fcb9081 More notes Tony Garnock-Jones 2018-11-02 12:18:44 +0000
• 40fa2ca620 Improve (?) test ergonomics. Tony Garnock-Jones 2018-11-02 12:15:21 +0000
• 5c5316f37e Detect and repair error in error-handling and -recovery. Tony Garnock-Jones 2018-11-02 12:15:04 +0000
• 57d7ec505d Ensure patched assertions are added before being removed, to avoid glitching Tony Garnock-Jones 2018-11-02 00:11:59 +0000
• eaf52ce2c7 Extracted into https://github.com/syndicate-lang/syndicate-js-core Tony Garnock-Jones 2018-11-01 15:32:29 +0000
• f86652e0b2 Prepare for publication Tony Garnock-Jones 2018-11-01 14:55:45 +0000
• 749676b1de Export Immutable, for single-point-of-entry dependency on the runtime Tony Garnock-Jones 2018-11-01 10:10:37 +0000
• ed24d6259a Test coverage for ijs Tony Garnock-Jones 2018-10-27 20:38:45 +0100
• db0580c3f5 Dataspace implementation; bug fixes & test cases for skeleton impl Tony Garnock-Jones 2018-10-27 20:32:12 +0100
• 143abcf4c1 Separate out narration Tony Garnock-Jones 2018-10-24 16:14:54 +0100
• dd8a7861d4 The problem specifies 10 elves Tony Garnock-Jones 2018-10-24 14:29:10 +0100
• 3fec2d2f57 Supply #f as cleanup function in multicast udp-dataspace, instead of void; notes on cleanup functions and visibility-restrictions Tony Garnock-Jones 2018-10-24 13:21:20 +0100
• eea8c8ecfe Tweak Tony Garnock-Jones 2018-10-24 12:44:24 +0100
• 34723d6f2c The Santa Claus Problem in Syndicate.js Tony Garnock-Jones 2018-10-24 12:39:39 +0100
• 81ae56d7a8 Repair bug in timer-driver.js Tony Garnock-Jones 2018-10-24 12:39:08 +0100
• ce706583e5 Santa Claus Problem, in Syndicate/rkt Tony Garnock-Jones 2018-10-24 11:40:16 +0100
• 1744f91b44 Revert "begin splitting up roles.rkt" Sam Caldwell 2018-10-23 08:36:05 -0400
• 924891dbfd Revert "more splitting up" Sam Caldwell 2018-10-23 08:35:38 -0400
• 61e274398e Start on dataspace.js Tony Garnock-Jones 2018-10-22 15:57:13 +0100
• 43d46f37d4 Migrate dataflow impl and tests from old implementation Tony Garnock-Jones 2018-10-22 15:29:07 +0100
• 55bb6dd5ee Exploit tighter lambda syntax Tony Garnock-Jones 2018-10-22 15:06:01 +0100
• 0c47915728 Basic dynamic assertion analysis Tony Garnock-Jones 2018-10-21 16:00:29 +0100
• 2ee5ff4bec Test structs in skeletons; small resulting fixes Tony Garnock-Jones 2018-10-21 13:55:12 +0100
• a1c0247407 Convert to Immutable.js collections on the way in to Structures etc. Tony Garnock-Jones 2018-10-21 13:38:50 +0100
• d36f8199ec Minor refactoring: abstract away from direct usage of .get Tony Garnock-Jones 2018-10-21 13:33:18 +0100
• 20cee16200 Some more tests Tony Garnock-Jones 2018-10-21 13:32:53 +0100
• fe40d6b804 Present-to-absent check is necessary in assertion removal handler Tony Garnock-Jones 2018-10-21 13:32:06 +0100
• e9d510d658 Tweaks Tony Garnock-Jones 2018-10-21 01:04:05 +0100
• d08a7536f1 Minor corrections and tweaks Tony Garnock-Jones 2018-10-21 00:59:38 +0100
• a2ade911f6 First JavaScript steps, based on HOWITWORKS.md Tony Garnock-Jones 2018-10-21 00:58:40 +0100
• f3152fe1c1 Update to explain the "dummy" outermost wrapper constructor Tony Garnock-Jones 2018-10-20 21:54:58 +0100
• a40fb01839 Nope, unsafe-struct-ref is still not measurably faster than the safe variants Tony Garnock-Jones 2018-10-20 21:47:47 +0100
• f1a787b17f Avoid a few gratuitous conversions during `skeleton-modify!`. Tony Garnock-Jones 2018-10-20 21:42:38 +0100
• d490b26dc2 Minor tweak Tony Garnock-Jones 2018-10-20 19:52:37 +0100
• b6063b4d95 Remove superfluous update-path helper Tony Garnock-Jones 2018-10-20 19:13:07 +0100
• 52cf4c3ae5 Fix bug exposed by previous commit Tony Garnock-Jones 2018-10-20 19:09:25 +0100
• 4f6ab9bd77 Eliminate one set of dummy wrappers Tony Garnock-Jones 2018-10-20 18:27:15 +0100
• c2fdd8a37e Describe how the efficient index structure works Tony Garnock-Jones 2018-10-14 21:25:13 +0100
• 49e7ba1b0e more splitting up Sam Caldwell 2018-10-02 14:01:55 -0400
• da1263dc97 begin splitting up roles.rkt Sam Caldwell 2018-10-01 13:06:17 -0400
• 4141529854 Split out preserves into its own repository Tony Garnock-Jones 2018-09-29 17:22:34 +0100
• 1114b5b6b9 SOH-prefixed embedded format considered harmful Tony Garnock-Jones 2018-09-29 00:07:49 +0100
• cc0a7c5a2d Notes on embedded binary values Tony Garnock-Jones 2018-09-29 00:04:56 +0100
• 153466bd10 Notes on NaNs Tony Garnock-Jones 2018-09-28 11:48:58 +0100
• 3ae9d28d37 Grammar Tony Garnock-Jones 2018-09-28 11:12:58 +0100
• 34553f4752 Typo Tony Garnock-Jones 2018-09-28 11:12:44 +0100
• 3669b99525 Clarification Tony Garnock-Jones 2018-09-28 11:12:35 +0100
• 3b869709fb More tests and fixes Tony Garnock-Jones 2018-09-28 11:00:50 +0100
• ec8c91270f Disallow whitespace between a label and its open-parenthesis Tony Garnock-Jones 2018-09-28 11:00:40 +0100
• 5e6b479279 More tests, coverage and fixes Tony Garnock-Jones 2018-09-27 23:14:43 +0100
• bbe9950148 More tests and fixes Tony Garnock-Jones 2018-09-27 22:13:46 +0100
• bf2d20f40d Bug fixes to text reader, and more tests Tony Garnock-Jones 2018-09-27 21:35:03 +0100
• 19e9623358 More TODOs in the text; initial textual reader in Racket Tony Garnock-Jones 2018-09-27 19:25:28 +0100
• 49f64a1058 Handle a couple of TODOs Tony Garnock-Jones 2018-09-27 13:34:32 +0100
• 120c4ee1c4 WIP from the early hours of this morning, adding textual syntax Tony Garnock-Jones 2018-09-27 11:42:55 +0100
• 54073eb164 Python preserves Tony Garnock-Jones 2018-09-25 15:53:56 +0100
• 5683332cc8 Small fix and new question Tony Garnock-Jones 2018-09-25 15:53:42 +0100