[WIP] Add partial semantics for the C AST

mit-plv · Jan 18, 2019 · 2dabfe9 · 2dabfe9
1 parent 70bdfbd
commit 2dabfe9
Show file tree

Hide file tree

Showing 2 changed files with 412 additions and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -24,6 +24,7 @@ src/Arithmetic.v
 src/BoundsPipeline.v
 src/CLI.v
 src/COperationSpecifications.v
+src/CSemantics.v
 src/CStringification.v
 src/CompilersTestCases.v
 src/Demo.v