Commit Graph

  • fc6e012d1c fixups to get tests passing main Sam Caldwell 2021-05-10 15:30:46 -0400
  • 3b75881366 fix type of empty? Sam Caldwell 2021-05-06 10:10:25 -0400
  • 690f9e65a8 more docs and cleanups Sam Caldwell 2021-05-05 12:52:07 -0400
  • 4f6089c805 more docs and cleanup Sam Caldwell 2021-05-04 17:15:34 -0400
  • aa74ffa14d remove outdated example Sam Caldwell 2021-05-04 09:49:21 -0400
  • 09ce074125 work on typed syndicate docs Sam Caldwell 2021-05-03 14:59:14 -0400
  • 3f6a5573e4 Allow importing structs without accessors and opaque external types Sam Caldwell 2021-04-27 16:51:28 -0400
  • 98c58d3e6f Add a typed during/spawn and checks for overly broad interests Sam Caldwell 2021-04-22 15:38:15 -0400
  • c3559f1611 Hide legacy typed/syndicate #lang, consolidate to the "roles" version Sam Caldwell 2021-04-22 12:04:06 -0400
  • 8b67d0ba03 test on composing communication types Sam Caldwell 2021-04-22 11:45:09 -0400
  • 52e64d6792 move spin scripts Sam Caldwell 2021-04-22 11:41:31 -0400
  • 59183b5fe9 reorganize typed syndicate project structure Sam Caldwell 2021-04-21 10:04:23 -0400
  • 098ffa85cf fix test in typed/proto.rkt pr/45 Stephen Chang 2021-04-16 15:13:58 -0400
  • 0191461137 allow importing structs with unknown super-type wip-typedefs Sam Caldwell 2021-04-15 10:54:10 -0400
  • 347e5f59bd Shuffle CSS around gh-pages Tony Garnock-Jones 2021-04-05 11:50:38 +0200
  • 349fb7fc89 JFP paper Tony Garnock-Jones 2021-04-02 22:51:26 +0200
  • dd89df516c More tweaks Tony Garnock-Jones 2021-04-01 15:08:49 +0200
  • 58593eece4 Another restyle Tony Garnock-Jones 2021-03-31 11:18:29 +0200
  • d46e523c30 Split out font-definitions.css Tony Garnock-Jones 2021-03-31 09:56:15 +0200
  • 75103fe34f Tweaks Tony Garnock-Jones 2021-03-31 09:54:28 +0200
  • 6d48bb931b Correct shifty typo Tony Garnock-Jones 2021-03-31 09:47:49 +0200
  • d496e4c2b6 Capitalize Tony Garnock-Jones 2021-03-30 22:51:18 +0200
  • 7bdbf52c20 Fix asymmetry Tony Garnock-Jones 2021-03-30 22:48:01 +0200
  • e831b4c1cb More tweaks Tony Garnock-Jones 2021-03-30 22:47:13 +0200
  • 75f091ee2f Tweak Tony Garnock-Jones 2021-03-30 22:41:29 +0200
  • efcfadbd67 Tweaks Tony Garnock-Jones 2021-03-30 22:36:50 +0200
  • b67a671fe7 More style edits Tony Garnock-Jones 2021-03-30 22:32:18 +0200
  • da60ff6959 Redo site look Tony Garnock-Jones 2021-03-30 21:21:25 +0200
  • 4c574f0dda Minor style tweaks from Dec 2018 (?) Tony Garnock-Jones 2021-03-30 16:35:19 +0200
  • 6b46be34f9 first draft of verifying messages in spin backend Sam Caldwell 2021-03-04 11:08:06 -0500
  • ff1ac58a36 fix issues with determining stop effects Sam Caldwell 2021-02-22 11:30:43 -0500
  • c54b088a4d dramatically improve handling of cycles in compile/internal-events Sam Caldwell 2021-01-28 11:26:11 -0500
  • d5894e400b prototype using syndicate msd logging for displaying spin counterexamples Sam Caldwell 2021-01-25 11:14:43 -0500
  • b023753091 provide an interface for msd tracing Sam Caldwell 2021-01-25 11:13:12 -0500
  • 04530893f4 some handling of cycles in spin traces Sam Caldwell 2021-01-22 10:38:10 -0500
  • bd267cfaa9 Translate trail file counterexample back to a syndicate-level trace Sam Caldwell 2021-01-15 11:14:30 -0500
  • d79378b4a3 clean up generated files Sam Caldwell 2021-01-11 12:10:05 -0500
  • 7a8628880a LTL syntax plus form for model checking in typed syndicate Sam Caldwell 2021-01-11 11:52:00 -0500
  • 145bc84e33 shell script for running spin Sam Caldwell 2021-01-11 11:50:50 -0500
  • 549590d304 missed one Sam Caldwell 2021-01-11 11:50:05 -0500
  • cb3f0546c0 notes in Makefile Sam Caldwell 2021-01-11 11:49:33 -0500
  • 4e43c489d8 remove unused argument Sam Caldwell 2021-01-06 12:08:13 -0500
  • 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