| .. |
|
drivers
|
create typed timestate driver wrapper
|
2020-12-11 16:40:00 -05:00 |
|
examples
|
Improve simulation checking/failure trace generation
|
2020-12-21 11:07:29 -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
|
invoke spin from racket
|
2021-01-06 11:19:42 -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
|
Manually assign Type kind to types instead of doing a full
|
2020-12-11 16:40:03 -05: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
|
compile ltl specs
|
2020-06-17 15:01:47 -04: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
|
missed one
|
2021-01-11 11:50:05 -05:00 |
|
roles.rkt
|
Improve simulation checking/failure trace generation
|
2020-12-21 11:07:29 -05:00 |
|
run-spin.sh
|
shell script for running spin
|
2021-01-11 11:50:50 -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
|
forgot to commit spin prelude
|
2020-06-12 16:27:39 -04: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 |
145bc84e33