syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • a84b80a49b Make inference slightly more lenient wrt unions Sam Caldwell 2019-05-20 15:45:32 -0400
  • ed695c66d6 add error form Sam Caldwell 2019-05-20 14:28:38 -0400
  • 4420f6cd74 improve handling of type variables Sam Caldwell 2019-05-17 16:13:05 -0400
  • d9e651a668 tweak how pattern types are handled Sam Caldwell 2019-05-17 16:12:48 -0400
  • 66a3ece353 flink-support Sam Caldwell 2019-05-17 10:38:01 -0400
  • db41cb63d7 query-hash Sam Caldwell 2019-05-17 10:37:49 -0400
  • 349fa19d26 require&provide maybe,either Sam Caldwell 2019-05-17 10:36:13 -0400
  • 5238b74912 move patterns to core expressions Sam Caldwell 2019-05-17 10:35:40 -0400
  • 3def83502a more primitive operations Sam Caldwell 2019-05-17 10:34:55 -0400
  • 5fda25a42e more hash operations Sam Caldwell 2019-05-17 10:34:33 -0400
  • 9dd11ef7db more list operations Sam Caldwell 2019-05-17 10:34:14 -0400
  • 8f92368d8f typed-flink: task manager Sam Caldwell 2019-05-16 15:53:02 -0400
  • dc0e434caa make sure begin always has a definition context Sam Caldwell 2019-05-16 15:52:33 -0400
  • fd40ab2e52 more set operations Sam Caldwell 2019-05-16 15:52:15 -0400
  • 5310956848 more hash functions Sam Caldwell 2019-05-15 17:25:11 -0400
  • 1590687e7a typed flink - task runner Sam Caldwell 2019-05-15 17:00:21 -0400
  • 68f14919d7 fix output type for actors without interests Sam Caldwell 2019-05-15 16:05:47 -0400
  • 309d6867d9 fix argument order bug in hash-update Sam Caldwell 2019-05-15 16:05:30 -0400
  • 8819af878e typed flink data definitions Sam Caldwell 2019-05-15 15:19:05 -0400
  • 3b35000a5e assertion-struct macro Sam Caldwell 2019-05-15 15:18:46 -0400
  • 69660e02dd split out core-expressions with #%app, which is now more explicit Sam Caldwell 2019-05-13 15:35:38 -0400
  • 4b692428af Improve scoping structure of for-clauses Sam Caldwell 2019-05-13 11:56:57 -0400
  • 2c0bef7da4 make list operations polymorphic functions Sam Caldwell 2019-05-10 10:28:42 -0400
  • 75539d0ec3 fix ty-var bug Sam Caldwell 2019-05-10 10:27:30 -0400
  • 47d2568a93 first take on local inference Sam Caldwell 2019-05-09 13:19:52 -0400
  • 1bdb9b7820 move definition of primitive base types Sam Caldwell 2019-05-09 10:23:15 -0400
  • 97b3a9a0b5 subtyping for effect-free functions Sam Caldwell 2019-05-01 10:17:26 -0400
  • 63089efdbc fixup fold in book club Sam Caldwell 2019-05-01 10:17:04 -0400
  • 1b2527920e start on for loops Sam Caldwell 2019-04-30 17:42:03 -0400
  • 899d8c460d hash tables Sam Caldwell 2019-04-30 11:22:40 -0400
  • af56bc283d add sequences Sam Caldwell 2019-04-29 18:07:23 -0400
  • 33522647fd allow polymorphic function definitions Sam Caldwell 2019-04-29 17:34:49 -0400
  • c9563cd0a2 type abstractions Sam Caldwell 2019-04-29 17:03:39 -0400
  • 80ef12ef4d split out primitives Sam Caldwell 2019-04-26 15:33:07 -0400
  • 1c9f53590d split out files Sam Caldwell 2019-04-26 15:16:08 -0400
  • c9a44ab45e Attach useful metadata as syntax properties to some types Sam Caldwell 2019-04-26 14:15:34 -0400
  • e3c7926b92 simplify implementation of overlaps? Sam Caldwell 2019-04-08 18:06:25 -0400
  • 7815fad415 examples/flink: implement task delegation roles in terms of abstract templates Sam Caldwell 2019-04-02 16:18:57 -0400
  • e16db164df look more at book club roles Sam Caldwell 2019-03-29 16:12:46 -0400
  • 362d7c877d More leader-related role finangling Sam Caldwell 2019-03-28 14:55:48 -0400
  • 19f915620e Keep track of branches for role effects in turnstile lang Sam Caldwell 2019-03-28 14:53:25 -0400
  • c726fb2bdd look into leader impl simulating spec a bit Sam Caldwell 2019-03-27 14:02:25 -0400
  • 47dc84f034 some more simulation tests Sam Caldwell 2019-03-26 10:05:09 -0400
  • 0cc550ea43 leader-spec simulates itself! Sam Caldwell 2019-03-25 21:05:55 -0400
  • 324557e8b5 simplest simulation example passes Sam Caldwell 2019-03-25 21:01:22 -0400
  • 50448f41a7 subtyping Sam Caldwell 2019-03-22 16:15:54 -0400
  • 126046caa9 remember initial state when compiling Sam Caldwell 2019-03-22 16:08:36 -0400
  • a8d398eec7 small improvements Sam Caldwell 2019-03-22 15:34:38 -0400
  • 170e2b28ce incorporate branching! Sam Caldwell 2019-03-22 15:14:49 -0400
  • 480b67ea51 More on facet states, including graphviz view Sam Caldwell 2019-03-19 16:44:10 -0400
  • 64016053ff prototyping interpretation of roles as state machines Sam Caldwell 2019-03-15 17:48:52 -0400
  • a3380ea403 fixups for package installation Sam Caldwell 2019-08-26 11:08:30 -0400
  • 3957f031c1 declare turnstile deps Sam Caldwell 2019-08-23 10:05:11 -0400
  • e932d44709 Fix link case Tony Garnock-Jones 2019-08-11 15:23:57 +0100
  • 11ff9dcbab Oops Tony Garnock-Jones 2019-08-10 14:53:10 +0100
  • 14a2745a7b First steps toward decent Syndicate documentation Tony Garnock-Jones 2019-08-10 14:49:14 +0100
  • 345e940833 Default TCP port 21369 Tony Garnock-Jones 2019-06-23 14:01:30 +0100
  • f4beff6fb9 Cope with echo-server minimart-benchmark test: flat new-connection cost Tony Garnock-Jones 2019-06-21 16:43:59 +0100
  • 257cc5a807 Remove out-of-date example expansions Tony Garnock-Jones 2019-06-21 16:43:24 +0100
  • 047dcbd98b On start, only relay subs with active holders Tony Garnock-Jones 2019-06-20 22:54:59 +0100
  • d865087b7d Must be able to disable heartbeats for testing Tony Garnock-Jones 2019-06-20 12:19:45 +0100
  • 9004725341 Proper heartbeats Tony Garnock-Jones 2019-06-20 11:55:29 +0100
  • fb184e95ff Update HOWITWORKS.md Tony Garnock-Jones 2019-06-18 18:01:40 +0100
  • 5c514b7ff6 Partial repair for a deep problem with visibility-restriction. Tony Garnock-Jones 2019-06-18 17:56:09 +0100
  • b10f0b668f Cosmetic: indicate protocol grouping Tony Garnock-Jones 2019-06-13 12:51:20 +0100
  • e463f56cf5 Terminate federation link facet on receipt of Err Tony Garnock-Jones 2019-06-13 12:51:11 +0100
  • b6a3200dfa Repair error: an End was missing Tony Garnock-Jones 2019-06-13 12:50:55 +0100
  • d1269bbc33 Improved error signalling Tony Garnock-Jones 2019-06-12 00:23:39 +0100
  • c04fea1ab9 Switch to federated-link-ready Tony Garnock-Jones 2019-06-11 18:47:56 +0100
  • a648ab7c8a Command-line control of nickname in server-chat-client Tony Garnock-Jones 2019-06-11 18:34:25 +0100
  • 65c99e24b4 Line-based buffering of stdout in server-chat-client Tony Garnock-Jones 2019-06-11 18:34:14 +0100
  • 3d93dc5570 Turn-based federation and client/server protocol Tony Garnock-Jones 2019-06-11 18:33:37 +0100
  • 7acf72469b Bag no longer used in federation Tony Garnock-Jones 2019-05-23 11:13:47 +0100
  • 71447a0428 Repair ws-recv usage; requires rfc6455 package v2.0 or newer Tony Garnock-Jones 2019-05-22 23:45:15 +0100
  • 5f766d5b12 Clean up empty entries in subscription-matches Tony Garnock-Jones 2019-05-20 22:07:02 +0100
  • b5bae7f8f6 Update federation to match latest paper-journal work: proper propagation of Add/Del Tony Garnock-Jones 2019-05-20 21:49:19 +0100
  • 104b87cd56 Improve distributed debug output Tony Garnock-Jones 2019-05-20 21:45:40 +0100
  • cd32fe631d Buffer uplink communications to give a chance for stateful entities at each end to initialise themselves before sending messages. Tony Garnock-Jones 2019-05-16 23:14:32 +0100
  • 4c852e0eb8 Fix (observe (server-envelope A B)) => (server-proposal A (observe B)) Tony Garnock-Jones 2019-05-16 23:13:56 +0100
  • 06362c6674 Change federation protocol to be transport-neutral, carried via Syndicate itself Tony Garnock-Jones 2019-05-16 22:28:42 +0100
  • bcc7848e76 Move away from use of "broker" Tony Garnock-Jones 2019-05-16 20:14:19 +0100
  • 4d828a5ad2 Remove federation-prototype Tony Garnock-Jones 2019-05-16 15:48:51 +0100
  • 81034e017e Close input/output ports in web.rkt once connection is logically over Tony Garnock-Jones 2019-05-16 14:58:33 +0100
  • 8899807216 Disconnect websocket service on error Tony Garnock-Jones 2019-05-16 13:12:21 +0100
  • eafd5771b5 Drain ws-ch in an additional, previously-overlooked case Tony Garnock-Jones 2019-05-16 12:39:16 +0100
  • 12c255bb40 Handle "Ping" requests from peers in federated mode Tony Garnock-Jones 2019-05-16 12:38:26 +0100
  • 7dd217be6a Accept and discard "Pong" replies from clients Tony Garnock-Jones 2019-05-16 12:38:06 +0100
  • 6c44843f63 Correct server websocket http-request pattern Tony Garnock-Jones 2019-05-16 12:37:39 +0100
  • 9839e5946c Flow-controlled TCP (except in netstack); flow-controlled server/federation messages; fixes federation startup glitching Tony Garnock-Jones 2019-05-12 13:07:38 +0100
  • 8478a27e1f Repair test compilation Tony Garnock-Jones 2019-05-09 11:43:41 +0100
  • 9d58c01795 Move command-line scripts into submodule main, so tests don't get stuck Tony Garnock-Jones 2019-05-09 11:43:34 +0100
  • 573bf36057 Command-line programs for starting various kinds of server Tony Garnock-Jones 2019-05-09 11:39:05 +0100
  • 73feb539dd Tweak logging levels Tony Garnock-Jones 2019-05-09 11:32:49 +0100
  • 83af353d9d Integrate federation/peering with client/server code; almost but not quite working yet Tony Garnock-Jones 2019-05-09 11:17:37 +0100
  • 82e327e21f Allow specification of host/port/scope in server-chat-client.rkt Tony Garnock-Jones 2019-05-09 11:16:29 +0100
  • d20addd642 Remove unused definition Tony Garnock-Jones 2019-05-07 14:02:52 +0100
  • c987ac0592 Move prototype federation code out of the way Tony Garnock-Jones 2019-05-07 13:45:52 +0100
  • 611be53725 Select client/server scope on connect; stub out federation/peering; protocol error and disconnection support Tony Garnock-Jones 2019-05-07 12:56:22 +0100
  • 0f926e7940 New "test" illustrating aspects of the turn-based approach taken Tony Garnock-Jones 2019-05-07 12:07:30 +0100
  • 28fd0809e0 The Great Renaming broker -> server, part 2 Tony Garnock-Jones 2019-05-05 16:51:23 +0100