The source project of this merge request has been removed.
Fixing broken intervals
1 unresolved thread
1 unresolved thread
Fixed intervals of the kind [a,b).
The fact that the square bracket is not balanced messes up CoqDoc. By using <<[a,b]>> instead, the problem is mitigated.
This has been added to the guidelines.
Merge request reports
Activity
Filter activity
29 29 Hypothesis H_sporadic_tasks: 30 30 sporadic_task_model task_period arr_seq job_task. 31 31 ``` 32 - When commenting, be careful not to leave any mispelled word: Prosa's CI system comprises a spell-checker that will signal any error. When comments have to contain variable names or mathematical notation, use square brackets (e.g. `[job_cost j]`). You can nest square brackets _only if they are balanced_: `[[t1,t2)]` will not work. In this case, use `<<[t1,t2)>>`. changed this line in version 2 of the diff
assigned to @bbb
Please register or sign in to reply