13 Commits

Author	SHA1	Message	Date
Sam Caldwell	042d667311	improve handling of initial field type for var asserts	2023-02-10 16:46:11 -05:00
Sam Caldwell	43cc25ea1b	typed: model checking improvements	2022-06-17 15:59:20 -04:00
Sam Caldwell	798e66dc8c	typed: add turns to spin model	2022-06-13 14:50:17 -04:00
Sam Caldwell	b8d580faf3	typed: add release LTL operator	2022-06-13 14:38:12 -04:00
Sam Caldwell	3bdace6535	typed: reorder operations when running spin scripts ... For some reason it was getting stuck on larger spin outputs	2022-06-01 14:36:56 -04:00
Sam Caldwell	e42460b5e6	typed: improve regex for spin output	2022-06-01 13:47:26 -04:00
Sam Caldwell	29b1171aa8	typed: better support for messages in spin traces	2022-04-01 12:38:01 -04:00
Sam Caldwell	2327648499	typed: fiddle with SPIN frontend error	2022-03-23 11:54:17 -04:00
Sam Caldwell	6985022a4b	typed: improve spin-related output and reporting	2022-03-23 11:49:48 -04:00
Sam Caldwell	f5f15a5728	typed: handle types in spec that aren't explicit in program	2022-03-07 12:39:58 -05:00
Sam Caldwell	fd59e58dc3	typed: improve error handling and work around spin front-end limitations	2022-02-25 12:13:52 -05:00
Sam Caldwell	481b490fd2	typed: generate unique end labels in SPIN	2022-02-25 12:04:42 -05:00
Sam Caldwell	59183b5fe9	reorganize typed syndicate project structure	2021-04-21 10:39:30 -04:00

Renamed from racket/typed/compile-spin.rkt (Browse further)