style: Rename top level folders to lowercase (#138)

* Change top level folder names to lower case * Fix .github and docs * Change specs/quint and specs/english folder names to lower case * Fix scripts folder name in .github --------- Co-authored-by: Romain Ruetschi <romain@informal.systems>
informalsystems · Jan 9, 2024 · 596781b · 596781b
1 parent 03dda99
commit 596781b
Show file tree

Hide file tree

Showing 110 changed files with 41 additions and 41 deletions.
diff --git a/.github/codespell/codespell.ini b/.github/codespell/codespell.ini
@@ -1,3 +1,3 @@
 [codespell]
-skip = ./Code/target
+skip = ./code/target
 ignore-words = .github/codespell/words.txt
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -3,6 +3,6 @@
 version: 2
 updates:
   - package-ecosystem: "cargo"
-    directory: "/Code"
+    directory: "/code"
     schedule:
       interval: "weekly"
diff --git a/.github/workflows/codespell.yml b/.github/workflows/codespell.yml
@@ -17,6 +17,6 @@ jobs:
       - uses: actions/checkout@v4
       - uses: codespell-project/actions-codespell@v2
         with:
-          skip: './Code/target'
+          skip: './code/target'
           ignore_words_file: .github/codespell/words.txt
 
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -4,13 +4,13 @@ on:
   push:
     branches: main
     paths:
-      - Code/**
-      - Specs/Quint/**
+      - code/**
+      - specs/quint/**
       - .github/workflows/coverage.yml
   pull_request:
     paths:
-      - Code/**
-      - Specs/Quint/**
+      - code/**
+      - specs/quint/**
       - .github/workflows/coverage.yml
 
 jobs:
@@ -19,7 +19,7 @@ jobs:
     runs-on: ubuntu-latest
     defaults:
       run:
-        working-directory: Code
+        working-directory: code
     env:
       CARGO_TERM_COLOR: always
     steps:
@@ -46,7 +46,7 @@ jobs:
         uses: codecov/codecov-action@v3
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
-          files: Code/lcov.info
+          files: code/lcov.info
           flags: integration
           fail_ci_if_error: false
 
@@ -55,7 +55,7 @@ jobs:
     runs-on: ubuntu-latest
     defaults:
       run:
-        working-directory: Code
+        working-directory: code
     env:
       CARGO_TERM_COLOR: always
     steps:
@@ -82,6 +82,6 @@ jobs:
         uses: codecov/codecov-action@v3
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
-          files: Code/lcov.info
+          files: code/lcov.info
           flags: mbt
           fail_ci_if_error: false
diff --git a/.github/workflows/mbt.yml b/.github/workflows/mbt.yml
@@ -4,13 +4,13 @@ on:
     branches:
       - main
     paths:
-      - Specs/Quint/**
-      - Code/**
+      - specs/quint/**
+      - code/**
       - .github/workflows/mbt.yml
   pull_request:
     paths:
-      - Specs/Quint/**
-      - Code/**
+      - specs/quint/**
+      - code/**
       - .github/workflows/mbt.yml
 
 jobs:
@@ -36,10 +36,10 @@ jobs:
       - name: Install cargo-nextest
         uses: taiki-e/install-action@cargo-nextest
       - name: Build code
-        working-directory: Code/itf
+        working-directory: code/itf
         run: cargo nextest run --workspace --all-features --no-run
       - name: Current time as random seed for Quint
         run: echo "QUINT_SEED=$(date +%s)" >> $GITHUB_ENV
       - name: Run tests from traces (with random seed)
-        working-directory: Code/itf
+        working-directory: code/itf
         run: cargo nextest run -p malachite-itf --all-features
diff --git a/.github/workflows/quint.yml b/.github/workflows/quint.yml
@@ -4,10 +4,10 @@ on:
     branches:
       - main
     paths:
-      - Specs/Quint/**
+      - specs/quint/**
   pull_request:
     paths:
-      - Specs/Quint/**
+      - specs/quint/**
 
 name: Quint
 
@@ -21,7 +21,7 @@ jobs:
         with:
           node-version: "18"
       - run: npm install -g @informalsystems/quint
-      - run: bash Scripts/quint-forall.sh typecheck Specs/Quint/**/*.qnt
+      - run: bash scripts/quint-forall.sh typecheck specs/quint/**/*.qnt
 
   quint-test:
     name: Test
@@ -34,4 +34,4 @@ jobs:
         with:
           node-version: "18"
       - run: npm install -g @informalsystems/quint
-      - run: bash Scripts/quint-forall.sh "test --max-samples $MAX_SAMPLES" Specs/Quint/tests/**/*Test.qnt
+      - run: bash scripts/quint-forall.sh "test --max-samples $MAX_SAMPLES" specs/quint/tests/**/*Test.qnt
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -4,13 +4,13 @@ on:
   push:
     branches: main
     paths:
-      - Code/**
-      - Specs/Quint/**
+      - code/**
+      - specs/quint/**
       - .github/workflows/rust.yml
   pull_request:
     paths:
-      - Code/**
-      - Specs/Quint/**
+      - code/**
+      - specs/quint/**
       - .github/workflows/rust.yml
 
 env:
@@ -27,7 +27,7 @@ jobs:
     runs-on: ubuntu-latest
     defaults:
       run:
-        working-directory: Code
+        working-directory: code
     steps:
       - name: Checkout
         uses: actions/checkout@v4
@@ -58,7 +58,7 @@ jobs:
         uses: actions-rs/clippy@master
         with:
           token: ${{secrets.GITHUB_TOKEN}}
-          args: --all-features --all-targets --manifest-path Code/Cargo.toml
+          args: --all-features --all-targets --manifest-path code/Cargo.toml
 
   fmt:
     name: Formatting
@@ -73,4 +73,4 @@ jobs:
       - name: Check formatting
         uses: actions-rust-lang/rustfmt@v1
         with:
-          manifest-path: Code/Cargo.toml
+          manifest-path: code/Cargo.toml
diff --git a/README.md b/README.md
@@ -15,9 +15,9 @@ Tendermint consensus in Rust
 
 The repository is split in three areas, each covering one of the important areas of this project:
 
-1. [Code](./Code): Comprises the Rust implementation of the Tendermint consensus algorithm, split across multiple Rust crates.
-2. [Docs](./Docs): Comprises Architectural Decision Records (ADRs) and other documentation, such as the 2018 paper describing the core consensus algorithm.
-3. [Specs](./Specs): English and [Quint][quint-repo] specifications.
+1. [code](./code): Comprises the Rust implementation of the Tendermint consensus algorithm, split across multiple Rust crates.
+2. [docs](./docs): Comprises Architectural Decision Records (ADRs) and other documentation, such as the 2018 paper describing the core consensus algorithm.
+3. [specs](./specs): English and [Quint][quint-repo] specifications.
 
 ## Requirements
 

diff --git a/Code/.cargo/config.toml → code/.cargo/config.toml b/Code/.cargo/config.toml → code/.cargo/config.toml
diff --git a/Code/Cargo.toml → code/Cargo.toml b/Code/Cargo.toml → code/Cargo.toml
diff --git a/Code/common/Cargo.toml → code/common/Cargo.toml b/Code/common/Cargo.toml → code/common/Cargo.toml
diff --git a/Code/common/src/context.rs → code/common/src/context.rs b/Code/common/src/context.rs → code/common/src/context.rs
diff --git a/Code/common/src/height.rs → code/common/src/height.rs b/Code/common/src/height.rs → code/common/src/height.rs
diff --git a/Code/common/src/lib.rs → code/common/src/lib.rs b/Code/common/src/lib.rs → code/common/src/lib.rs
diff --git a/Code/common/src/proposal.rs → code/common/src/proposal.rs b/Code/common/src/proposal.rs → code/common/src/proposal.rs
diff --git a/Code/common/src/round.rs → code/common/src/round.rs b/Code/common/src/round.rs → code/common/src/round.rs
diff --git a/Code/common/src/signed_vote.rs → code/common/src/signed_vote.rs b/Code/common/src/signed_vote.rs → code/common/src/signed_vote.rs
diff --git a/Code/common/src/signing.rs → code/common/src/signing.rs b/Code/common/src/signing.rs → code/common/src/signing.rs
diff --git a/Code/common/src/timeout.rs → code/common/src/timeout.rs b/Code/common/src/timeout.rs → code/common/src/timeout.rs
diff --git a/Code/common/src/validator_set.rs → code/common/src/validator_set.rs b/Code/common/src/validator_set.rs → code/common/src/validator_set.rs
diff --git a/Code/common/src/value.rs → code/common/src/value.rs b/Code/common/src/value.rs → code/common/src/value.rs
diff --git a/Code/common/src/vote.rs → code/common/src/vote.rs b/Code/common/src/vote.rs → code/common/src/vote.rs
diff --git a/Code/driver/Cargo.toml → code/driver/Cargo.toml b/Code/driver/Cargo.toml → code/driver/Cargo.toml
diff --git a/Code/driver/src/driver.rs → code/driver/src/driver.rs b/Code/driver/src/driver.rs → code/driver/src/driver.rs
diff --git a/Code/driver/src/error.rs → code/driver/src/error.rs b/Code/driver/src/error.rs → code/driver/src/error.rs
diff --git a/Code/driver/src/input.rs → code/driver/src/input.rs b/Code/driver/src/input.rs → code/driver/src/input.rs
diff --git a/Code/driver/src/lib.rs → code/driver/src/lib.rs b/Code/driver/src/lib.rs → code/driver/src/lib.rs
diff --git a/Code/driver/src/mux.rs → code/driver/src/mux.rs b/Code/driver/src/mux.rs → code/driver/src/mux.rs
diff --git a/Code/driver/src/output.rs → code/driver/src/output.rs b/Code/driver/src/output.rs → code/driver/src/output.rs
diff --git a/Code/driver/src/proposer.rs → code/driver/src/proposer.rs b/Code/driver/src/proposer.rs → code/driver/src/proposer.rs
diff --git a/Code/driver/src/util.rs → code/driver/src/util.rs b/Code/driver/src/util.rs → code/driver/src/util.rs
diff --git a/Code/itf/Cargo.toml → code/itf/Cargo.toml b/Code/itf/Cargo.toml → code/itf/Cargo.toml
diff --git a/Code/itf/src/consensus.rs → code/itf/src/consensus.rs b/Code/itf/src/consensus.rs → code/itf/src/consensus.rs
diff --git a/Code/itf/src/deserializers.rs → code/itf/src/deserializers.rs b/Code/itf/src/deserializers.rs → code/itf/src/deserializers.rs
diff --git a/Code/itf/src/lib.rs → code/itf/src/lib.rs b/Code/itf/src/lib.rs → code/itf/src/lib.rs
diff --git a/Code/itf/src/types.rs → code/itf/src/types.rs b/Code/itf/src/types.rs → code/itf/src/types.rs
diff --git a/Code/itf/src/utils.rs → code/itf/src/utils.rs b/Code/itf/src/utils.rs → code/itf/src/utils.rs
@@ -5,7 +5,7 @@ pub fn generate_traces(spec_rel_path: &str, gen_dir: &str, quint_seed: u64) {
     println!("🪄 Generating traces for {spec_rel_path:?}...");
 
     let spec_abs_path = format!(
-        "{}/../../Specs/Quint/{}",
+        "{}/../../specs/quint/{}",
         env!("CARGO_MANIFEST_DIR"),
         spec_rel_path
     );

diff --git a/Code/itf/src/votekeeper.rs → code/itf/src/votekeeper.rs b/Code/itf/src/votekeeper.rs → code/itf/src/votekeeper.rs
diff --git a/Code/itf/tests/consensus.rs → code/itf/tests/consensus.rs b/Code/itf/tests/consensus.rs → code/itf/tests/consensus.rs
diff --git a/Code/itf/tests/consensus/runner.rs → code/itf/tests/consensus/runner.rs b/Code/itf/tests/consensus/runner.rs → code/itf/tests/consensus/runner.rs
diff --git a/Code/itf/tests/consensus/utils.rs → code/itf/tests/consensus/utils.rs b/Code/itf/tests/consensus/utils.rs → code/itf/tests/consensus/utils.rs
diff --git a/Code/itf/tests/votekeeper.rs → code/itf/tests/votekeeper.rs b/Code/itf/tests/votekeeper.rs → code/itf/tests/votekeeper.rs
diff --git a/Code/itf/tests/votekeeper/runner.rs → code/itf/tests/votekeeper/runner.rs b/Code/itf/tests/votekeeper/runner.rs → code/itf/tests/votekeeper/runner.rs
diff --git a/Code/itf/tests/votekeeper/utils.rs → code/itf/tests/votekeeper/utils.rs b/Code/itf/tests/votekeeper/utils.rs → code/itf/tests/votekeeper/utils.rs
diff --git a/Code/round/Cargo.toml → code/round/Cargo.toml b/Code/round/Cargo.toml → code/round/Cargo.toml
diff --git a/Code/round/src/input.rs → code/round/src/input.rs b/Code/round/src/input.rs → code/round/src/input.rs
diff --git a/Code/round/src/lib.rs → code/round/src/lib.rs b/Code/round/src/lib.rs → code/round/src/lib.rs
diff --git a/Code/round/src/output.rs → code/round/src/output.rs b/Code/round/src/output.rs → code/round/src/output.rs
diff --git a/Code/round/src/state.rs → code/round/src/state.rs b/Code/round/src/state.rs → code/round/src/state.rs
diff --git a/Code/round/src/state_machine.rs → code/round/src/state_machine.rs b/Code/round/src/state_machine.rs → code/round/src/state_machine.rs
diff --git a/Code/round/src/transition.rs → code/round/src/transition.rs b/Code/round/src/transition.rs → code/round/src/transition.rs
diff --git a/Code/test/Cargo.toml → code/test/Cargo.toml b/Code/test/Cargo.toml → code/test/Cargo.toml
diff --git a/Code/test/src/context.rs → code/test/src/context.rs b/Code/test/src/context.rs → code/test/src/context.rs
diff --git a/Code/test/src/height.rs → code/test/src/height.rs b/Code/test/src/height.rs → code/test/src/height.rs
diff --git a/Code/test/src/lib.rs → code/test/src/lib.rs b/Code/test/src/lib.rs → code/test/src/lib.rs
diff --git a/Code/test/src/proposal.rs → code/test/src/proposal.rs b/Code/test/src/proposal.rs → code/test/src/proposal.rs
diff --git a/Code/test/src/signing.rs → code/test/src/signing.rs b/Code/test/src/signing.rs → code/test/src/signing.rs
diff --git a/Code/test/src/utils.rs → code/test/src/utils.rs b/Code/test/src/utils.rs → code/test/src/utils.rs
diff --git a/Code/test/src/validator_set.rs → code/test/src/validator_set.rs b/Code/test/src/validator_set.rs → code/test/src/validator_set.rs
diff --git a/Code/test/src/value.rs → code/test/src/value.rs b/Code/test/src/value.rs → code/test/src/value.rs
diff --git a/Code/test/src/vote.rs → code/test/src/vote.rs b/Code/test/src/vote.rs → code/test/src/vote.rs
diff --git a/Code/test/tests/driver.rs → code/test/tests/driver.rs b/Code/test/tests/driver.rs → code/test/tests/driver.rs
diff --git a/Code/test/tests/driver_extra.rs → code/test/tests/driver_extra.rs b/Code/test/tests/driver_extra.rs → code/test/tests/driver_extra.rs
diff --git a/Code/test/tests/round.rs → code/test/tests/round.rs b/Code/test/tests/round.rs → code/test/tests/round.rs
diff --git a/Code/test/tests/round_votes.rs → code/test/tests/round_votes.rs b/Code/test/tests/round_votes.rs → code/test/tests/round_votes.rs
diff --git a/Code/test/tests/vote_keeper.rs → code/test/tests/vote_keeper.rs b/Code/test/tests/vote_keeper.rs → code/test/tests/vote_keeper.rs
diff --git a/Code/vote/Cargo.toml → code/vote/Cargo.toml b/Code/vote/Cargo.toml → code/vote/Cargo.toml
diff --git a/Code/vote/src/count.rs → code/vote/src/count.rs b/Code/vote/src/count.rs → code/vote/src/count.rs
diff --git a/Code/vote/src/keeper.rs → code/vote/src/keeper.rs b/Code/vote/src/keeper.rs → code/vote/src/keeper.rs
diff --git a/Code/vote/src/lib.rs → code/vote/src/lib.rs b/Code/vote/src/lib.rs → code/vote/src/lib.rs
diff --git a/Code/vote/src/round_votes.rs → code/vote/src/round_votes.rs b/Code/vote/src/round_votes.rs → code/vote/src/round_votes.rs
diff --git a/Code/vote/src/round_weights.rs → code/vote/src/round_weights.rs b/Code/vote/src/round_weights.rs → code/vote/src/round_weights.rs
diff --git a/Code/vote/src/value_weights.rs → code/vote/src/value_weights.rs b/Code/vote/src/value_weights.rs → code/vote/src/value_weights.rs
diff --git a/codecov.yml b/codecov.yml
@@ -2,8 +2,8 @@ codecov:
   require_ci_to_pass: yes
 
 # ignore:
-#   - "Code/itf"
-#   - "Code/test"
+#   - "code/itf"
+#   - "code/test"
 
 coverage:
   precision: 2
@@ -17,13 +17,13 @@ coverage:
         threshold: 5%
         removed_code_behavior: adjust_base
         paths:
-          - "Code"
+          - "code"
     patch:
       default:
         target: auto
         threshold: 5%
         paths:
-          - "Code"
+          - "code"
 
     changes:
       default:

diff --git a/Docs/.gitkeep → docs/.gitkeep b/Docs/.gitkeep → docs/.gitkeep
diff --git a/Docs/The latest gossip on BFT consenus.pdf → docs/The latest gossip on BFT consenus.pdf b/Docs/The latest gossip on BFT consenus.pdf → docs/The latest gossip on BFT consenus.pdf
diff --git a/Docs/architecture/adr-001-architecture.md → docs/architecture/adr-001-architecture.md b/Docs/architecture/adr-001-architecture.md → docs/architecture/adr-001-architecture.md
@@ -5,7 +5,7 @@
 
 ## Context
 
-This ADR provides architecture and design recommendations for the implementation of the Tendermint consensus protocol in Rust. The implementation follows the article ["The latest gossip on BFT consensus"](#References) and the English and Quint specifications located in the [Specs](../../Specs) directory.
+This ADR provides architecture and design recommendations for the implementation of the Tendermint consensus protocol in Rust. The implementation follows the article ["The latest gossip on BFT consensus"](#References) and the English and Quint specifications located in the [specs](../../specs) directory.
 
 ### Terminology
 
@@ -19,9 +19,9 @@ We use terminology in line with [prior art on Tendermint and BFT consensus](http
 ### Repository Overview
 
 The repository is split in three areas, each covering one of the important areas of this project:
-1. [Code](../../Code): Comprises the Rust implementation of the Tendermint consensus algorithm, split across multiple Rust crates.
-2. [Docs](../../Docs): Comprises Architectural Decision Records (ADRs) such as the present file and other documentation.
-3. [Specs](../../Specs): English and Quint specifications.
+1. [code](../../code): Comprises the Rust implementation of the Tendermint consensus algorithm, split across multiple Rust crates.
+2. [docs](../../docs): Comprises Architectural Decision Records (ADRs) such as the present file and other documentation.
+3. [specs](../../specs): English and Quint specifications.
 
 ### Overview of the Tendermint Consensus Implementation 
 

diff --git a/Docs/architecture/adr-template.md → docs/architecture/adr-template.md b/Docs/architecture/adr-template.md → docs/architecture/adr-template.md
diff --git a/Docs/architecture/assets/sm_arch.jpeg → docs/architecture/assets/sm_arch.jpeg b/Docs/architecture/assets/sm_arch.jpeg → docs/architecture/assets/sm_arch.jpeg
diff --git a/Docs/architecture/readme.md → docs/architecture/readme.md b/Docs/architecture/readme.md → docs/architecture/readme.md
diff --git a/Scripts/quint-forall.sh → scripts/quint-forall.sh b/Scripts/quint-forall.sh → scripts/quint-forall.sh
diff --git a/Specs/.gitkeep → specs/.gitkeep b/Specs/.gitkeep → specs/.gitkeep
diff --git a/Specs/English/README.md → specs/english/README.md b/Specs/English/README.md → specs/english/README.md
@@ -188,7 +188,7 @@ least `f + 1`, which is strictly greater than `f`.
 
 ## Consensus protocol - round state machine
 
-This document provides an overview of the Tendermint consensus protocol and follows ["The latest gossip on BFT consensus"](#References) and the English and Quint specifications located in the [Specs](../../Specs) directory.
+This document provides an overview of the Tendermint consensus protocol and follows ["The latest gossip on BFT consensus"](#References) and the English and Quint specifications located in the [specs](../../specs) directory.
 
 The consensus state-machine operates on complex `Event`s that reflect the
 reception of one or multiple `Message`s, combined with state elements and the

diff --git a/Specs/English/assets/sm_diagram.jpeg → specs/english/assets/sm_diagram.jpeg b/Specs/English/assets/sm_diagram.jpeg → specs/english/assets/sm_diagram.jpeg
diff --git a/Specs/Quint/.gitignore → specs/quint/.gitignore b/Specs/Quint/.gitignore → specs/quint/.gitignore
diff --git a/Specs/Quint/Makefile → specs/quint/Makefile b/Specs/Quint/Makefile → specs/quint/Makefile
diff --git a/Specs/Quint/README.md → specs/quint/README.md b/Specs/Quint/README.md → specs/quint/README.md
diff --git a/Specs/Quint/coverage.md → specs/quint/coverage.md b/Specs/Quint/coverage.md → specs/quint/coverage.md
diff --git a/Specs/Quint/scripts/gen-traces.sh → specs/quint/scripts/gen-traces.sh b/Specs/Quint/scripts/gen-traces.sh → specs/quint/scripts/gen-traces.sh
diff --git a/Specs/Quint/specs/TendermintDSL.qnt → specs/quint/specs/TendermintDSL.qnt b/Specs/Quint/specs/TendermintDSL.qnt → specs/quint/specs/TendermintDSL.qnt
diff --git a/Specs/Quint/specs/consensus.qnt → specs/quint/specs/consensus.qnt b/Specs/Quint/specs/consensus.qnt → specs/quint/specs/consensus.qnt
diff --git a/Specs/Quint/specs/driver.qnt → specs/quint/specs/driver.qnt b/Specs/Quint/specs/driver.qnt → specs/quint/specs/driver.qnt
diff --git a/Specs/Quint/specs/statemachineAsync.qnt → specs/quint/specs/statemachineAsync.qnt b/Specs/Quint/specs/statemachineAsync.qnt → specs/quint/specs/statemachineAsync.qnt
diff --git a/Specs/Quint/specs/types.qnt → specs/quint/specs/types.qnt b/Specs/Quint/specs/types.qnt → specs/quint/specs/types.qnt
diff --git a/Specs/Quint/specs/votekeeper.qnt → specs/quint/specs/votekeeper.qnt b/Specs/Quint/specs/votekeeper.qnt → specs/quint/specs/votekeeper.qnt
diff --git a/Specs/Quint/spells/basic.qnt → specs/quint/spells/basic.qnt b/Specs/Quint/spells/basic.qnt → specs/quint/spells/basic.qnt
diff --git a/Specs/Quint/spells/extra.qnt → specs/quint/spells/extra.qnt b/Specs/Quint/spells/extra.qnt → specs/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/...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/Specs/Quint/tests/line28/line28Test.qnt → specs/quint/tests/line28/line28Test.qnt b/Specs/Quint/tests/line28/line28Test.qnt → specs/quint/tests/line28/line28Test.qnt
diff --git a/Specs/Quint/tests/line28/line28run.qnt → specs/quint/tests/line28/line28run.qnt b/Specs/Quint/tests/line28/line28run.qnt → specs/quint/tests/line28/line28run.qnt
diff --git a/Specs/Quint/tests/line42/line42Test.qnt → specs/quint/tests/line42/line42Test.qnt b/Specs/Quint/tests/line42/line42Test.qnt → specs/quint/tests/line42/line42Test.qnt
diff --git a/Specs/Quint/tests/line42/line42run.qnt → specs/quint/tests/line42/line42run.qnt b/Specs/Quint/tests/line42/line42run.qnt → specs/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/...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