dehnert
|
f3fa90cc37
|
more work towards exact solving
Former-commit-id: 38edbcf2ca
|
10 years ago |
|
dehnert
|
512a1ec558
|
added special label 'deadlock' to models and builders
Former-commit-id: 4edc57216e
|
10 years ago |
|
dehnert
|
b62f8819b9
|
JANI next-state generator can now generate transitions from silent edges
Former-commit-id: 57e37b5850
|
10 years ago |
|
dehnert
|
1d3539ab9a
|
factored out some parts from the PRISM next-state generator into the superclass
Former-commit-id: bb40e2ec4b
|
10 years ago |
|
dehnert
|
4cc780cbc0
|
tests compiling and running again
Former-commit-id: f84c73d0ae
|
10 years ago |
|
dehnert
|
ddf165d4d3
|
more work on tearing PRISM-specific functionality out of the explicit model builder
Former-commit-id: a835c9072e
|
10 years ago |
|
dehnert
|
6655ee41d8
|
started to restructure explicit model builder to make it fit for JANI models
Former-commit-id: 69603dd97b
|
10 years ago |
|
dehnert
|
1405cdfc46
|
debugged the refactoring a bit
Former-commit-id: 9df3d5d533
|
10 years ago |
|
dehnert
|
fd615289e0
|
outline of learning algorithm
Former-commit-id: d770d1b7dc
|
10 years ago |
|
dehnert
|
1f5439e270
|
added state labeling generator interface
Former-commit-id: eb7668741f
|
10 years ago |
|
dehnert
|
fad28df7d6
|
first working version of next-state generator for PRISM models
Former-commit-id: 548a725e25
|
10 years ago |
|
dehnert
|
9eec5b140c
|
refactoring of model builder
Former-commit-id: f049f5a5bf
|
10 years ago |
|
dehnert
|
a75e0f5323
|
more work wrt cleaner model exploration
Former-commit-id: f24d618bdf
|
10 years ago |
|
dehnert
|
865345c7bf
|
a little morning code
Former-commit-id: 9cb63427c6
|
10 years ago |
|
dehnert
|
8a0bd32b55
|
tearing apart explicit model builder and 'next-state generation'
Former-commit-id: 2ccda8d931
|
10 years ago |
|
dehnert
|
7ce969b312
|
started working on more flexible model generation using next-state-generators
Former-commit-id: 805940f179
|
10 years ago |
