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

833 Commits (80ee80817c40023c496e17dc2b45a0ab011c2139)
 

Author SHA1 Message Date
Dave Parker 80ee80817c Strategy generation for bounded until (MDPs).
16 years ago
Dave Parker ebd7af1d53 Code tidy.
16 years ago
Dave Parker 533d7d9425 Bugfixes: loops (esp. bounded until) in explicit mc.
16 years ago
Dave Parker 2747d6ce5a NOTES.
16 years ago
Dave Parker ee2fa09c49 Actions preserved in LTL (MDP) product for adversary export.
16 years ago
Dave Parker 3d34b9baef Info output for explicit models.
16 years ago
Dave Parker b75bf6792a Info output for explicit models.
16 years ago
Dave Parker c5a2ca0ad1 Bug fixes + tidying in adversary export enabling.
16 years ago
Dave Parker c51c96bd57 Makefile tweak: Debug symbols off by default.
16 years ago
Dave Parker 25e4161090 Makefile tweak: Debug symbold off by default.
16 years ago
Dave Parker 99dbe158f2 Makefile tweak: CUDD flags on Windows.
16 years ago
Dave Parker dce6037132 PTA files tidy.
16 years ago
Dave Parker 5b1c52a220 PTA files tidy.
16 years ago
Dave Parker eaaf937cb2 Line endings.
16 years ago
Dave Parker 699769646a Line endings.
16 years ago
Dave Parker 1b1ecfc75e Tidy.
16 years ago
Dave Parker a31218ac41 Line endings.
16 years ago
Dave Parker 012b0ec52f Line endings.
16 years ago
Dave Parker 36544d14f4 File tidy.
16 years ago
Dave Parker 06f0bbe857 Fixes for DLL building on Windows.
16 years ago
Dave Parker e68ea3678f Missing files from last commit.
16 years ago
Dave Parker 3c03ce87bd Missing files from last commit.
16 years ago
Dave Parker 9b2f75f034 Updated CUDD from version 2.4.0 to 2.4.2; also removed extra Makefiles.
16 years ago
Dave Parker 5a5eb34bc3 Makefile tweak: miscopied CUDD XCFLAGS for Solaris.
16 years ago
Dave Parker 45d7a29043 Makefile tweaks: debug info on by default and CUDD settings passed direct to Makefile.
16 years ago
Dave Parker 7ef628f6fa NOTES.
16 years ago
Dave Parker 782dedbd5b Storage of action info for D/CTMCs (code-level access only currently).
16 years ago
Dave Parker 52fc186e96 NOTES.
16 years ago
Dave Parker fe6b77ba31 Added -exportadv option to enable adversary generation.
16 years ago
Dave Parker 16ae4e3d40 Possible bug fix (memory freeing).
16 years ago
Dave Parker 0509f5cc2d Bugfix: action names in adversary generation.
16 years ago
Dave Parker 5a726ff948 Makefile fix: allow building in 32-bit mode on 64-bit Linux.
16 years ago
Dave Parker 91ce501999 makefile tweak - unneeded flags to compiler on Macs.
16 years ago
Dave Parker b454ed3436 NOTES.
16 years ago
Dave Parker 7178fdd937 Bugfix: action info storage for MDPs.
16 years ago
Dave Parker 92aecb1009 NOTES.
16 years ago
Dave Parker f67c6976c2 NOTES files.
16 years ago
Dave Parker a6627b8c5a Filters, new property semantics and corresponding code tidying.
16 years ago
Dave Parker 08eec82b7b Added -nopre for MDP CL model checker.
16 years ago
Dave Parker c0cc2c56a7 Moving PTA des files to a separate directory.
16 years ago
Dave Parker d7c8d84ae2 Code tidy.
16 years ago
Dave Parker 1368879c29 Formatting in text files.
16 years ago
Dave Parker 389d6ee2c7 Formatting in text files.
16 years ago
Dave Parker 1c8bef7ae8 CHANGELOG (update + formatting).
16 years ago
Dave Parker 7a69437cf2 Command-line prism understands --help switch, as well as -help.
16 years ago
Dave Parker 331a33b424 README in etc.
16 years ago
Dave Parker f177301387 NOTES.
16 years ago
Dave Parker 65c690ca7d Some tidying of PTA examples.
16 years ago
Dave Parker ebc6a06490 Some tidying of PTA examples.
16 years ago
Dave Parker b62effdfeb Some tidying of PTA examples.
16 years ago