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

Commit Graph

  • f19d2f3296 new job manager role Sam Caldwell 2020-01-07 11:52:02 -0500
  • f3e2fcdc64 task manager role Sam Caldwell 2019-12-31 13:55:59 -0500
  • 2a95420366 fixup format of task performer spec Sam Caldwell 2019-12-30 17:13:29 -0500
  • 7cf0757ca6 stuff Sam Caldwell 2019-12-30 16:27:29 -0500
  • 5823cf32c3 typed flink: unify task-state and task-assignment, job and job-finished Sam Caldwell 2019-10-21 12:22:10 -0400
  • 18fdcdeff7 untyped flink: use interest as request for jobs Sam Caldwell 2019-10-16 16:21:00 -0400
  • 90961e57f8 untyped flink: unify task-assignment and task-state assertions Sam Caldwell 2019-10-16 16:13:19 -0400
  • 6f8c9563aa typed flink: streamline ids Sam Caldwell 2019-10-16 12:25:04 -0400
  • 14db8ce919 untyped flink: finish streamlining ids, resolve dataflow issue Sam Caldwell 2019-10-15 11:40:55 -0400
  • 79277c91d3 untyped flink: work on streamlining ids, demonstrating dataflow issue Sam Caldwell 2019-10-15 11:16:46 -0400
  • e3d9f93eca untyped flink: fiddle with race in task manager Sam Caldwell 2019-10-10 13:45:33 -0400
  • 5f472b5402 typed flink: associate task runners with a particular task manager Sam Caldwell 2019-10-10 13:44:38 -0400
  • 35827c970c add in-range Sam Caldwell 2019-10-10 13:43:59 -0400
  • 8bbab5317e typed flink: task runners don't need a status Sam Caldwell 2019-10-03 16:09:40 -0400
  • ab15f7306f typed define/dataflow Sam Caldwell 2019-10-03 15:24:31 -0400
  • 606dd17e08 associate task runners with a particular task manager Sam Caldwell 2019-10-01 16:44:43 -0400
  • 32ebb804fb flink: task runners don't need a status Sam Caldwell 2019-10-01 10:12:31 -0400
  • 3459fc8f71 verify request/response property in leader-and-seller Sam Caldwell 2019-09-26 13:39:25 -0400
  • 0a5ea2b920 fix bug in leader-and-seller Sam Caldwell 2019-09-26 13:39:01 -0400
  • e3d746b817 fiddling with spin Sam Caldwell 2019-09-24 09:52:41 -0400
  • ed7c212561 start cleaning up/streamlining flink Sam Caldwell 2019-08-23 09:14:07 -0400
  • 4e6b883c17 fix a couple bugs Sam Caldwell 2019-07-31 11:40:12 -0400
  • c9c3b9ec82 Label internal events & handlers with actor-unique IDs Sam Caldwell 2019-07-30 16:03:19 -0400
  • 9c0c9b3e77 initial take on supporting spawn actions in role graphs Sam Caldwell 2019-07-29 18:22:48 -0400
  • 6ee5aa668b utilize define-spawns to clean up 7-GUIS examples Sam Caldwell 2019-07-25 15:02:48 -0400
  • ecbfe56163 Modify syndicate's module-begin to capture actions on the RHS of define Sam Caldwell 2019-07-25 14:57:47 -0400
  • 7af6782ea8 7-GUIS port task 7 Sam Caldwell 2019-07-17 10:31:27 -0400
  • ce9d563d8c 7-GUIS port task 6 Sam Caldwell 2019-07-15 14:24:58 -0400
  • 9e88cde0eb 7-GUIS port task 5 Sam Caldwell 2019-07-12 13:01:39 -0400
  • e554c797fb 7-GUIS port task 4 Sam Caldwell 2019-07-11 16:01:38 -0400
  • 89e42ae987 7-GUIS port task 3 Sam Caldwell 2019-07-10 13:48:58 -0400
  • 161abab986 7-GUIS port task 2 Sam Caldwell 2019-07-05 13:33:55 -0400
  • ce0dba8f36 start on racket guis, 7-GUIS task 1 Sam Caldwell 2019-07-03 14:42:56 -0400
  • 5a5fb74124 consider more potential schedulings of events Sam Caldwell 2019-07-01 17:17:13 -0400
  • 9f8469467a internal event business Sam Caldwell 2019-07-01 15:57:50 -0400
  • 123124acb2 compile internal events, compresses job manager graph by a lot Sam Caldwell 2019-06-26 10:09:00 -0400
  • 7ba1ecf055 remove self loops, things working better Sam Caldwell 2019-06-21 16:48:49 -0400
  • 5a19594fa1 fix bug in flink Sam Caldwell 2019-06-21 16:48:16 -0400
  • 2a72f63084 detect cycles when compiling internal events Sam Caldwell 2019-06-21 13:07:27 -0400
  • 63c36d7010 first take on inlining internal events Sam Caldwell 2019-06-19 17:17:05 -0400
  • d4b17154eb rudimentary support for internal events in proto Sam Caldwell 2019-06-18 10:26:04 -0400
  • 5da04741f2 add messages to proto Sam Caldwell 2019-06-17 17:15:08 -0400
  • 4d6878626c small cleanup Sam Caldwell 2019-06-17 13:18:43 -0400
  • 712dbd12c9 reorganize examples Sam Caldwell 2019-06-17 11:29:55 -0400
  • 9cdaf768d8 job manager role Sam Caldwell 2019-06-17 11:26:13 -0400
  • de88dc3c83 more event constructors in proto Sam Caldwell 2019-06-17 11:26:00 -0400
  • 5c6b473b62 replace some dataflow with internal events in typed flink Sam Caldwell 2019-06-17 11:25:09 -0400
  • b3cb16192c allow equal? when there's overlap Sam Caldwell 2019-06-17 11:24:40 -0400
  • 945256b567 internal events for typed lang Sam Caldwell 2019-06-14 11:43:15 -0400
  • cefe70c590 Change type names Know -> Asserted, \negKnow -> Retracted Sam Caldwell 2019-06-13 08:34:34 -0400
  • e0d1975e2d (during (know P) O ...) for internal knowledge Sam Caldwell 2019-06-13 08:15:38 -0400
  • d8516060c4 Create an actor-internal event system oriented around assertions and messges. Sam Caldwell 2019-06-12 16:53:11 -0400
  • a1ca2372a5 minor printing stuff in examples Sam Caldwell 2019-06-11 13:17:38 -0400
  • 426b0899ac subgraph stuff working better Sam Caldwell 2019-06-10 13:59:19 -0400
  • 1cd46da9d0 some work on checking/finding subgraphs Sam Caldwell 2019-06-07 17:14:40 -0400
  • 1450665dc0 task assigner spec and task manager type Sam Caldwell 2019-06-07 09:46:29 -0400
  • 9893f4dea1 provide Branch and Effs types Sam Caldwell 2019-06-07 09:46:02 -0400
  • 7dd9700c99 extract some code from verify body Sam Caldwell 2019-06-06 14:13:13 -0400
  • a41cee09bf task performer spec and task runner type Sam Caldwell 2019-06-06 13:49:59 -0400
  • 0d4f8df3b4 During type abbreviation Sam Caldwell 2019-06-06 13:48:37 -0400
  • 116dcefc1a support for dataflow, misc fixes and improvements Sam Caldwell 2019-06-05 16:20:09 -0400
  • 9b4f76b0ac more accurate job manager type Sam Caldwell 2019-06-03 11:39:00 -0400
  • 989c6af818 add container types to proto Sam Caldwell 2019-06-03 11:16:16 -0400
  • d9da970742 print types different Sam Caldwell 2019-06-03 11:15:47 -0400
  • 5d922fe030 cleanups and improvements Sam Caldwell 2019-05-31 10:01:36 -0400
  • c1190958bd remove stop-when abomination Sam Caldwell 2019-05-30 13:37:34 -0400
  • 57d641dcc3 initial support for on start and on stop Sam Caldwell 2019-05-30 13:20:51 -0400
  • 397bebe4a3 small cleanup Sam Caldwell 2019-05-30 10:09:34 -0400
  • b0ff2e8620 parse quoted turnstile types Sam Caldwell 2019-05-29 13:40:55 -0400
  • 6230ed577e tweak how types are printed Sam Caldwell 2019-05-29 11:28:46 -0400
  • 7994bfb9c6 cleanup Sam Caldwell 2019-05-24 15:09:49 -0400
  • 227768efd8 forgot to add maybe.rkt and either.rkt Sam Caldwell 2019-05-24 15:08:08 -0400
  • f20adacfde typed flink working! Sam Caldwell 2019-05-24 15:07:34 -0400
  • 67e0eebdc2 priorities for query handlers, on-add, on-remove Sam Caldwell 2019-05-24 15:06:55 -0400
  • 7445626d0b client and jobs (not working) Sam Caldwell 2019-05-24 12:31:03 -0400
  • 6778417639 map list op Sam Caldwell 2019-05-24 12:30:26 -0400
  • b7ec18e52d resolve mutual dependency in flink via dataflow Sam Caldwell 2019-05-24 11:42:21 -0400
  • 89ce5dca28 fancify patterns in flink Sam Caldwell 2019-05-24 11:25:29 -0400
  • b1d14d8559 fancify the patterns in book-club Sam Caldwell 2019-05-24 11:12:53 -0400
  • 7026d6908d Use the communication type (via a turnstile `mode`) when elaborating patterns in facets Sam Caldwell 2019-05-24 11:12:06 -0400
  • 292e16f8b8 clean up patterns in flink Sam Caldwell 2019-05-24 10:06:01 -0400
  • 60c58d2b7b elaborate more patterns Sam Caldwell 2019-05-24 10:05:23 -0400
  • d91f13bd2c some work towards a better pattern language Sam Caldwell 2019-05-23 16:43:39 -0400
  • 5965115611 typed flink getting closer Sam Caldwell 2019-05-23 11:14:14 -0400
  • adc0819be0 limited support for effect polymorphism Sam Caldwell 2019-05-23 11:13:51 -0400
  • 49b34268ad more flink Sam Caldwell 2019-05-22 10:24:02 -0400
  • d5a8d27ae3 progress on flink Sam Caldwell 2019-05-21 17:23:45 -0400
  • 4e335f8049 first take on match-define-like form Sam Caldwell 2019-05-21 17:23:19 -0400
  • d236d99d47 stop-when derived form Sam Caldwell 2019-05-21 17:22:53 -0400
  • a0a30c719a positive? primitive Sam Caldwell 2019-05-21 17:22:40 -0400
  • cf2162797a for/first Sam Caldwell 2019-05-21 16:56:53 -0400
  • 7b9595a22a zero? primitive Sam Caldwell 2019-05-21 16:55:58 -0400
  • 667231d3e8 examples/flink.rkt: work on job manager and utilities Sam Caldwell 2019-05-20 17:03:21 -0400
  • 6b58c20832 Use a mutable, compile-time table for type metadata Sam Caldwell 2019-05-20 16:41:32 -0400
  • b9e99fc8af Make inference slightly more lenient wrt unions Sam Caldwell 2019-05-20 15:45:32 -0400
  • 45e7ea609d add error form Sam Caldwell 2019-05-20 14:28:38 -0400
  • f6976c0281 improve handling of type variables Sam Caldwell 2019-05-17 16:13:05 -0400
  • 0752089101 tweak how pattern types are handled Sam Caldwell 2019-05-17 16:12:48 -0400
  • ad4b94422d flink-support Sam Caldwell 2019-05-17 10:38:01 -0400
  • b56319042c query-hash Sam Caldwell 2019-05-17 10:37:49 -0400