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

Commit Graph

  • 0226b74305 fix tests main Sam Caldwell 2023-02-13 16:47:22 -0500
  • 1607f7df45 fix info.rkt Sam Caldwell 2023-02-10 16:55:59 -0500
  • e9703a4189 make Observe* more flexible Sam Caldwell 2023-02-02 14:22:25 -0500
  • a0e8b59299 make Int a union type of Zero and NonZero Sam Caldwell 2022-09-01 11:06:24 -0400
  • 042d667311 improve handling of initial field type for var asserts Sam Caldwell 2022-08-25 11:42:45 -0400
  • 2f17f77d31 add define-ltl Sam Caldwell 2022-08-24 11:37:25 -0400
  • b273586616 small var assert example working with spin Sam Caldwell 2022-08-17 18:16:49 -0400
  • 26f15564f1 wip on addying var asserts to SPIN Sam Caldwell 2022-08-16 16:26:14 -0400
  • 3801174525 add WritesField effect Sam Caldwell 2022-08-16 11:53:40 -0400
  • 4ab405fd70 minimal VarAssert in turnstile working Sam Caldwell 2022-08-16 11:35:21 -0400
  • e514453a12 start on type-varying asserts Sam Caldwell 2022-08-15 20:16:06 -0400
  • c78cf5bb3d define := and ! for writing/reading fields Sam Caldwell 2022-08-15 09:15:49 -0400
  • 59042f9180 test case Sam Caldwell 2022-08-15 08:38:11 -0400
  • 28b8bf742f gitignore Sam Caldwell 2022-08-15 08:37:33 -0400
  • 4808004d64 consolidate effect checking to a single key Sam Caldwell 2022-08-11 19:46:25 -0400
  • 45425eb68d Make True and False types, and Bool an alias for the union Sam Caldwell 2022-08-09 13:51:16 -0400
  • 2064bd8f00 clarify execution order Sam Caldwell 2022-07-19 12:20:50 -0400
  • 6a7879c06e library function on maybe values Sam Caldwell 2022-07-19 12:13:27 -0400
  • 643cc4d3ab allow type annotation on query-values Sam Caldwell 2022-07-19 12:13:06 -0400
  • e4ca56a002 fix bug in polymorphic defns I introduced Sam Caldwell 2022-07-19 12:12:35 -0400
  • 8af4464443 working version of with-facets Sam Caldwell 2022-07-18 16:13:45 -0400
  • 0d839cbb12 wip on with-facets Sam Caldwell 2022-07-15 16:31:17 -0400
  • 7a50ed2f5e wip on with-facets Sam Caldwell 2022-07-15 15:11:30 -0400
  • 899fe287b4 update uses of auxiliary-macro-context Sam Caldwell 2023-02-08 16:52:01 -0500
  • 3d9b1c383c typed: update info.rkt Sam Caldwell 2022-07-19 09:32:10 -0400
  • 7f54c4ccd0 typed: start a SPIN test suite Sam Caldwell 2022-07-07 12:02:25 -0400
  • 43cc25ea1b typed: model checking improvements Sam Caldwell 2022-06-17 15:59:20 -0400
  • 798e66dc8c typed: add turns to spin model Sam Caldwell 2022-06-13 14:50:17 -0400
  • 2fb7f4795e typed: fix performance pathology in role graph compilation Sam Caldwell 2022-06-13 14:38:42 -0400
  • b8d580faf3 typed: add release LTL operator Sam Caldwell 2022-06-13 14:38:12 -0400
  • 28e89297f9 typed: fix redundancy in RoleNTimes Sam Caldwell 2022-06-13 14:33:52 -0400
  • a5e6caaa52 fix RoleNTimes Sam Caldwell 2022-06-03 15:40:17 -0400
  • 2057a9f5a9 typed: RoleNTimes sugar Sam Caldwell 2022-06-01 14:38:43 -0400
  • 3bdace6535 typed: reorder operations when running spin scripts Sam Caldwell 2022-06-01 14:36:56 -0400
  • e42460b5e6 typed: improve regex for spin output Sam Caldwell 2022-06-01 13:47:26 -0400
  • 788c9b0e46 typed: change compile flags for spin models to allow more processes Sam Caldwell 2022-06-01 13:46:31 -0400
  • c9b25df034 typed: improvements and bug fixes for eliding type annotations Sam Caldwell 2022-05-04 21:00:31 -0400
  • b9f655766f typed: add default types to constructor fields and alternate actor typechecking path Sam Caldwell 2022-05-03 11:51:06 -0400
  • d2e753d303 typed: bug fix Sam Caldwell 2022-04-04 10:16:10 -0400
  • 29b1171aa8 typed: better support for messages in spin traces Sam Caldwell 2022-04-01 12:38:01 -0400
  • fc038877f5 typed: fix required struct type constructors to know their arity Sam Caldwell 2022-03-23 12:27:03 -0400
  • e4f72519f0 typed: fix type error in tcp driver Sam Caldwell 2022-03-23 11:55:05 -0400
  • 2327648499 typed: fiddle with SPIN frontend error Sam Caldwell 2022-03-23 11:54:17 -0400
  • 6985022a4b typed: improve spin-related output and reporting Sam Caldwell 2022-03-23 11:49:48 -0400
  • ce965d9025 typed: add missing file Sam Caldwell 2022-03-22 15:30:36 -0400
  • 384d0dbdc1 typed: allow struct imports in require/typed Sam Caldwell 2022-03-16 13:07:23 -0400
  • 06aa3690c7 typed: introduce default naming convention for constructor types Sam Caldwell 2022-03-16 12:04:50 -0400
  • 6058330961 typed: convenience constructor for subscription types, Observe★ Sam Caldwell 2022-03-16 11:25:07 -0400
  • fe798f72a1 untyped: omit a test that the package server does not like Sam Caldwell 2022-03-07 15:03:43 -0500
  • f5f15a5728 typed: handle types in spec that aren't explicit in program Sam Caldwell 2022-03-07 12:39:58 -0500
  • 98b773e7ee typed: improve dataspace error messages Sam Caldwell 2022-03-07 12:37:17 -0500
  • b4497f1623 typed: add some quasisyntax/loc Sam Caldwell 2022-03-07 12:33:15 -0500
  • 9952ff9400 omit GL related things from test paths Sam Caldwell 2022-03-01 12:17:59 -0500
  • fd59e58dc3 typed: improve error handling and work around spin front-end limitations Sam Caldwell 2022-02-25 12:13:52 -0500
  • 481b490fd2 typed: generate unique end labels in SPIN Sam Caldwell 2022-02-25 12:04:42 -0500
  • 3ec1048aad typed: improve error messages Sam Caldwell 2022-02-23 11:50:17 -0500
  • 55477446c2 typed: more string formatting prims Sam Caldwell 2022-02-23 11:49:55 -0500
  • 50cac93e1e bug fix: allow 0-ary structs Sam Caldwell 2022-02-23 11:49:36 -0500
  • fc6e012d1c fixups to get tests passing 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