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

Commit Graph

  • 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
  • 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