File size: 516 Bytes
119e586 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | -R World World
-R Machine Machine
-R Mutation Mutation
-R Dump Dump
-R Proofs Proofs
-arg -w -arg -notation-overridden
-arg -w -arg -redundant-pattern-matching
World/ObjectKinds.v
Machine/State.v
Machine/StepRelation.v
Machine/StepFunction.v
Machine/Execution.v
Mutation/Event.v
Mutation/Validation.v
Mutation/Journal.v
Mutation/Replay.v
Mutation/Rollback.v
Dump/Bytes.v
Dump/Canonical.v
Dump/Encode.v
Dump/Decode.v
Dump/Validate.v
Dump/RoundTrip.v
Proofs/Theorems.v
Proofs/Preservation.v
|