Commit Graph

  • a6719eb124 edit info files to enable raco test typed/ pr/37 Stephen Chang 2020-02-09 23:24:37 -0500
  • 38f6351d43 Cosmetic (sort-lines) [2/2] Tony Garnock-Jones 2020-01-17 14:15:20 +0100
  • cd98c3048d Cosmetic [1/2] Tony Garnock-Jones 2020-01-17 14:14:55 +0100
  • d1fbe26bc1 Fix Racket package deps Tony Garnock-Jones 2020-01-17 14:14:35 +0100
  • 39c54e77f3 new job manager role Sam Caldwell 2020-01-07 11:52:02 -0500
  • 555c41a153 task manager role Sam Caldwell 2019-12-31 13:55:59 -0500
  • 33ef42818d fixup format of task performer spec Sam Caldwell 2019-12-30 17:13:29 -0500
  • 8afed87e99 stuff Sam Caldwell 2019-12-30 16:27:29 -0500
  • f5331eb24f typed flink: unify task-state and task-assignment, job and job-finished Sam Caldwell 2019-10-21 12:22:10 -0400
  • 80ebab5ed7 untyped flink: use interest as request for jobs Sam Caldwell 2019-10-16 16:21:00 -0400
  • d29afb6679 untyped flink: unify task-assignment and task-state assertions Sam Caldwell 2019-10-16 16:13:19 -0400
  • 123037ba51 typed flink: streamline ids Sam Caldwell 2019-10-16 12:25:04 -0400
  • 5e61e9941b untyped flink: finish streamlining ids, resolve dataflow issue Sam Caldwell 2019-10-15 11:40:55 -0400
  • 7374c8c506 untyped flink: work on streamlining ids, demonstrating dataflow issue Sam Caldwell 2019-10-15 11:16:46 -0400
  • 2610ceb541 untyped flink: fiddle with race in task manager Sam Caldwell 2019-10-10 13:45:33 -0400
  • a8e890ab30 typed flink: associate task runners with a particular task manager Sam Caldwell 2019-10-10 13:44:38 -0400
  • 96daa7518a add in-range Sam Caldwell 2019-10-10 13:43:59 -0400
  • eb56a1006f typed flink: task runners don't need a status Sam Caldwell 2019-10-03 16:09:40 -0400
  • 142206d8e3 typed define/dataflow Sam Caldwell 2019-10-03 15:24:31 -0400
  • 479ea2fc1f associate task runners with a particular task manager Sam Caldwell 2019-10-01 16:44:43 -0400
  • 42d025cc7f flink: task runners don't need a status Sam Caldwell 2019-10-01 10:12:31 -0400
  • 33b516b7a6 verify request/response property in leader-and-seller Sam Caldwell 2019-09-26 13:39:25 -0400
  • 2fa30c6066 fix bug in leader-and-seller Sam Caldwell 2019-09-26 13:39:01 -0400
  • 5ef44987ca fiddling with spin Sam Caldwell 2019-09-24 09:52:41 -0400
  • 3c7838d5ab server-session-connected avoids assert-lock of server-connected extracted_imperative_syndicate_20200427 imperative Tony Garnock-Jones 2019-09-11 16:07:54 +0100
  • 0167cddc58 Update to new preserves API Tony Garnock-Jones 2019-09-11 15:10:44 +0100
  • 04e34c58ea start cleaning up/streamlining flink Sam Caldwell 2019-08-23 09:14:07 -0400
  • 29f589d7c4 fix a couple bugs Sam Caldwell 2019-07-31 11:40:12 -0400
  • 443e1f9ac1 Label internal events & handlers with actor-unique IDs Sam Caldwell 2019-07-30 16:03:19 -0400
  • 4e2ae45b0b initial take on supporting spawn actions in role graphs Sam Caldwell 2019-07-29 18:22:48 -0400
  • 8949193977 utilize define-spawns to clean up 7-GUIS examples Sam Caldwell 2019-07-25 15:02:48 -0400
  • 0e44970bef Modify syndicate's module-begin to capture actions on the RHS of define Sam Caldwell 2019-07-25 14:57:47 -0400
  • ded2629296 7-GUIS port task 7 Sam Caldwell 2019-07-17 10:31:27 -0400
  • a259153470 7-GUIS port task 6 Sam Caldwell 2019-07-15 14:24:58 -0400
  • cdca416d21 7-GUIS port task 5 Sam Caldwell 2019-07-12 13:01:39 -0400
  • de1fab2cb5 7-GUIS port task 4 Sam Caldwell 2019-07-11 16:01:38 -0400
  • 064a2e1462 7-GUIS port task 3 Sam Caldwell 2019-07-10 13:48:58 -0400
  • 3c65281a2e 7-GUIS port task 2 Sam Caldwell 2019-07-05 13:33:55 -0400
  • 997a3099fd start on racket guis, 7-GUIS task 1 Sam Caldwell 2019-07-03 14:42:56 -0400
  • e018359204 consider more potential schedulings of events Sam Caldwell 2019-07-01 17:17:13 -0400
  • 9a21a811a3 internal event business Sam Caldwell 2019-07-01 15:57:50 -0400
  • 3c3291ffa4 compile internal events, compresses job manager graph by a lot Sam Caldwell 2019-06-26 10:09:00 -0400
  • b17cba59ed remove self loops, things working better Sam Caldwell 2019-06-21 16:48:49 -0400
  • 16175c7bb4 fix bug in flink Sam Caldwell 2019-06-21 16:48:16 -0400
  • 27abf8ab1e detect cycles when compiling internal events Sam Caldwell 2019-06-21 13:07:27 -0400
  • e6524174e1 first take on inlining internal events Sam Caldwell 2019-06-19 17:17:05 -0400
  • 135e6b655b rudimentary support for internal events in proto Sam Caldwell 2019-06-18 10:26:04 -0400
  • 202bcd6842 add messages to proto Sam Caldwell 2019-06-17 17:15:08 -0400
  • fa8822e40d small cleanup Sam Caldwell 2019-06-17 13:18:43 -0400
  • c40b773282 reorganize examples Sam Caldwell 2019-06-17 11:29:55 -0400
  • be5bc19fcc job manager role Sam Caldwell 2019-06-17 11:26:13 -0400
  • 537b3fd272 more event constructors in proto Sam Caldwell 2019-06-17 11:26:00 -0400
  • 8f8f4c416f replace some dataflow with internal events in typed flink Sam Caldwell 2019-06-17 11:25:09 -0400
  • 5f38b6cc94 allow equal? when there's overlap Sam Caldwell 2019-06-17 11:24:40 -0400
  • f597fdc499 internal events for typed lang Sam Caldwell 2019-06-14 11:43:15 -0400
  • 963676c0c6 Change type names Know -> Asserted, \negKnow -> Retracted Sam Caldwell 2019-06-13 08:34:34 -0400
  • 7462af708b (during (know P) O ...) for internal knowledge Sam Caldwell 2019-06-13 08:15:38 -0400
  • e6b733325c Create an actor-internal event system oriented around assertions and messges. Sam Caldwell 2019-06-12 16:53:11 -0400
  • affa47a2a5 minor printing stuff in examples Sam Caldwell 2019-06-11 13:17:38 -0400
  • 458bf93fef subgraph stuff working better Sam Caldwell 2019-06-10 13:59:19 -0400
  • c38bfdc2c0 some work on checking/finding subgraphs Sam Caldwell 2019-06-07 17:14:40 -0400
  • ee726c9177 task assigner spec and task manager type Sam Caldwell 2019-06-07 09:46:29 -0400
  • 5dee1981b6 provide Branch and Effs types Sam Caldwell 2019-06-07 09:46:02 -0400
  • da900a258a extract some code from verify body Sam Caldwell 2019-06-06 14:13:13 -0400
  • 32f117df16 task performer spec and task runner type Sam Caldwell 2019-06-06 13:49:59 -0400
  • dcc4e3c411 During type abbreviation Sam Caldwell 2019-06-06 13:48:37 -0400
  • 703a4c9589 support for dataflow, misc fixes and improvements Sam Caldwell 2019-06-05 16:20:09 -0400
  • 3ebcf413c9 more accurate job manager type Sam Caldwell 2019-06-03 11:39:00 -0400
  • 47ca363b18 add container types to proto Sam Caldwell 2019-06-03 11:16:16 -0400
  • 0711cd3232 print types different Sam Caldwell 2019-06-03 11:15:47 -0400
  • 6b272ad3d3 cleanups and improvements Sam Caldwell 2019-05-31 10:01:36 -0400
  • d93dc085fe remove stop-when abomination Sam Caldwell 2019-05-30 13:37:34 -0400
  • 3e1d4d108f initial support for on start and on stop Sam Caldwell 2019-05-30 13:20:51 -0400
  • 3ad0457bd5 small cleanup Sam Caldwell 2019-05-30 10:09:34 -0400
  • ce0c296b5c parse quoted turnstile types Sam Caldwell 2019-05-29 13:40:55 -0400
  • 60ed8c2677 tweak how types are printed Sam Caldwell 2019-05-29 11:28:46 -0400
  • eba7ed072c cleanup Sam Caldwell 2019-05-24 15:09:49 -0400
  • c811b9a45f forgot to add maybe.rkt and either.rkt Sam Caldwell 2019-05-24 15:08:08 -0400
  • 3faaa1c580 typed flink working! Sam Caldwell 2019-05-24 15:07:34 -0400
  • 23bee726b1 priorities for query handlers, on-add, on-remove Sam Caldwell 2019-05-24 15:06:55 -0400
  • 3aedb63a9c client and jobs (not working) Sam Caldwell 2019-05-24 12:31:03 -0400
  • 807e6bb8f7 map list op Sam Caldwell 2019-05-24 12:30:26 -0400
  • 98a779bdc1 resolve mutual dependency in flink via dataflow Sam Caldwell 2019-05-24 11:42:21 -0400
  • c37c060dc9 fancify patterns in flink Sam Caldwell 2019-05-24 11:25:29 -0400
  • c78b76b38c fancify the patterns in book-club Sam Caldwell 2019-05-24 11:12:53 -0400
  • 22a228ab4b Use the communication type (via a turnstile `mode`) when elaborating patterns in facets Sam Caldwell 2019-05-24 11:12:06 -0400
  • 296a77d714 clean up patterns in flink Sam Caldwell 2019-05-24 10:06:01 -0400
  • 4fdce7fc0c elaborate more patterns Sam Caldwell 2019-05-24 10:05:23 -0400
  • 13e988fe58 some work towards a better pattern language Sam Caldwell 2019-05-23 16:43:39 -0400
  • 24efe43a6f typed flink getting closer Sam Caldwell 2019-05-23 11:14:14 -0400
  • 99d5916bd1 limited support for effect polymorphism Sam Caldwell 2019-05-23 11:13:51 -0400
  • 20693f234e more flink Sam Caldwell 2019-05-22 10:24:02 -0400
  • deca0a82be progress on flink Sam Caldwell 2019-05-21 17:23:45 -0400
  • 96e9431e15 first take on match-define-like form Sam Caldwell 2019-05-21 17:23:19 -0400
  • 8cf13a9bbf stop-when derived form Sam Caldwell 2019-05-21 17:22:53 -0400
  • c283dae7e4 positive? primitive Sam Caldwell 2019-05-21 17:22:40 -0400
  • 559e9bb11b for/first Sam Caldwell 2019-05-21 16:56:53 -0400
  • df9f3ebbd2 zero? primitive Sam Caldwell 2019-05-21 16:55:58 -0400
  • c8a1253d7b examples/flink.rkt: work on job manager and utilities Sam Caldwell 2019-05-20 17:03:21 -0400
  • fc220a4e16 Use a mutable, compile-time table for type metadata Sam Caldwell 2019-05-20 16:41:32 -0400