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

2143 Commits (81d8cad3aa09a9b324c404031a49be98eb782a2a)
 

Author SHA1 Message Date
Dave Parker 41abbe6df2 Fix Makefile to build on newer versions of Cygwin (-no-cygwin).
12 years ago
Mateusz Ujma e85924e3c8 Added exportsccs
12 years ago
Dave Parker c43b3e390a Makefile fix for when there are two occurrences of jni_md.h (reported/fixed by Gaston Ingaramo).
12 years ago
Dave Parker 9b2d57fccd Missing file from last commit.
12 years ago
Dave Parker edcac4a4a2 Added R[C<=k] operator for MDPs (sparse, explicit).
12 years ago
Dave Parker 79aa1c7b1c Debug code.
12 years ago
Dave Parker ad7e014079 Fix modified policy iteration (and add internal option to explicit state model checkers to not flag non-convergence as an error).
12 years ago
Dave Parker 879cdc5ab0 Remove duplicate handling of MDP soln method switches.
12 years ago
Dave Parker 37b6d72e7f Code tidy
12 years ago
Dave Parker d0d8077e32 Avoid unnecessary creation of PrismSettings object in PrismComponent (was slowing down computations that require frequent creation of ECComputer classes).
12 years ago
Dave Parker 71b207746c Remove confusing GUI question dialog.
12 years ago
Dave Parker 4dc86a3dd9 Make default settings consistent in ConstructModel methods.
12 years ago
Dave Parker 63c53729fe Auto format
12 years ago
Dave Parker 6d32987de0 Additional graph zoom functionality on popup menu.
12 years ago
Dave Parker 65882ede90 Better error reporting for non-supported explicit-state CTL.
12 years ago
Mateusz Ujma e3f120815f Changing visibility in Updater
13 years ago
Mateusz Ujma 59a3cf9cde Changing visibility in ConstructModel
13 years ago
Mateusz Ujma f240775686 Added removing commad from Module
13 years ago
Dave Parker df53058dd4 Typo in model checking message.
13 years ago
Mateusz Ujma 8658e4d126 Fixed bug with IndexedSet default constructor not initializing data structures
13 years ago
Dave Parker f56234d9be Code tidy + comments.
13 years ago
Dave Parker e2a0ee3f57 Code tidy.
13 years ago
Dave Parker daedb1e06f Add isProposition methods to Expression classes.
13 years ago
Dave Parker 52e384b8c5 Undo some recent tidies to retain java 6 compatibility.
13 years ago
Dave Parker c0801edc74 Compile fix.
13 years ago
Dave Parker c7ee82d4bc More classes switched to PrismComponent.
13 years ago
Dave Parker a73b36685b Add getAllLabels method to ASTElement (not used currently).
13 years ago
Dave Parker 7047d1a2fb Output typo
13 years ago
Dave Parker f7f0462c12 Add (rather inefficient) handling of multiple initial states to explicit-state model construction.
13 years ago
Dave Parker e109eadf71 Switch ConstructModel class to PrismComponent interface.
13 years ago
Mateusz Ujma 3089715c80 Changed visibility to support inheritance
13 years ago
Mateusz Ujma 7646cbfbd5 Added getDBM to DBMList
13 years ago
Mateusz Ujma 5d8e37cd04 Updated hashCode with Arrays
13 years ago
Mateusz Ujma 67efd14c6d Added constructor to the IndexedSet with a comparator
13 years ago
Mateusz Ujma 831876fc85 Added compare by variable to the State class
13 years ago
Mateusz Ujma 8f08ab35d3 Added StateStorage interface
13 years ago
Dave Parker 8a15118de2 Move mec-tests into prism dir.
13 years ago
Dave Parker f3dc40fbc5 Code tidy
13 years ago
Dave Parker c68d4a4946 Refinements to PrismComponent interface, and to explicit.StateModelChecker handling of settings (originally due to bug caused by calling overridable methods in explicit model checking constructors).
13 years ago
Mateusz Ujma 6f1408812e Added new constraint methods and size for DBMList
13 years ago
Dave Parker 1506d46993 Comment.
13 years ago
Dave Parker 9d1fe0c356 Small update to Strategy interface.
13 years ago
Dave Parker 2bf26806e4 EC generation: comments and refactoring.
13 years ago
Dave Parker ab3db9e38b Small bug fix in explicit EC computation.
13 years ago
Dave Parker 6f5213111b Fix explicit MDP model checking (EC computation was incorrect) + some refactoring.
13 years ago
Dave Parker 45079ccafe Some refactoring in symbolic LTL model checking.
13 years ago
Dave Parker c769bb5ac0 Remove a few warnings.
13 years ago
Dave Parker 86bd5a5d71 Small bug fix: missing err msg in GUI simulator.
13 years ago
Dave Parker 9b3d8345f3 Add some methods to the Strategy interface.
13 years ago
Dave Parker fb57fe72a7 For now, Prob1 should be disabled for -exportstrat too (as well as -exportadv).
13 years ago