Commit Graph

1472 Commits (main)
 

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