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

3392 Commits (4ef0c298577f3ac62a9f6a83973dedd7f0d735a5)

Author SHA1 Message Date
ThomasH 7fef54ab10 modify the ma builder such that it resprects priorities
10 years ago
ThomasH 3f4b82cf39 add priorities to the transition model
10 years ago
dehnert fd3b8adc00 fixed bug in formula parser
10 years ago
ThomasH 3f23d7b322 add advanced state labeling (wrt a given formula)
10 years ago
dehnert 6810c0d50f fixed bug in computation of instantaneous rewards on DTMCs
10 years ago
dehnert c88e540a1a fixed bug in graph preprocessing algorithms that support a maximal number of steps
10 years ago
dehnert 2c23b1ed99 fixed bug in sparse DTMC model checker
10 years ago
dehnert cae04c0e20 fixed bug in symbolic quantitative check result
10 years ago
dehnert 71bfb45220 added check for multiple writes to the same global variable in explicit JANI next-state generator
10 years ago
TimQu ad1e530756 added subsystemBuilder for preprocessing infinite rewards
10 years ago
dehnert 7861df4f20 JANI next-state generator appears to be working (without rewards)
10 years ago
TimQu 669e9c6352 fix regarding creation of downward closure in 3D
10 years ago
dehnert 08112d98aa more work on JANI next state generator and the corresponding tests
10 years ago
TimQu 4b406c5e74 bugfix
10 years ago
TimQu f442d9a434 disabled the "conservative" choice selection for value iteration because it produced wrong results (and we don't need this anymore)
10 years ago
dehnert 05fecb03b3 started on introducing multiple initial locations in JANI models
10 years ago
dehnert b62f8819b9 JANI next-state generator can now generate transitions from silent edges
10 years ago
TimQu e6c89a6f45 more on total rewards
10 years ago
TimQu de35d40905 total reward formulas
10 years ago
dehnert 000a8c2d77 more work on JANI next-state generator
10 years ago
TimQu 0e1293cabb creation of check results for numerical and achievability queries
10 years ago
TimQu f461c990b5 introduced post processor plus a little renaiming of things
10 years ago
TimQu abfa23c4de missing override
10 years ago
dehnert 1d3539ab9a factored out some parts from the PRISM next-state generator into the superclass
10 years ago
TimQu 1a18ea3aec fixed the case where a maximal end componend decomposition is requested for an empty subsystem
10 years ago
TimQu 0b6d0a7e5e improvements for preprocessor
10 years ago
TimQu d496e71169 linear transformation for polytopes
10 years ago
TimQu b00d3f154c further polishing code
10 years ago
TimQu c86c6953b5 Renamed and refactored the helpers a little
10 years ago
TimQu d5f1e6d5e7 multi objective settings
10 years ago
TimQu a54c9f0023 Added test and fix for neutralECRemover
10 years ago
TimQu da65ef3aa9 Renamed Effectless -> Neutral. Also removed additional (useless) sink state
10 years ago
TimQu c401de1fb9 handling of end components in which no reward is earned
10 years ago
TimQu 18d3c06f12 fix in state duplicator
10 years ago
dehnert 4cc780cbc0 tests compiling and running again
10 years ago
dehnert 4063d88913 added option to build all labels/reward models for next-state generators
10 years ago
dehnert d35c99e844 renamed central model builder function
10 years ago
dehnert 9f6bd1805f modified the entry point code to deal with the new generator-builder-structure
10 years ago
TimQu 9ec10f7bcb some modifications for preprocessing
10 years ago
TimQu 5310793653 minor fixes and debug output
10 years ago
dehnert ddf165d4d3 more work on tearing PRISM-specific functionality out of the explicit model builder
10 years ago
dehnert 6655ee41d8 started to restructure explicit model builder to make it fit for JANI models
10 years ago
TimQu cda4e666d3 globally formulas
10 years ago
TimQu 2bab103a87 numerical and pareto queries
10 years ago
dehnert efda4e2950 changed the ordering of operations a bit to get more performance
10 years ago
dehnert ca57e22abc started profiling
10 years ago
dehnert c393449ca6 [fixing] a bug a day keeps insanity away
10 years ago
TimQu fab04934bf towards numerical and pareto queries
10 years ago
dehnert 3d4552cbf8 started working on improved JANI model building that still allows for more relaxed rules than PRISM when it comes to writing global variables
10 years ago
TimQu fb1fa2f23c implemented the LP solving to find a separating halfspace
10 years ago