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

141 Commits (9fd1716ab530d17d04d2ca712fb7776488d64851)

Author SHA1 Message Date
Dave Parker 9fd1716ab5 CHANGELOG.
11 years ago
Dave Parker 786797c467 CHANGELOG.
11 years ago
Dave Parker 0328e60ac2 CHANGELOG.
11 years ago
Dave Parker 49a8d6ac70 CHANGELOG.
11 years ago
Dave Parker 5a672cf19b CHANGELOG.
11 years ago
Dave Parker fc5464bee6 CHANGELOG.
11 years ago
Dave Parker 8aa9d24f5d Colour code test results from prism-auto script.
11 years ago
Dave Parker a14e6a39f9 CHANGELOG.
11 years ago
Dave Parker 30f7b0c744 Clarify that -exact is experimental (still fails various regression tests).
11 years ago
Dave Parker bcd8a73526 CHANGELOG.
11 years ago
Dave Parker 0495f3bcb4 CHANGELOG.
11 years ago
Dave Parker 5a809180ba CHANGELOG.
11 years ago
Dave Parker cb294345ee CHANGELOG.
11 years ago
Dave Parker 43a58adaca Version/changelog - 4.2.1.
11 years ago
Dave Parker 850ed89353 CHANGELOG.
12 years ago
Dave Parker e124caac03 CHANGELOG.
12 years ago
Dave Parker 93a924e3fb CHANGELOG typo.
12 years ago
Dave Parker 41441505bf Update CHANGELOG.
12 years ago
Dave Parker ab27368af2 Update CHANGELOG.
12 years ago
Dave Parker cdb6b005d5 Update CHANGELOG.
12 years ago
Dave Parker 3f8ad9c0e7 Add "labels" option to Model|View menu in GUI.
12 years ago
Dave Parker 6b8be0c61a Update CHANGELOG.
12 years ago
Dave Parker 0057407e16 CHANGELOG.
13 years ago
Dave Parker 5d1fcbbfdd CHANGELOG.
13 years ago
Dave Parker 0c229d3a39 CHANGELOG.
13 years ago
Dave Parker 26c27d3af5 CHANGELOG.
13 years ago
Dave Parker 24f7ac5a01 CHANGELOG.
13 years ago
Dave Parker 7ad6d925bd CHANGELOG.
13 years ago
Dave Parker e4956d786f Allow command-line switches of form --sw (as well as -sw).
13 years ago
Dave Parker 966d126948 CHANGELOG.
13 years ago
Dave Parker 8e743d142d Changelog and version num, ready for 4.1 public release.
13 years ago
Dave Parker dab3ff2b4a CHANGELOG.
13 years ago
Dave Parker 4eaf8a8ffb CHANGELOG.
13 years ago
Dave Parker 4bffc418c4 CHANGELOG.
13 years ago
Dave Parker 4e391c23cd Small tweaks in CHANGELOG.
13 years ago
Dave Parker fc2723b0b3 CHANGELOG.
13 years ago
Dave Parker 4d5c83e21d CHANGELOG.
13 years ago
Dave Parker 67d0418787 CHANGELOG.
13 years ago
Dave Parker 6850de1ab1 Tweak changelog.
13 years ago
Dave Parker dfcfb6c23f Start to summarise changes in upcoming 4.1 release.
13 years ago
Dave Parker f98a0727f3 CHANGELOG.
13 years ago
Dave Parker 4f2759fadb CHANGELOG.
14 years ago
Dave Parker 9411d5f100 Typo in CHANGELOG.
14 years ago
Dave Parker 8b68220f42 CHANGELOG.
14 years ago
Dave Parker 4f1eff5ea6 CHANGELOG.
14 years ago
Dave Parker d784a87caa Remove VERSIONS.txt - just use CHANGELOG.txt from now on.
14 years ago
Dave Parker 7aed4f4cc0 CHANGELOG.
14 years ago
Dave Parker b61936def6 CHANGELOG.
14 years ago
Dave Parker 4e09eb136f Added options to -exportresults switch for csv/matrix result export mode, and removed temporary switches -exportresultsmatrix, -exportresultscsv, etc.
14 years ago
Dave Parker a3d99e62d0 Add property reference support to PTA ans approx model checking.
14 years ago