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

Commit Graph

  • f4f517cd02 require&provide maybe,either Sam Caldwell 2019-05-17 10:36:13 -0400
  • c9378d057d move patterns to core expressions Sam Caldwell 2019-05-17 10:35:40 -0400
  • 9cb884a490 more primitive operations Sam Caldwell 2019-05-17 10:34:55 -0400
  • e7f792e624 more hash operations Sam Caldwell 2019-05-17 10:34:33 -0400
  • f1be0fdfac more list operations Sam Caldwell 2019-05-17 10:34:14 -0400
  • 93e1fea202 typed-flink: task manager Sam Caldwell 2019-05-16 15:53:02 -0400
  • 16ce86c6c9 make sure begin always has a definition context Sam Caldwell 2019-05-16 15:52:33 -0400
  • c097e218d0 more set operations Sam Caldwell 2019-05-16 15:52:15 -0400
  • 12fd4ad756 more hash functions Sam Caldwell 2019-05-15 17:25:11 -0400
  • f460011a5d typed flink - task runner Sam Caldwell 2019-05-15 17:00:21 -0400
  • 51e26efda6 fix output type for actors without interests Sam Caldwell 2019-05-15 16:05:47 -0400
  • 122f7629c3 fix argument order bug in hash-update Sam Caldwell 2019-05-15 16:05:30 -0400
  • c96725b8e3 typed flink data definitions Sam Caldwell 2019-05-15 15:19:05 -0400
  • 1feab5d174 assertion-struct macro Sam Caldwell 2019-05-15 15:18:46 -0400
  • 530c17ff32 split out core-expressions with #%app, which is now more explicit Sam Caldwell 2019-05-13 15:35:38 -0400
  • ed01517c8c Improve scoping structure of for-clauses Sam Caldwell 2019-05-13 11:56:57 -0400
  • 10ae47c26c make list operations polymorphic functions Sam Caldwell 2019-05-10 10:28:42 -0400
  • 6f52c7fc61 fix ty-var bug Sam Caldwell 2019-05-10 10:27:30 -0400
  • 9d5453ff5b first take on local inference Sam Caldwell 2019-05-09 13:19:52 -0400
  • f00ec81e48 move definition of primitive base types Sam Caldwell 2019-05-09 10:23:15 -0400
  • b1cca8f377 subtyping for effect-free functions Sam Caldwell 2019-05-01 10:17:26 -0400
  • cf17ae28a5 fixup fold in book club Sam Caldwell 2019-05-01 10:17:04 -0400
  • f6cd87394e start on for loops Sam Caldwell 2019-04-30 17:42:03 -0400
  • 39d81686fd hash tables Sam Caldwell 2019-04-30 11:22:40 -0400
  • 2ddafb240a add sequences Sam Caldwell 2019-04-29 18:07:23 -0400
  • e88b64f5c1 allow polymorphic function definitions Sam Caldwell 2019-04-29 17:34:49 -0400
  • 82705763b4 type abstractions Sam Caldwell 2019-04-29 17:03:39 -0400
  • 581319eacb split out primitives Sam Caldwell 2019-04-26 15:33:07 -0400
  • 3c800a92db split out files Sam Caldwell 2019-04-26 15:16:08 -0400
  • 29c446df39 Attach useful metadata as syntax properties to some types Sam Caldwell 2019-04-26 14:15:34 -0400
  • 006e5e0bf5 simplify implementation of overlaps? Sam Caldwell 2019-04-08 18:06:25 -0400
  • f9dcad855e examples/flink: implement task delegation roles in terms of abstract templates Sam Caldwell 2019-04-02 16:18:57 -0400
  • fa7af3444c look more at book club roles Sam Caldwell 2019-03-29 16:12:46 -0400
  • 58c1b52ac4 More leader-related role finangling Sam Caldwell 2019-03-28 14:55:48 -0400
  • d5ac65007e Keep track of branches for role effects in turnstile lang Sam Caldwell 2019-03-28 14:53:25 -0400
  • 572be6b45d look into leader impl simulating spec a bit Sam Caldwell 2019-03-27 14:02:25 -0400
  • 5752c9299c some more simulation tests Sam Caldwell 2019-03-26 10:05:09 -0400
  • 7dfc4a93da leader-spec simulates itself! Sam Caldwell 2019-03-25 21:05:55 -0400
  • ff81748848 simplest simulation example passes Sam Caldwell 2019-03-25 21:01:22 -0400
  • f0c52f6eaa subtyping Sam Caldwell 2019-03-22 16:15:54 -0400
  • e141abd678 remember initial state when compiling Sam Caldwell 2019-03-22 16:08:36 -0400
  • d285de5bb2 small improvements Sam Caldwell 2019-03-22 15:34:38 -0400
  • 04f4acbda3 incorporate branching! Sam Caldwell 2019-03-22 15:14:49 -0400
  • abce2d6046 More on facet states, including graphviz view Sam Caldwell 2019-03-19 16:44:10 -0400
  • d35495029b prototyping interpretation of roles as state machines Sam Caldwell 2019-03-15 17:48:52 -0400
  • 9113d93acf floating define test behav Sam Caldwell 2020-03-10 10:57:54 -0400
  • 65d14de735 track branching for each kind of effect in match Sam Caldwell 2020-03-05 10:37:50 -0500
  • 311108fbcf typed flink: replace dataflow in job manager with internal events Sam Caldwell 2020-02-26 16:34:24 -0500
  • 01a544b0d9 Allow `define`d expressions to have effects Sam Caldwell 2020-02-26 14:50:35 -0500
  • 86258acc6c improve function application error messages Sam Caldwell 2020-02-26 14:50:08 -0500
  • b6c934b9f3 TODO: keep track of match branching Sam Caldwell 2020-02-25 16:16:19 -0500
  • 66226ac725 improve spawn error messages Sam Caldwell 2020-02-25 16:14:30 -0500
  • 772faec0bc cleanup Sam Caldwell 2020-02-25 13:02:33 -0500
  • 99e53d9729 fix typed `or` Sam Caldwell 2020-02-24 15:10:52 -0500
  • 0074fcb566 flink: remove use of dataflow Sam Caldwell 2020-02-24 13:34:22 -0500
  • 5d5b827535 flink: replace a lot of dataflow in job manager with internal events Sam Caldwell 2020-02-21 15:49:46 -0500
  • 220d112393 fix bugs in internal events Sam Caldwell 2020-02-21 15:48:12 -0500
  • e06eb1bfcf
         Merge pull request #37 from stchang/behav Sam Caldwell 2020-02-10 08:49:05 -0500
  • 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