issues
search
crestdsl
/
CREST
Continuous REactive SysTems DSL
https://crestdsl.github.io
MIT License
18
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Problem when declaring variables with same name in different scopes (e.g. two if/else branches)
#21
stklik
opened
5 years ago
1
Move this repo to crestdsl organization
#20
stklik
opened
5 years ago
2
Add a convenient unit system
#19
stklik
opened
5 years ago
0
Boolean plot "1" instead of "True"
#18
gmarthe
closed
5 years ago
0
Port position issue in graphs
#17
gmarthe
opened
5 years ago
1
z3-variable Creation Issue
#16
gmarthe
opened
5 years ago
0
Problem when overriding already connected subentity in __init__
#15
gmarthe
closed
5 years ago
2
inherited states not supported in Transitions
#14
stklik
opened
5 years ago
0
Remove docker from travis build & testing
#13
stklik
opened
5 years ago
0
Verification: Improve performance of model checking
#12
stklik
opened
5 years ago
0
Extract Model Checking from CREST into own package
#11
stklik
opened
5 years ago
1
Verification: use pointwise if all intervals are [0, inf)
#10
stklik
opened
5 years ago
0
Simulation: Performance improvement ideas
#9
stklik
opened
5 years ago
1
Create crestlogo.svg
#8
stklik
closed
6 years ago
0
Binder
#7
stklik
closed
6 years ago
0
small fixes & nicer demo
#6
stklik
closed
6 years ago
0
update the demo
#5
stklik
closed
6 years ago
0
add type resolving
#4
stklik
closed
5 years ago
0
add DySyEx for trace generation
#3
stklik
closed
5 years ago
0
add list type support
#2
stklik
closed
5 years ago
0
Add System-check
#1
stklik
closed
5 years ago
0