Prepare release

katamaran-project · Jul 19, 2022 · b5958bd · b5958bd
1 parent 52c9530
commit b5958bd
Show file tree

Hide file tree

Showing 12 changed files with 0 additions and 7,484 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -7,13 +7,6 @@ case_study/MinimalCaps/Base.v
 case_study/MinimalCaps/Contracts.v
 case_study/MinimalCaps/Machine.v
 case_study/MinimalCaps/Model.v
--Q case_study/RiscvPmp Katamaran.RiscvPmp
-case_study/RiscvPmp/Base.v
-case_study/RiscvPmp/Contracts.v
-case_study/RiscvPmp/Machine.v
-case_study/RiscvPmp/Model.v
-case_study/RiscvPmp/LoopVerification.v
-case_study/RiscvPmp/BlockVerification.v
 -R theories Katamaran
 test/Example.v
 test/LinkedList.v

diff --git a/case_study/.gitattributes b/case_study/.gitattributes