.. |
drivers
|
create typed timestate driver wrapper
|
2020-12-11 16:40:00 -05:00 |
examples
|
first draft of verifying messages in spin backend
|
2021-03-04 11:08:06 -05:00 |
syndicate
|
start on facet role types
|
2019-01-25 11:15:59 -05:00 |
tests
|
customize resugaring, clean up a bit
|
2020-12-11 16:39:59 -05:00 |
Makefile
|
notes in Makefile
|
2021-01-11 11:49:33 -05:00 |
compile-spin.rkt
|
first draft of verifying messages in spin backend
|
2021-03-04 11:08:06 -05:00 |
core-expressions.rkt
|
raise an error when pattern elaboration fails to find a real type
|
2020-12-11 16:40:02 -05:00 |
core-types.rkt
|
allow importing structs with unknown super-type
|
2021-04-15 10:54:10 -04:00 |
core.rkt
|
fixups for package installation
|
2019-08-26 11:08:30 -04:00 |
either.rkt
|
add multi-accumulator for/fold
|
2020-12-11 16:39:59 -05:00 |
example.rkt
|
more wip on TS
|
2019-01-25 11:15:58 -05:00 |
for-loops.rkt
|
add multi-accumulator for/fold
|
2020-12-11 16:39:59 -05:00 |
hash.rkt
|
simplify hash impl a little
|
2020-12-11 16:40:02 -05:00 |
info.rkt
|
edit info files to enable raco test typed/
|
2020-03-10 11:44:23 -04:00 |
leader-and-seller.pml
|
verify request/response property in leader-and-seller
|
2020-03-10 11:44:20 -04:00 |
list.rkt
|
add some list ops
|
2020-12-11 16:39:59 -05:00 |
ltl.rkt
|
LTL syntax plus form for model checking in typed syndicate
|
2021-01-11 11:52:00 -05:00 |
main.rkt
|
fixups for package installation
|
2019-08-26 11:08:30 -04:00 |
maybe.rkt
|
forgot to add maybe.rkt and either.rkt
|
2020-03-10 11:44:12 -04:00 |
prim.rkt
|
add string=?
|
2020-12-11 16:39:59 -05:00 |
proto.rkt
|
fix issues with determining stop effects
|
2021-02-22 11:30:43 -05:00 |
replay-trail.sh
|
Translate trail file counterexample back to a syndicate-level trace
|
2021-01-15 11:15:44 -05:00 |
roles.rkt
|
first draft of verifying messages in spin backend
|
2021-03-04 11:08:06 -05:00 |
run-spin.sh
|
Translate trail file counterexample back to a syndicate-level trace
|
2021-01-15 11:15:44 -05:00 |
sequence.rkt
|
add in-range
|
2020-03-10 11:44:21 -04:00 |
set.rkt
|
fix require, add current-inexact-milliseconds primop
|
2020-12-11 16:39:59 -05:00 |
spin-prelude.pml
|
first draft of verifying messages in spin backend
|
2021-03-04 11:08:06 -05:00 |
syntax-serializer.rkt
|
remove debug prints
|
2020-12-11 16:39:59 -05:00 |
test-utils.rkt
|
compiling spin
|
2020-06-08 16:18:57 -04:00 |