1470 Commits (main)
 

Author SHA1 Message Date
Sam Caldwell 690f9e65a8 more docs and cleanups 3 months ago
Sam Caldwell 4f6089c805 more docs and cleanup 3 months ago
Sam Caldwell aa74ffa14d remove outdated example 3 months ago
Sam Caldwell 09ce074125 work on typed syndicate docs 3 months ago
Sam Caldwell 3f6a5573e4 Allow importing structs without accessors and opaque external types 3 months ago
Sam Caldwell 98c58d3e6f Add a typed during/spawn and checks for overly broad interests 3 months ago
Sam Caldwell c3559f1611 Hide legacy typed/syndicate #lang, consolidate to the "roles" version 3 months ago
Sam Caldwell 8b67d0ba03 test on composing communication types 3 months ago
Sam Caldwell 52e64d6792 move spin scripts 3 months ago
Sam Caldwell 59183b5fe9 reorganize typed syndicate project structure 3 months ago
Sam Caldwell 0191461137 allow importing structs with unknown super-type 4 months ago
Sam Caldwell 6b46be34f9 first draft of verifying messages in spin backend 5 months ago
Sam Caldwell ff1ac58a36 fix issues with determining stop effects 5 months ago
Sam Caldwell c54b088a4d dramatically improve handling of cycles in compile/internal-events 6 months ago
Sam Caldwell d5894e400b prototype using syndicate msd logging for displaying spin counterexamples 6 months ago
Sam Caldwell b023753091 provide an interface for msd tracing 6 months ago
Sam Caldwell 04530893f4 some handling of cycles in spin traces 6 months ago
Sam Caldwell bd267cfaa9 Translate trail file counterexample back to a syndicate-level trace 7 months ago
Sam Caldwell d79378b4a3 clean up generated files 7 months ago
Sam Caldwell 7a8628880a LTL syntax plus form for model checking in typed syndicate 7 months ago
Sam Caldwell 145bc84e33 shell script for running spin 7 months ago
Sam Caldwell 549590d304 missed one 7 months ago
Sam Caldwell cb3f0546c0 notes in Makefile 7 months ago
Sam Caldwell 4e43c489d8 remove unused argument 7 months ago
Sam Caldwell d0f00779cd invoke spin from racket 7 months ago
Sam Caldwell 5a5c651321 Improve simulation checking/failure trace generation 7 months ago
Sam Caldwell 1fba368987 Caputre actor actions while booting up a ground dataspace 8 months ago
Sam Caldwell 7475c1896f stop tracking debugging file 8 months ago
Sam Caldwell 5a90933e9f More work on unit test style simulation checking 8 months ago
Sam Caldwell 8dda1ba6bf Manually assign Type kind to types instead of doing a full 8 months ago
Sam Caldwell 45f140d642 add form for writing type to file 8 months ago
Sam Caldwell 95699308dd fix small issue 8 months ago
Sam Caldwell 362e102524 fix constructor resugaring to use the name with the right scopes 8 months ago
Sam Caldwell 78fee55ffa raise an error when pattern elaboration fails to find a real type 8 months ago
Sam Caldwell 2fd3771609 simplify hash impl a little 8 months ago
Sam Caldwell 8be62ed72c work on finding trace counterexample when finding subgraph 8 months ago
Sam Caldwell c9c2d2747b improve some error reporting by moving cuts 8 months ago
Sam Caldwell c20d075d03 fixups to tests 8 months ago
Sam Caldwell 6dd369b08f improvements on verification, nb AnyActor performance hell 8 months ago
Sam Caldwell c9a5af0d10 create lambda shortcut 8 months ago
Sam Caldwell 7d8b62ff02 first draft on finding simulation counterexamples 8 months ago
Sam Caldwell db2a8e1cec fix issues with require-struct accessors 8 months ago
Sam Caldwell 3e13e3e449 work on proto tie-in 9 months ago
Sam Caldwell 8a6931710a create a typed struct out 9 months ago
Sam Caldwell 1805b936be try syntax-local-lift-module-end for lift+define-role 9 months ago
Sam Caldwell 25860019c6 define accessors for require-struct 9 months ago
Sam Caldwell abecc4996c first bit of linking proto analysis into language 9 months ago
Sam Caldwell d523dc7937 define constructor accessors 9 months ago
Sam Caldwell e75af5ae1c infer a type for fields sans declared type 9 months ago
Sam Caldwell 4cd90a6295 add more require & provide specs 9 months ago