File tree Expand file tree Collapse file tree 5 files changed +2
-2
lines changed
Expand file tree Collapse file tree 5 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -38,15 +38,15 @@ theories/Examples/Calculator/CalculatorServerLib.v
3838theories/Examples/Calculator/SimpleCalculatorServers.v
3939theories/Examples/Calculator/DelegatingCalculatorServer.v
4040theories/Examples/Calculator/SimpleCalculatorApp.v
41- theories/Examples/Calculator/CalculatorExtraction.v
4241theories/Examples/TwoPhaseCommit/TwoPhaseProtocol.v
4342theories/Examples/TwoPhaseCommit/TwoPhaseCoordinator.v
4443theories/Examples/TwoPhaseCommit/TwoPhaseParticipant.v
4544theories/Examples/TwoPhaseCommit/SimpleTPCApp.v
46- theories/Examples/TwoPhaseCommit/TwoPhaseExtraction.v
4745theories/Examples/TwoPhaseCommit/TwoPhaseInductiveInv.v
4846theories/Examples/TwoPhaseCommit/TwoPhaseInductiveProof.v
4947theories/Examples/TwoPhaseCommit/TwoPhaseClient.v
5048theories/Examples/Querying/QueryPlusTPC.v
5149theories/Examples/LockResource/LockProtocol.v
5250theories/Examples/LockResource/ResourceProtocol.v
51+ extraction/calculator/CalculatorExtraction.v
52+ extraction/TPC/TwoPhaseExtraction.v
File renamed without changes.
File renamed without changes.
You can’t perform that action at this time.
0 commit comments