1472 Commits (main)
 

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