sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
5295 Commits
1 Branch
0 Tags
187 MiB
Tree: 2dba64705e
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '2dba64705e'
${ noResults }
Commit Graph

5295 Commits (2dba64705ec6502d01b226dd0d61c403570cb25c)
 

Author SHA1 Message Date
TimQu 2646097d8e added virtual destructor for NextStateGenerator
7 years ago
Matthias Volk 4b21026bd7 Merge remote-tracking branch 'upstream/master'
7 years ago
dehnert ad9008e0c1 fixing more warnings related to struct vs. class forward declarations
7 years ago
dehnert c03c5fceb7 fixed warnings related to the mixed use of struct/class
7 years ago
Matthias Volk 1cb9c553eb Merge remote-tracking branch 'upstream/master'
7 years ago
TimQu 234b590bdf Fixed #include
7 years ago
Matthias Volk 069a1ae85e Merge remote-tracking branch 'upstream/master'
7 years ago
TimQu 5b35927ecb fix for some multi-objective queries
7 years ago
TimQu c0d364cf1b fixed a warning
7 years ago
Sebastian Junges 241fc88077 multi-dimensional time bounds
7 years ago
Matthias Volk c770649f26 Increased caching timeout in travis
7 years ago
Matthias Volk 1bf272263f Decreased timeout for mac in travis once again
7 years ago
Matthias Volk 3b561cece8 Merge remote-tracking branch 'upstream/master'
7 years ago
TimQu defcd7d5d7 Multi-objective model checking: adapted data structures to allow more general objectives
7 years ago
TimQu d35a5e4bdd returning the time bound type from a timeBoundReference
7 years ago
TimQu 9207f4fbd8 Merge branch 'memoryproductimprovements'
7 years ago
TimQu e8e189723f fixed applying memoryless schedulers
7 years ago
TimQu 5651b23771 fixing minor compiling issue
7 years ago
TimQu 6af15f3a0d Memory Structure Product with custom reward model type
7 years ago
TimQu a348f6ea8e function to apply a given scheduler to a nondeterministic model
7 years ago
TimQu 7bd9ef798f returning the memory structure of a scheduler
7 years ago
TimQu 4251c9f525 added function to build a trivial memory structure
7 years ago
TimQu 4351be5512 Allowed building memory product with respect to a scheduler
7 years ago
Matthias Volk afd6c21c7d Replaced switch-fallthrough in travis
7 years ago
Matthias Volk ff6037ed79 Use master branch for carl again
7 years ago
Matthias Volk ae9641baba Install eigen3 in dockerfiles
7 years ago
Matthias Volk cc268b3140 Fixed problem in travis
7 years ago
Matthias Volk 556a7df213 Refactored travis build script
7 years ago
Matthias Volk 9df6e58127 Travis dependency already part of docker
7 years ago
Matthias Volk 6c2213b9a1 Remove build directory in first stage of travis
7 years ago
Matthias Volk 8c29e6d04b Merge remote-tracking branch 'upstream/master'
7 years ago
Matthias Volk 5bdbc00bcd Changed carlConfig path for shipped carl
7 years ago
Matthias Volk e4783846e0 Changed carlConfig path for shipped carl
7 years ago
Matthias Volk 9ad4203b09 Export to cmake for shipped carl
7 years ago
Matthias Volk 1067a94c6b Merge remote-tracking branch 'upstream/master'
7 years ago
TimQu 43642fef84 Improved product of model and memory structure: We can now enforce that certain states are considered reachable.
7 years ago
TimQu 9bccae9c5c uint_fast64_t -> uint64_t
7 years ago
TimQu 11b9c60515 Adapted fragment checker test to new multiobjective-fragment specification
7 years ago
dehnert 29855e2853 added option to display information about exploration progress to both jit and explicit builder
7 years ago
TimQu 040c1f0d4c fixed ignoring the hypothesis when not doing refinement
7 years ago
TimQu 48e029dd9d Adapted region settings and CLI to new features.
7 years ago
TimQu 6621cb814c new argument validator: doubleRangeValidatorIncluding
7 years ago
Sebastian Junges 56616f1e26 trying to clarify sylvan dependency on carl
7 years ago
Sebastian Junges 53a2723e0c storm pars result moved from storm to storm pars
7 years ago
sjunges 5a3c67c352 Use result.toString to generate easier-to-parse result files
7 years ago
dehnert 3bcdc1b579 allowing to read transient variables in guards of edges in JIT-based JANI model builder and making the optimization level an option
7 years ago
dehnert 6fd75ac37e fixed issue in cli related to transforming PRISM to JANI
7 years ago
TimQu 9591157996 new features for storm-pars api:
7 years ago
TimQu 8aa2b57640 minor fix for multi-objective preprocessor
7 years ago
TimQu 9bfb1fedc2 requiring that multi objective queries have a multi(..) formula at top level.
7 years ago