issues
search
Ecdar
/
j-Ecdar
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
MIT License
4
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Feat/guard short circuit visitor
#108
Brandhoej
opened
1 year ago
0
Feat/diagonal remover
#107
Brandhoej
opened
1 year ago
0
Feat/log lazy and exceptions
#106
Brandhoej
opened
1 year ago
0
Feat/cdd runtime
#105
Brandhoej
opened
1 year ago
0
Feat/cdd factories
#104
Brandhoej
opened
1 year ago
0
Feat/cdd deferred compute
#103
Brandhoej
opened
1 year ago
0
Fix for Gradle error
#102
Nielswps
opened
1 year ago
0
Fix/cdd
#101
Brandhoej
closed
1 year ago
0
CDD x>=0 and x<0
#100
Brandhoej
opened
1 year ago
0
Updated deprecated property 'classifier' to 'archiveClassifier'
#99
t-lohse
opened
1 year ago
0
Spaces in names
#98
Brandhoej
opened
1 year ago
0
Symbol Table for identifiers and scopes
#97
Brandhoej
opened
1 year ago
0
Switch to using the JCDD main branch
#96
t-lohse
closed
1 year ago
4
Guard rename
#95
t-lohse
opened
1 year ago
2
Fix/inconsistent location invariant
#94
Brandhoej
closed
1 year ago
1
Repeated terms in `AndGuard` and `OrGuard`
#93
magoorden
opened
1 year ago
0
Fix/double quotient
#92
Brandhoej
closed
1 year ago
0
Logging printStackTrace and err output
#91
Brandhoej
opened
1 year ago
0
Flaky tests maybe related to consistency check
#90
Brandhoej
opened
1 year ago
0
What makes the E2E tests use too much memory?
#89
Brandhoej
opened
1 year ago
0
Log state instead of location
#88
t-lohse
closed
1 year ago
2
GraalVM native-image support
#87
Nielswps
closed
1 year ago
1
Reimplement bisimilarity in TransitionSystem and Automaton
#86
Brandhoej
opened
2 years ago
0
Build #38 failed
#85
magoorden
closed
1 year ago
3
Dynamically find Grpc port
#84
Brandhoej
opened
2 years ago
0
New cdd functions
#83
Brandhoej
closed
2 years ago
2
Log actual state pair instead of location pair in refinement
#82
magoorden
closed
1 year ago
1
Seperation or removal of GUI
#81
Brandhoej
opened
2 years ago
0
Rename the Guard class
#80
Brandhoej
opened
2 years ago
0
Possibly incorrect tests
#79
Brandhoej
opened
2 years ago
1
Custom exceptions for XMLParsing
#78
Brandhoej
opened
2 years ago
0
Log functions with lazily evaluated parameters
#77
Brandhoej
opened
2 years ago
0
Define code style for j-Ecdar
#76
magoorden
opened
2 years ago
0
Shorten lifetime of branches
#75
magoorden
opened
2 years ago
1
Fix/quotient
#74
Brandhoej
closed
2 years ago
3
Switch to using the JCDD main branch
#73
magoorden
closed
1 year ago
0
Multiple Location types can cause confusion
#72
Brandhoej
closed
2 years ago
1
Quotient getNextMoves assumes that location runtime instance
#71
Brandhoej
closed
2 years ago
1
Aggregate exceptions when validating input models
#70
magoorden
opened
2 years ago
0
Automaton constructor does not check whether there is any path to a location
#69
Brandhoej
opened
2 years ago
3
Automaton constructor unreachable initial location
#68
Brandhoej
opened
2 years ago
0
Automaton constructor Clocks and Boolean variables
#67
Brandhoej
opened
2 years ago
1
Automaton does not check whether all locations are present in the edges
#66
Brandhoej
opened
2 years ago
0
Refactoring Location classes
#65
Brandhoej
closed
2 years ago
1
#40 Specifications are not checked for overlapping input and output action sets
#64
Brandhoej
closed
2 years ago
4
Pruning should not look at location names to determine which ones are inconsistant
#63
magoorden
opened
2 years ago
0
The inconsistant location produced by the quotient has incorrect invariant
#62
magoorden
closed
1 year ago
0
Model simplifications
#61
magoorden
opened
2 years ago
0
The quotient produces two new clocks
#60
magoorden
closed
1 year ago
0
#33 syncs and refactor of composition
#59
Brandhoej
closed
2 years ago
1
Next