Commit Graph

Select branches

Hide Pull Requests

attributed-action

behav

bitset

canonical-sets

comprehensions

concurrent_actors

functional-dataflow-impl

gh-pages

hll-syndicate-racket-v1

imperative

main

module-begin

platformer_hll_tmp

pr/1

pr/14

pr/32

pr/34

pr/37

pr/42

pr/43

pr/45

pr/7

pr/8

pr/9

render_dataspace

spawn/actor-swap

tui

typed

upside-down

wip-typedefs

extracted_imperative_syndicate_20200427

last_route_rkt_pre_trie_rkt

places-2016

Mono Color

• d0f00779cd invoke spin from racket Sam Caldwell 2021-01-06 11:19:42 -0500
• 5a5c651321 Improve simulation checking/failure trace generation Sam Caldwell 2020-12-21 11:07:29 -0500
• 1fba368987 Caputre actor actions while booting up a ground dataspace Sam Caldwell 2020-12-14 14:22:32 -0500
• 7475c1896f stop tracking debugging file Sam Caldwell 2020-12-14 11:53:52 -0500
• 5a90933e9f More work on unit test style simulation checking Sam Caldwell 2020-12-14 11:50:24 -0500
• 8dda1ba6bf Manually assign Type kind to types instead of doing a full serialize/deserialize Sam Caldwell 2020-12-10 12:50:40 -0500
• 45f140d642 add form for writing type to file Sam Caldwell 2020-12-08 10:47:23 -0500
• 95699308dd fix small issue Sam Caldwell 2020-12-08 10:46:53 -0500
• 362e102524 fix constructor resugaring to use the name with the right scopes Sam Caldwell 2020-12-08 10:46:15 -0500
• 78fee55ffa raise an error when pattern elaboration fails to find a real type Sam Caldwell 2020-12-08 10:42:39 -0500
• 2fd3771609 simplify hash impl a little Sam Caldwell 2020-12-08 10:42:05 -0500
• 8be62ed72c work on finding trace counterexample when finding subgraph Sam Caldwell 2020-12-01 17:34:32 -0500
• c9c2d2747b improve some error reporting by moving cuts Sam Caldwell 2020-12-01 17:31:15 -0500
• c20d075d03 fixups to tests Sam Caldwell 2020-11-30 17:49:03 -0500
• 6dd369b08f improvements on verification, nb AnyActor performance hell Sam Caldwell 2020-11-30 17:47:53 -0500
• c9a5af0d10 create lambda shortcut Sam Caldwell 2020-11-30 17:44:57 -0500
• 7d8b62ff02 first draft on finding simulation counterexamples Sam Caldwell 2020-11-30 17:44:02 -0500
• db2a8e1cec fix issues with require-struct accessors Sam Caldwell 2020-11-25 11:06:50 -0500
• 3e13e3e449 work on proto tie-in Sam Caldwell 2020-11-09 14:43:42 -0500
• 8a6931710a create a typed struct out Sam Caldwell 2020-11-06 16:01:48 -0500
• 1805b936be try syntax-local-lift-module-end for lift+define-role Sam Caldwell 2020-11-05 11:09:00 -0500
• 25860019c6 define accessors for require-struct Sam Caldwell 2020-10-29 16:04:17 -0400
• abecc4996c first bit of linking proto analysis into language Sam Caldwell 2020-10-28 14:06:19 -0400
• d523dc7937 define constructor accessors Sam Caldwell 2020-10-23 17:04:13 -0400
• e75af5ae1c infer a type for fields sans declared type Sam Caldwell 2020-10-23 14:51:07 -0400
• 4cd90a6295 add more require & provide specs Sam Caldwell 2020-10-23 14:47:27 -0400
• f040a6db7e create typed timestate driver wrapper Sam Caldwell 2020-10-22 16:47:01 -0400
• e5b797b450 fix the type of run-ground-dataspace Sam Caldwell 2020-10-22 16:46:48 -0400
• bdf4c30218 add multi-accumulator for/fold Sam Caldwell 2020-10-22 16:46:33 -0400
• 04b58f9d9f add string=? Sam Caldwell 2020-10-22 16:45:48 -0400
• b66ab0bfcd add some list ops Sam Caldwell 2020-10-22 16:45:05 -0400
• 733c874871 add argmin and argmax Sam Caldwell 2020-10-21 11:06:15 -0400
• fe6435f056 add in-hash-keys and in-hash-values Sam Caldwell 2020-10-21 11:05:46 -0400
• 659715cd0e fix require, add current-inexact-milliseconds primop Sam Caldwell 2020-10-19 11:40:22 -0400
• 8446a0d770 customize resugaring, clean up a bit Sam Caldwell 2020-10-16 10:34:53 -0400
• 8288312890 remove debug prints Sam Caldwell 2020-10-02 14:58:14 -0400
• 967da40b80 lift syntax-parse out of templates Sam Caldwell 2020-10-02 14:51:25 -0400
• 1e434f8006 print less Sam Caldwell 2020-09-29 13:54:58 -0400
• c988c4f462 preserve sharing in serializer Michael Ballantyne 2020-09-28 19:22:32 -0600
• db3fc2acd9 uncomment flink Sam Caldwell 2020-09-25 20:36:47 -0400
• 50d2d1a6fa fix the serializer Michael Ballantyne 2020-09-24 22:07:49 -0600
• 122ef0b5f9 try out the syntax serializer Sam Caldwell 2020-09-24 13:18:55 -0400
• e1ca7ba2c4 debug state Sam Caldwell 2020-09-24 11:07:30 -0400
• 27b83e5e0a Fix issue keep debugging Sam Caldwell 2020-09-24 11:05:55 -0400
• a1660114df work towards using typedefs, debugging Sam Caldwell 2020-09-17 15:11:34 -0400
• 074ec24da4 workaround: combine big and little lambda Sam Caldwell 2020-07-24 12:10:29 -0400
• 48344856c3 wip on typedefs Sam Caldwell 2020-07-21 16:01:06 -0400
• 165dfeb6c8 fix bug I introduced Sam Caldwell 2020-12-11 16:38:56 -0500
• 38b5e34efb check context of on-start and on-stop as well Sam Caldwell 2020-12-10 15:08:19 -0500
• e2bb438704 Perform error/checking and reporting for non-spawn actions at the module top level and endpoint installation out of context Sam Caldwell 2020-12-10 13:00:08 -0500
• 7cdf676ac8 preserve sharing in serializer pr/43 Michael Ballantyne 2020-09-28 19:22:32 -0600
• e63da2679b uncomment flink Sam Caldwell 2020-09-25 20:36:47 -0400
• d53b5041f3
  Merge pull request #42 from michaelballantyne/wip-typedefs Sam Caldwell 2020-09-25 10:24:23 -0400
• 512783ec0f fix the serializer pr/42 Michael Ballantyne 2020-09-24 22:07:49 -0600
• 8a74f7ffee try out the syntax serializer Sam Caldwell 2020-09-24 13:18:55 -0400
• 721fb1c30f debug state Sam Caldwell 2020-09-24 11:07:30 -0400
• 4e97151cc5 Fix issue keep debugging Sam Caldwell 2020-09-24 11:05:55 -0400
• 0a8e400f63 work towards using typedefs, debugging Sam Caldwell 2020-09-17 15:11:34 -0400
• 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