ECDAR-AAU-SW-P5/Reveaal
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.
Rust
Issues
- 1
Replace samples with Ecdar-Common examples
#19 opened by atjn - 2
This code is unlicensed
#16 opened by atjn - 0
Change protobuffer from build script to lib
#15 opened by KamyaPA - 0
Add more clock information to component
#14 opened by frederikja163 - 0
- 2
Write tests for cache implementation
#9 opened by Murmeldyret - 0
- 0
- 0
Create backwards compatable protobuffer with 'Missing Component' (QueryResponse)
#4 opened by Uewotm90 - 2
Sprint2 Planning
#11 opened by SilverBrother - 5
Stylistic changes to the repo
#1 opened by frederikja163