forked from peregrine-project/peregrine-tool
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path_CoqProject
More file actions
29 lines (28 loc) · 965 Bytes
/
Copy path_CoqProject
File metadata and controls
29 lines (28 loc) · 965 Bytes
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
28
29
-Q theories LambdaBox
theories/CheckWf.v
theories/EvalBox.v
theories/CoqToLambdaBox.v
theories/TypedTransforms.v
theories/CertiCoqPipeline.v
theories/ErasurePipeline.v
theories/LambdaBoxToWasm.v
theories/LambdaBoxToRust.v
theories/LambdaBoxToElm.v
theories/LambdaBoxToC.v
theories/LambdaBoxToOCaml.v
theories/Translations.v
theories/Extraction.v
theories/serialization/CeresExtra.v
theories/serialization/Serialize.v
theories/serialization/SerializeCommon.v
theories/serialization/SerializePrimitives.v
theories/serialization/SerializeEAst.v
theories/serialization/SerializeExAst.v
theories/serialization/SerializeCommonComplete.v
theories/serialization/SerializeCommonSound.v
theories/serialization/SerializePrimitivesComplete.v
theories/serialization/SerializePrimitivesSound.v
theories/serialization/SerializeEAstComplete.v
theories/serialization/SerializeEAstSound.v
theories/serialization/SerializeExAstComplete.v
theories/serialization/SerializeExAstSound.v