Ecdar/Reveaal
View on GitHubA model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.
- Stars
- 4
- Forks
- 6
- Open beginner issues
- 0
- Indexed issues
- 29
- Dominant language
- Rust
- License
- No license data
- Last GitHub push
- Aug 23, 2023
- Latest indexed
- Sep 15, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- good first issue
- PR merge metrics
- No merged PRs in 30d
-
enhancement
-
approachable bug new feature
-
large endeavour new feature
Ecdar/Reveaal#104 · 0 comments · 0 reactions · 0 assignees ·
-
large endeavour new feature
Ecdar/Reveaal#105 · 0 comments · 0 reactions · 0 assignees ·
-
new feature
Ecdar/Reveaal#106 · 0 comments · 0 reactions · 0 assignees ·
-
Feature Overview Open
Ecdar/Reveaal#107 · 0 comments · 2 reactions · 0 assignees ·
-
new feature
Ecdar/Reveaal#108 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
Ecdar/Reveaal#110 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
-
approachable enhancement
Ecdar/Reveaal#113 · 0 comments · 0 reactions · 0 assignees ·
-
Ecdar/Reveaal#133 · 0 comments · 0 reactions · 0 assignees ·
-
Ecdar/Reveaal#134 · 0 comments · 0 reactions · 0 assignees ·
-
Ecdar/Reveaal#135 · 0 comments · 0 reactions · 0 assignees ·
-
Ecdar/Reveaal#136 · 0 comments · 0 reactions · 0 assignees ·
-
Ecdar/Reveaal#137 · 0 comments · 0 reactions · 0 assignees ·
-
Ecdar/Reveaal#138 · 0 comments · 0 reactions · 0 assignees ·
-
Ecdar/Reveaal#139 · 0 comments · 0 reactions · 0 assignees ·
-
Ecdar/Reveaal#141 · 0 comments · 0 reactions · 0 assignees ·
-
Ecdar/Reveaal#142 · 0 comments · 0 reactions · 0 assignees ·
-
documentation
Ecdar/Reveaal#148 · 0 comments · 0 reactions · 0 assignees ·
-
Expanded logging Openenhancement large endeavour new feature
Ecdar/Reveaal#153 · 0 comments · 0 reactions · 0 assignees ·
-
Restructure of tests Openapproachable enhancement good first issue
Ecdar/Reveaal#154 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement large endeavour
Ecdar/Reveaal#155 · 0 comments · 0 reactions · 0 assignees ·
-
Model transformation Openapproachable enhancement
Ecdar/Reveaal#156 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement large endeavour new feature
Ecdar/Reveaal#157 · 0 comments · 0 reactions · 0 assignees ·
-
Clock scopes Openenhancement large endeavour new feature
Ecdar/Reveaal#158 · 0 comments · 0 reactions · 0 assignees ·
-
Ecdar/Reveaal#172 · 3 comments · 0 reactions · 0 assignees ·