s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
2812 Commits
5 Branches
0 Tags
31 MiB
Tree: c8a894cae2
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'c8a894cae2'
${ noResults }
Commit Graph

23 Commits (c8a894cae21efb5076dc8b8423b53e39c0812c98)

Author SHA1 Message Date
Dave Parker c8a894cae2 Auto-format.
10 years ago
Dave Parker 0e01288705 Improve explicit.ConstructModel: generalise to use new ModelGenerator interface (not just ModulesFiles via the simulator) and tidy up the settings within the class.
10 years ago
Dave Parker b12953b937 Make use of the new PrismNotSupportedException.
11 years ago
Dave Parker 085a3e0b1c Small refactoring of methods to compute steady-state probabilities.
12 years ago
Dave Parker e109eadf71 Switch ConstructModel class to PrismComponent interface.
13 years ago
Dave Parker 3e2efc21e9 New PrismComponent class: refactoring for various model checking components.
13 years ago
Dave Parker 5018559d3e DTMC steady-state computation for explicit engine.
14 years ago
Dave Parker f6582ef185 Fix some other refs to old Prism API.
14 years ago
Dave Parker a218d09b2b * Continued major changes to PRISM API
14 years ago
Dave Parker 6ee93d72ca Slight tidy/re-arrange in PrismExplicit.
14 years ago
Vojtech Forejt acd646d02c * PrismLog now has a "printWarning" method that can be used to print warnings.
14 years ago
Dave Parker 755295f9b4 Explicit engine handles transient with imported init distribition.
14 years ago
Dave Parker 9707b6bf10 Added -exportstates for explicit engine.
14 years ago
Dave Parker 6a046b4431 Tidy/improve passing of settings to explicit model checkers.
14 years ago
Dave Parker 995cdd3600 More printing options in StateValues (incl. state lists) + rest of filter stuff.
15 years ago
Dave Parker e5b7ad597e Expansion of transition-matrix-export functionality for explicit engine.
15 years ago
Dave Parker e3549400e6 Changed storage/evalation of constants in explicit model checker to fix some bugs and allow calls to checkExpression to handle constants.
15 years ago
Dave Parker b93cfa932b Partial support for explicit engine DTMC steady-state computation.
15 years ago
Dave Parker 41fb874956 Explicit engine Gauss-Seidel enabled for CTMCs too.
15 years ago
Dave Parker 4ec5f0f9ae Transient probability computation in explicit engine + some connection to CL.
15 years ago
Dave Parker 1d86f7680a One more setting (max iters) passed to explicit engine.
15 years ago
Dave Parker 52d2d21447 Update to newest version of explicit code (from prism-qar) plus -explicit switch for command-line and MDP solution settings.
15 years ago
Dave Parker a1b94a59fb Missing file from previous (PRISM+explicit) commit.
16 years ago