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

1154 Commits (079e5dde27f11ab02febe8a40a1fd237ab2463e0)
 

Author SHA1 Message Date
Dave Parker d36cb8496a Correct handling of mod (error on non-positive divisor, positive result for negative dividend).
15 years ago
Dave Parker bf16bd754b Correct handling of mod (error on non-positive divisor, positive result for negative dividend) (NB: needs CUDD fix too).
15 years ago
Dave Parker 904b3436b0 Correct detection of erroneous integer powers with negative exponent.
15 years ago
Dave Parker ff697f7196 Correct detection of erroneous integer powers with negative exponent.
15 years ago
Dave Parker 7ac675b050 Added -nobuild switch.
15 years ago
Dave Parker 25b65c4f26 Added -exportprismconst switch.
15 years ago
Dave Parker aba274af88 Removed diagonal-free restriction for digital clocks.
15 years ago
Dave Parker bc834d7d83 Better property checks for PTAs, including new computation of prob operator nesting. Better handling of labels in PTA model checker.
15 years ago
Dave Parker 0070e79fa0 NOTES.
15 years ago
Dave Parker 993035107c PTA notes.
15 years ago
Dave Parker 5c59047e2f Tidy up of PTA examples.
15 years ago
Dave Parker c3626c54b0 Version num.
15 years ago
Dave Parker 801df965c7 Version num.
15 years ago
Dave Parker 40d2cadd45 Tidy PTA examples.
15 years ago
Dave Parker 873791b389 NOTES.
15 years ago
Dave Parker 45c1f3f367 NOTES.
15 years ago
Dave Parker bbaba8bddc Removed examples dir.
15 years ago
Dave Parker 7381c5bd3c NOTES.
15 years ago
Dave Parker 5d8ce238cf Moving bisim/expected parts of PTA MC to prism-pta.
15 years ago
Dave Parker 52e3d712e7 Added -exportadvmdp switch.
15 years ago
Dave Parker d36ac54853 IndexedSet utility method getEntrySet().
15 years ago
Dave Parker b501caf1f1 Improvements to ConstructModel (explicit).
15 years ago
Dave Parker 48a2e4bcc8 Undo last commit.
15 years ago
Dave Parker ed96947903 Improvements to ConstructModel (explicit).
15 years ago
Dave Parker dc90c17760 Export to PRISM language from explicit models.
15 years ago
Dave Parker 993b33264c Export to PRISM language from explicit models.
15 years ago
Dave Parker 714c51cfb8 NOTES.
15 years ago
Dave Parker f9692fb9a4 Moved examples/pta to prism-examples.
15 years ago
Dave Parker 745794c57a Put PTA files in main examples dir.
15 years ago
Dave Parker 588f6c3b07 Moving non-public stuff to qar branch.
15 years ago
Dave Parker 93a05edbc6 Moving non-public stuff to qar branch.
15 years ago
Dave Parker 9d47781cb6 Removal of explicit/ctmdp examples (moved to qar).
15 years ago
Dave Parker 6293a36ddf Notes.
15 years ago
Dave Parker 5580c71566 Removed extra accidental bits of last commit.
15 years ago
Dave Parker 45e45cb7a5 Removed des files
15 years ago
Luke Herbert cd94623574 In prism/Makefie
15 years ago
Luke Herbert 4b6c9290bd Modified xprism.bat so as not to pop up a console window when launching the GUI version of PRISM under windows. Tested on a Windows 7 system (this only affects windows).
15 years ago
Dave Parker 349db63940 Added PRISM keywords to ModelType.
15 years ago
Dave Parker 9ba6b11907 NOTES.
15 years ago
Dave Parker 360d61ae15 NOTES.
15 years ago
Dave Parker 16781169f7 PTA fix: labels/rewards in models do not cause crashes.
16 years ago
Dave Parker 067e0aebc6 Icon location bugfix for Mac Dock.
16 years ago
Dave Parker 16231307d6 c-closure fixes for PTAs (was missing from new forwards recahability algorithm).
16 years ago
Dave Parker 84649289fb Better warning of deadlocks for PTAs.
16 years ago
Dave Parker bcd6110358 Simulator updates: fixed display of transitions in GUI, added (some) detection of deadlocks/self-loops. (And some tidying.)
16 years ago
Dave Parker fca4ce844e Code tidy (GUI).
16 years ago
Dave Parker 689de26611 Comments.
16 years ago
Dave Parker 98f5cce919 Comment out reference to PTAExpected code.
16 years ago
Dave Parker d556c2e367 Added formats09.sh test script.
16 years ago
Dave Parker 1a67f8997f Tweaks to GUI simulator transition table.
16 years ago