.. |
drivers
|
create typed timestate driver wrapper
|
2020-12-11 16:40:00 -05:00 |
examples
|
fix issues with require-struct accessors
|
2020-12-11 16:40:02 -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
|
record a useful spin option
|
2020-06-15 12:07:31 -04:00 |
compile-spin.rkt
|
compile ltl specs
|
2020-06-17 15:01:47 -04:00 |
core-expressions.rkt
|
add multi-accumulator for/fold
|
2020-12-11 16:39:59 -05:00 |
core-types.rkt
|
create lambda shortcut
|
2020-12-11 16:40:02 -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
|
more hash operations
|
2020-03-10 11:44:07 -04: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
|
first draft on finding simulation counterexamples
|
2020-12-11 16:40:02 -05:00 |
roles.rkt
|
work on proto tie-in
|
2020-12-11 16:40:00 -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 |
tmp.rkt
|
debug state
|
2020-12-11 16:39:58 -05:00 |