Skip to content
Snippets Groups Projects
Commit 112d56ae authored by Pierre Courtieu's avatar Pierre Courtieu
Browse files

Typos and formatting.

parent e357adda
No related branches found
No related tags found
No related merge requests found
The fundamental principle is that the MASTER branch must remain compilable at all times and should never contain incomplete developments.
The fundamental principle is that the MASTER branch must remain
compilable at all times and should never contain incomplete
developments.
Development work on the master branch must be avoided. Instead, each feature or topic should have its own dedicated branch. Developers should create new branches as needed, and all work—including collaborative efforts—should occur within these topic-specific branches.
Development work on the master branch must be avoided. Instead, each
feature or topic should have its own dedicated branch. Developers
should create new branches as needed, and all work—including
collaborative efforts—should occur within these topic-specific
branches.
Before merging changes into master, ensure that your code:
......@@ -10,7 +16,10 @@ Before merging changes into master, ensure that your code:
- Uses descriptive hypothesis names rather than auto-generated ones
- Meets all project quality standards
When your changes are ready (such as a completed case study), you have two options:
When your changes are ready (such as a completed case study), you have
two options:
1. Submit a pull request for review
2. Merge directly into master after squashing your commits into meaningful, well-organized units (typically one or a few commits that clearly represent the changes)
2. Merge directly into master after squashing your commits into
meaningful, well-organized units (typically one or a few commits
that clearly represent the changes)
# Requirements
- Coq 8.19 or 8.20 (including the executable `coqc`, `codep`, `coq_makefile`)
- Coq 8.19 or 8.20 (including the executable `coqc`, `coqdep`, `coq_makefile`)
- GNU `make`
# Configuration
......
......@@ -106,5 +106,3 @@ A general description of the Pactole library and its use:
Courtieu, Rieg, Tixeuil, and Urbain. *Swarms of Mobile Robots: Towards
Versatility with Safety.* Leibniz Transactions on Embedded Systems (LITES), 8(2):02:1–
02:36, 2022. [link](https://doi.org/10.4230/LITES.8.2.2)
02:36, 2022.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment