move example extraction directives to extraction directory

DistributedComponents · Nov 27, 2022 · 5640de2 · 5640de2
1 parent 18d63d0
commit 5640de2
Show file tree

Hide file tree

Showing 5 changed files with 2 additions and 2 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -38,15 +38,15 @@ theories/Examples/Calculator/CalculatorServerLib.v
 theories/Examples/Calculator/SimpleCalculatorServers.v
 theories/Examples/Calculator/DelegatingCalculatorServer.v
 theories/Examples/Calculator/SimpleCalculatorApp.v
-theories/Examples/Calculator/CalculatorExtraction.v
 theories/Examples/TwoPhaseCommit/TwoPhaseProtocol.v
 theories/Examples/TwoPhaseCommit/TwoPhaseCoordinator.v
 theories/Examples/TwoPhaseCommit/TwoPhaseParticipant.v
 theories/Examples/TwoPhaseCommit/SimpleTPCApp.v
-theories/Examples/TwoPhaseCommit/TwoPhaseExtraction.v
 theories/Examples/TwoPhaseCommit/TwoPhaseInductiveInv.v
 theories/Examples/TwoPhaseCommit/TwoPhaseInductiveProof.v
 theories/Examples/TwoPhaseCommit/TwoPhaseClient.v
 theories/Examples/Querying/QueryPlusTPC.v
 theories/Examples/LockResource/LockProtocol.v
 theories/Examples/LockResource/ResourceProtocol.v
+extraction/calculator/CalculatorExtraction.v
+extraction/TPC/TwoPhaseExtraction.v
diff --git a/extraction/TPC/.gitkeep b/extraction/TPC/.gitkeep
diff --git a/...mples/TwoPhaseCommit/TwoPhaseExtraction.v → extraction/TPC/TwoPhaseExtraction.v b/...mples/TwoPhaseCommit/TwoPhaseExtraction.v → extraction/TPC/TwoPhaseExtraction.v
diff --git a/extraction/calculator/.gitkeep b/extraction/calculator/.gitkeep
diff --git a/...xamples/Calculator/CalculatorExtraction.v → extraction/calculator/CalculatorExtraction.v b/...xamples/Calculator/CalculatorExtraction.v → extraction/calculator/CalculatorExtraction.v