Mateusz Ujma
|
e48a274c55
|
Added loading properties from command line when using GUI
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5565 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Mateusz Ujma
|
2983cde5b2
|
Changed JLabel to JTextField to be able to copy&paste current model/properties file name.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5547 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
739f83e2ba
|
Revert to old behaviour where ss/tr probabilities exported to files do not show state indices (otherwise breaks -importinitdist).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5546 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
ab831c8a6c
|
Allow -importinitdist for steady-state (as well as transient).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5545 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
535a42be04
|
Refactor (forwards) steady-state computation in symbolic engines, partly for alignment with future corresponding code in explicit engine, partly to allow arbitrary initial distributions, as for transient.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5544 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
ad294aa981
|
Added dot product method to symbolic StateValue classes.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5543 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
1915395882
|
Bugfix: small optimisation was never enabled during stead-state computation.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5533 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
e0d68f8b74
|
Bug fix: PTA rewards on digital clocks: forgot to scale by GCD.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5523 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
0022e81b1b
|
Parser handles invalid literals (too big etc.) + tidy up of parser error reporting code.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5520 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
b2f33e44a7
|
Fixed "changed" setting in graph display of simulation paths.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5482 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
7af19279f6
|
GUI bugfix: NPE.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5481 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
4f2759fadb
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5480 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
21eae01cfb
|
GUI bug fix (crash caused by model tree not displaying clocks, spotted by pk123 on forum).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5476 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
57259f67c1
|
Updated version of Path Plot dialog, including specification of max path length.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5431 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
74717ecb9a
|
Updated version of Path Plot dialog, including specification of variables.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5430 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
b80badd54c
|
Shortcut for new path plot (Ctrl/Cmd-F8).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5428 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
5131fb407f
|
Some useful code (commented out) for getting variance etc. from simulation results.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5425 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
5486e68282
|
Check for duplicate ids/names in reactions-to-PRISM translation.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5423 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
0de837a4b8
|
Typo
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5422 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
0245cf77b4
|
Bug fix: crash on invalid integer reward struct indices.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5420 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
19b18a0c3f
|
Bugfix in approximate simulation: property error was causing null ptr.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5419 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
d528208cc7
|
Small GUI fixes: resets of warning counters.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5418 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
6b55d95ebe
|
Strip comments (commencing #) from reactions files.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5417 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
90b49c3e64
|
Strip comments (commencing #) from reactions files.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5416 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
8ff31815ca
|
Reactions-to-PRISM checks parameter values for valid doubles.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5415 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
5b9bc87bec
|
Reactions-to-PRISM checks parameter values for valid doubles.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5414 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
f412d3115e
|
Graph chooser dialog defaults to last graph created for "existing graph".
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5413 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
e1e6267210
|
Move path plot thread to GUI to allow display of warnings/errors.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5412 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
502b6f1281
|
Support for reversible reactions in reactions-to-PRISM converter.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5411 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
06d0fe3c25
|
First version of reactions-to-PRISM converter.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5410 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
9684963804
|
Utility method: join/implode method for strings.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5409 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
2752fbb6d0
|
Re-factor SBML-to-PRISM translator.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5407 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
94dbe03ecb
|
Re-factor SBML-to-PRISM translator.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5406 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
f369c6599a
|
Re-factor SBML-to-PRISM translator.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5405 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
cdac320532
|
Fix in parser: make keyword list be created statically.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5404 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
e6fa6b49f0
|
Re-factor SBML-to-PRISM translator.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5403 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
6d502769be
|
GUI simulation path plot and can show vars and/or rewards.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5400 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
a28c14715c
|
Simulation path generation handles empty vars=().
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5399 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
9dc7609982
|
Changed/all-steps option in Path Plot Display dialog now respected.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5398 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
6d9806ad16
|
PathToText respects new "change" option + bugfixes.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5397 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
d1e4de5fb3
|
Make "rewards" option of simpath consistent with others.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5396 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
2a2bdf6220
|
Fixes in PathDisplayer classes.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5395 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
41ad029281
|
Default to "changes" in "plot path details" dialog.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5394 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
2b85d7307d
|
Tidy/fix double click detection in GUI simulator.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5393 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
af37dc9864
|
Tidy/fix double click detection in GUI simulator.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5392 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
d0bf75014f
|
Improved "Path Plot Details" dialog.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5391 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
cadd9da282
|
GUI simulation path plotting handles non-integer variables.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5390 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
f19c4238d3
|
Type conversion bug.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5389 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
5d37e99d57
|
Type tidying in castValueTo methods.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5388 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |
Dave Parker
|
1bd8b1c658
|
Remove un-needed code.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5387 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
14 years ago |