spec: specs/quint -> specs/consensus/quint

informalsystems · Nov 25, 2024 · 6ed4ef4 · 6ed4ef4
1 parent ca6631a
commit 6ed4ef4
Show file tree

Hide file tree

Showing 37 changed files with 2 additions and 2 deletions.
diff --git a/specs/consensus/README.md b/specs/consensus/README.md
@@ -26,4 +26,4 @@ The specification of the consensus algorithm and its implementation is organized
 [accountable-tendermint]: ./misbehavior.md#misbehavior-detection-and-verification-in-accountable-tendermint
 [tendermint-arxiv]: https://arxiv.org/abs/1807.04938
 [tendermint-pdf]: https://arxiv.org/pdf/1807.04938
-[quint-spec]: ../quint/README.md
+[quint-spec]: ./quint/README.md
diff --git a/specs/quint/.gitignore → specs/consensus/quint/.gitignore b/specs/quint/.gitignore → specs/consensus/quint/.gitignore
diff --git a/specs/quint/Makefile → specs/consensus/quint/Makefile b/specs/quint/Makefile → specs/consensus/quint/Makefile
diff --git a/specs/quint/README.md → specs/consensus/quint/README.md b/specs/quint/README.md → specs/consensus/quint/README.md
diff --git a/specs/quint/coverage.md → specs/consensus/quint/coverage.md b/specs/quint/coverage.md → specs/consensus/quint/coverage.md
diff --git a/specs/quint/scripts/gen-traces.sh → specs/consensus/quint/scripts/gen-traces.sh b/specs/quint/scripts/gen-traces.sh → specs/consensus/quint/scripts/gen-traces.sh
diff --git a/specs/quint/specs/TendermintDSL.qnt → ...s/consensus/quint/specs/TendermintDSL.qnt b/specs/quint/specs/TendermintDSL.qnt → ...s/consensus/quint/specs/TendermintDSL.qnt
diff --git a/specs/quint/specs/consensus.qnt → specs/consensus/quint/specs/consensus.qnt b/specs/quint/specs/consensus.qnt → specs/consensus/quint/specs/consensus.qnt
diff --git a/specs/quint/specs/driver.qnt → specs/consensus/quint/specs/driver.qnt b/specs/quint/specs/driver.qnt → specs/consensus/quint/specs/driver.qnt
diff --git a/specs/quint/specs/statemachineAsync.qnt → ...nsensus/quint/specs/statemachineAsync.qnt b/specs/quint/specs/statemachineAsync.qnt → ...nsensus/quint/specs/statemachineAsync.qnt
diff --git a/specs/quint/specs/types.qnt → specs/consensus/quint/specs/types.qnt b/specs/quint/specs/types.qnt → specs/consensus/quint/specs/types.qnt
diff --git a/specs/quint/specs/votekeeper.qnt → specs/consensus/quint/specs/votekeeper.qnt b/specs/quint/specs/votekeeper.qnt → specs/consensus/quint/specs/votekeeper.qnt
diff --git a/specs/quint/spells/basic.qnt → specs/consensus/quint/spells/basic.qnt b/specs/quint/spells/basic.qnt → specs/consensus/quint/spells/basic.qnt
diff --git a/specs/quint/spells/extra.qnt → specs/consensus/quint/spells/extra.qnt b/specs/quint/spells/extra.qnt → specs/consensus/quint/spells/extra.qnt
diff --git a/...s/quint/tests/consensus/consensusTest.qnt → ...s/quint/tests/consensus/consensusTest.qnt b/...s/quint/tests/consensus/consensusTest.qnt → ...s/quint/tests/consensus/consensusTest.qnt
diff --git a/...deForPastRound/decideForPastRoundTest.qnt → ...deForPastRound/decideForPastRoundTest.qnt b/...deForPastRound/decideForPastRoundTest.qnt → ...deForPastRound/decideForPastRoundTest.qnt
diff --git a/...ideForPastRound/decideForPastRoundrun.qnt → ...ideForPastRound/decideForPastRoundrun.qnt b/...ideForPastRound/decideForPastRoundrun.qnt → ...ideForPastRound/decideForPastRoundrun.qnt
diff --git a/...nt/tests/disagreement/disagreementRun.qnt → ...nt/tests/disagreement/disagreementRun.qnt b/...nt/tests/disagreement/disagreementRun.qnt → ...nt/tests/disagreement/disagreementRun.qnt
diff --git a/...t/tests/disagreement/disagreementTest.qnt → ...t/tests/disagreement/disagreementTest.qnt b/...t/tests/disagreement/disagreementTest.qnt → ...t/tests/disagreement/disagreementTest.qnt
diff --git a/...quint/tests/hiddenlock/hiddenLockTest.qnt → ...quint/tests/hiddenlock/hiddenLockTest.qnt b/...quint/tests/hiddenlock/hiddenLockTest.qnt → ...quint/tests/hiddenlock/hiddenLockTest.qnt
diff --git a/.../quint/tests/hiddenlock/hiddenLockrun.qnt → .../quint/tests/hiddenlock/hiddenLockrun.qnt b/.../quint/tests/hiddenlock/hiddenLockrun.qnt → .../quint/tests/hiddenlock/hiddenLockrun.qnt
diff --git a/specs/quint/tests/line26/line26Test.qnt → ...nsensus/quint/tests/line26/line26Test.qnt b/specs/quint/tests/line26/line26Test.qnt → ...nsensus/quint/tests/line26/line26Test.qnt
diff --git a/specs/quint/tests/line26/line26run.qnt → ...onsensus/quint/tests/line26/line26run.qnt b/specs/quint/tests/line26/line26run.qnt → ...onsensus/quint/tests/line26/line26run.qnt
diff --git a/specs/quint/tests/line28/line28Test.qnt → ...nsensus/quint/tests/line28/line28Test.qnt b/specs/quint/tests/line28/line28Test.qnt → ...nsensus/quint/tests/line28/line28Test.qnt
diff --git a/specs/quint/tests/line28/line28run.qnt → ...onsensus/quint/tests/line28/line28run.qnt b/specs/quint/tests/line28/line28run.qnt → ...onsensus/quint/tests/line28/line28run.qnt
diff --git a/specs/quint/tests/line32/line32Test.qnt → ...nsensus/quint/tests/line32/line32Test.qnt b/specs/quint/tests/line32/line32Test.qnt → ...nsensus/quint/tests/line32/line32Test.qnt
diff --git a/specs/quint/tests/line32/line32run.qnt → ...onsensus/quint/tests/line32/line32run.qnt b/specs/quint/tests/line32/line32run.qnt → ...onsensus/quint/tests/line32/line32run.qnt
diff --git a/specs/quint/tests/line42/line42Test.qnt → ...nsensus/quint/tests/line42/line42Test.qnt b/specs/quint/tests/line42/line42Test.qnt → ...nsensus/quint/tests/line42/line42Test.qnt
diff --git a/specs/quint/tests/line42/line42run.qnt → ...onsensus/quint/tests/line42/line42run.qnt b/specs/quint/tests/line42/line42run.qnt → ...onsensus/quint/tests/line42/line42run.qnt
diff --git a/.../tests/multi-round/someMultiRoundRuns.qnt → .../tests/multi-round/someMultiRoundRuns.qnt b/.../tests/multi-round/someMultiRoundRuns.qnt → .../tests/multi-round/someMultiRoundRuns.qnt
diff --git a/.../tests/multi-round/someMultiRoundTest.qnt → .../tests/multi-round/someMultiRoundTest.qnt b/.../tests/multi-round/someMultiRoundTest.qnt → .../tests/multi-round/someMultiRoundTest.qnt
diff --git a/...tests/state-machine/parameterizedTest.qnt → ...tests/state-machine/parameterizedTest.qnt b/...tests/state-machine/parameterizedTest.qnt → ...tests/state-machine/parameterizedTest.qnt
diff --git a/.../tests/state-machine/statemachineTest.qnt → .../tests/state-machine/statemachineTest.qnt b/.../tests/state-machine/statemachineTest.qnt → .../tests/state-machine/statemachineTest.qnt
diff --git a/specs/quint/tests/test-all.sh → specs/consensus/quint/tests/test-all.sh b/specs/quint/tests/test-all.sh → specs/consensus/quint/tests/test-all.sh
diff --git a/...int/tests/votekeeper/votekeeperModels.qnt → ...int/tests/votekeeper/votekeeperModels.qnt b/...int/tests/votekeeper/votekeeperModels.qnt → ...int/tests/votekeeper/votekeeperModels.qnt
diff --git a/...quint/tests/votekeeper/votekeeperTest.qnt → ...quint/tests/votekeeper/votekeeperTest.qnt b/...quint/tests/votekeeper/votekeeperTest.qnt → ...quint/tests/votekeeper/votekeeperTest.qnt
diff --git a/specs/synchronization/blocksync/quint/consensus b/specs/synchronization/blocksync/quint/consensus
@@ -1 +1 @@
-../../../../specs/quint
+../../../consensus/quint