syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
1,530 Commits 30 Branches 3 Tags 44 MiB
Commit Graph

26 Commits

Author SHA1 Message Date
Sam Caldwell a0e8b59299 make Int a union type of Zero and NonZero 2023-02-10 16:46:11 -05:00
Sam Caldwell 042d667311 improve handling of initial field type for var asserts 2023-02-10 16:46:11 -05:00
Sam Caldwell 2f17f77d31 add define-ltl 2023-02-10 16:46:11 -05:00
Sam Caldwell b273586616 small var assert example working with spin 2023-02-10 16:46:11 -05:00
Sam Caldwell 26f15564f1 wip on addying var asserts to SPIN 2023-02-10 16:46:11 -05:00
Sam Caldwell 3801174525 add WritesField effect 2023-02-10 16:46:11 -05:00
Sam Caldwell e514453a12 start on type-varying asserts 2023-02-10 16:46:11 -05:00
Sam Caldwell c78cf5bb3d define := and ! for writing/reading fields 2023-02-10 16:46:11 -05:00
Sam Caldwell 4808004d64 consolidate effect checking to a single key 2023-02-10 16:46:11 -05:00
Sam Caldwell 45425eb68d Make True and False types, and Bool an alias for the union 2023-02-10 16:46:11 -05:00
Sam Caldwell 643cc4d3ab allow type annotation on query-values 2023-02-10 16:46:11 -05:00
Sam Caldwell 8af4464443 working version of with-facets 2023-02-10 16:46:11 -05:00
Sam Caldwell 0d839cbb12 wip on with-facets 2023-02-10 16:46:11 -05:00
Sam Caldwell 7a50ed2f5e wip on with-facets 2023-02-10 16:46:11 -05:00
Sam Caldwell 7f54c4ccd0 typed: start a SPIN test suite 2022-07-07 12:02:25 -04:00
Sam Caldwell b8d580faf3 typed: add release LTL operator 2022-06-13 14:38:12 -04:00
Sam Caldwell c9b25df034 typed: improvements and bug fixes for eliding type annotations 2022-05-04 21:00:31 -04:00
Sam Caldwell b9f655766f typed: add default types to constructor fields and alternate actor 
typechecking path

Default types for fields means we can elaborate a binding pattern
without a current communication type.

Then a potential communication type can be the output of type checking
an actor, that is checked when it is instantiated, such as in a
dataspace or other context.
 2022-05-03 11:51:06 -04:00
Sam Caldwell d2e753d303 typed: bug fix 2022-04-04 10:16:10 -04:00
Sam Caldwell 6058330961 typed: convenience constructor for subscription types, Observe★ 2022-03-16 11:25:07 -04:00
Sam Caldwell 98b773e7ee typed: improve dataspace error messages 2022-03-07 12:37:17 -05:00
Sam Caldwell 3ec1048aad typed: improve error messages 2022-02-23 11:50:17 -05:00
Sam Caldwell 4f6089c805 more docs and cleanup 2021-05-04 17:15:34 -04:00
Sam Caldwell 09ce074125 work on typed syndicate docs 2021-05-03 14:59:14 -04:00
Sam Caldwell 98c58d3e6f Add a typed during/spawn and checks for overly broad interests 2021-04-22 15:38:15 -04:00
Sam Caldwell 59183b5fe9 reorganize typed syndicate project structure 2021-04-21 10:39:30 -04:00
Renamed from racket/typed/roles.rkt (Browse further)