6 Commits

Author	SHA1	Message	Date
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	2fb7f4795e	typed: fix performance pathology in role graph compilation ... Wasn't checking redundancy in adding states to the worklist, so could end up analyzing the same state many, many times. RoleNTimes exposed this behavior: going from 3 to 5 repetitions caused compilation to hang	2022-06-13 14:38:42 -04:00
Sam Caldwell	29b1171aa8	typed: better support for messages in spin traces	2022-04-01 12:38:01 -04:00
Sam Caldwell	fc6e012d1c	fixups to get tests passing	2021-05-10 15:30:46 -04:00
Sam Caldwell	59183b5fe9	reorganize typed syndicate project structure	2021-04-21 10:39:30 -04:00

Renamed from racket/typed/proto.rkt (Browse further)