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

Commit Graph

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