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

Commit Graph

  • 8d6a037841 workaround: combine big and little lambda Sam Caldwell 2020-07-24 12:10:29 -0400
  • 23616488ce wip on typedefs Sam Caldwell 2020-07-21 16:01:06 -0400
  • a6fc1f20e4 get typed syndicate to work without using the stop list Sam Caldwell 2020-08-17 11:24:06 -0400
  • 04995b5fb3 compile ltl specs Sam Caldwell 2020-06-17 15:01:47 -0400
  • 2ba5366986 record a useful spin option Sam Caldwell 2020-06-15 12:07:31 -0400
  • fc4413ec7a generate atomic blocks, avoid spin keywords Sam Caldwell 2020-06-15 12:07:11 -0400
  • 2cdb894728 avoid collisions with spin keywords Sam Caldwell 2020-06-15 11:33:33 -0400
  • 0ed975c58c forgot to commit spin prelude Sam Caldwell 2020-06-12 16:27:39 -0400
  • b59db5b3fd reorganize a little Sam Caldwell 2020-06-12 16:27:30 -0400
  • 2a589fcc18 TODO items Sam Caldwell 2020-06-12 16:25:06 -0400
  • dcd53f5dd5 flink spin example Sam Caldwell 2020-06-12 16:22:43 -0400
  • 0d11850295 include actor start event less often when compiling internal events Sam Caldwell 2020-06-12 16:22:01 -0400
  • 7cf8f9fc0a handwritten LTL that succeeds Sam Caldwell 2020-06-12 15:45:06 -0400
  • d30007b798 generate a sanity LTL spec Sam Caldwell 2020-06-12 15:39:02 -0400
  • a5dd55b907 deal with subtyping between assertions Sam Caldwell 2020-06-12 15:27:52 -0400
  • 7e5c8e8eb7 program compilation Sam Caldwell 2020-06-12 14:05:22 -0400
  • 13e2ec7594 convert types and states to identifiers Sam Caldwell 2020-06-10 17:09:30 -0400
  • 2e9a0f6394 generating code Sam Caldwell 2020-06-10 14:40:07 -0400
  • 5434e82299 compiling spin Sam Caldwell 2020-06-08 16:18:57 -0400
  • 0999c9b75b start on an IR for spin compilation Sam Caldwell 2020-05-29 15:19:09 -0400
  • 30430c391b Include assertion information inside role graph states Sam Caldwell 2020-05-29 15:18:18 -0400
  • 060ca752f3 fix several bugs in role graph analysis Sam Caldwell 2020-05-29 11:15:07 -0400
  • af8dbeaa4b a bit more doc Sam Caldwell 2020-03-30 17:12:39 -0400
  • 35d3332698 more docs Sam Caldwell 2020-03-26 16:04:34 -0400
  • 9b48e77b6d more docs Sam Caldwell 2020-03-25 17:09:33 -0400
  • cc8d0fa30b add flink test input Sam Caldwell 2020-03-23 09:25:01 -0400
  • 98c5c96356 omit 7gui examples in tests Sam Caldwell 2020-03-21 09:35:16 -0400
  • 026e129de7 work on docs Sam Caldwell 2020-03-20 16:42:27 -0400
  • a2780484be fixup test Sam Caldwell 2020-03-11 13:12:16 -0400
  • 5c8986bddd floating define test Sam Caldwell 2020-03-10 10:57:54 -0400
  • 6c79e5cd5c track branching for each kind of effect in match Sam Caldwell 2020-03-05 10:37:50 -0500
  • 7ceed8e952 typed flink: replace dataflow in job manager with internal events Sam Caldwell 2020-02-26 16:34:24 -0500
  • dca8ea2bad Allow `define`d expressions to have effects Sam Caldwell 2020-02-26 14:50:35 -0500
  • b8b5a1747a improve function application error messages Sam Caldwell 2020-02-26 14:50:08 -0500
  • c38a47f5e3 TODO: keep track of match branching Sam Caldwell 2020-02-25 16:16:19 -0500
  • 480feb961c improve spawn error messages Sam Caldwell 2020-02-25 16:14:30 -0500
  • f8c385e31d cleanup Sam Caldwell 2020-02-25 13:02:33 -0500
  • dee43c7f19 fix typed `or` Sam Caldwell 2020-02-24 15:10:52 -0500
  • 18932662de flink: remove use of dataflow Sam Caldwell 2020-02-24 13:34:22 -0500
  • 013ce19e68 flink: replace a lot of dataflow in job manager with internal events Sam Caldwell 2020-02-21 15:49:46 -0500
  • f4701a3f70 fix bugs in internal events Sam Caldwell 2020-02-21 15:48:12 -0500
  • 056d467402 edit info files to enable raco test typed/ Stephen Chang 2020-02-09 23:24:37 -0500
  • 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