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

19 Commits (d126a8ae2177d328fa5dea203b4dd61261e5795f)

Author SHA1 Message Date
Dave Parker ff49cfd2a6 Add Nailgun jar, missing from last commit.
10 years ago
Dave Parker 3464a921ad First version of Nailgun support built directly into PRISM. Adding switch -ng when running prism will instead start a Nailgun server ready to run PRISM instances, and running ngprism runs PRISM as a Nailgun client.
10 years ago
Joachim Klein 46d0ac24dc jhoafparser.jar (1.1.0)
11 years ago
Dave Parker 03b1d23e93 More library info.
11 years ago
Dave Parker 38335e4d6d Add library version info.
11 years ago
Dave Parker e85054f493 Rename jhoafparser jar.
11 years ago
Dave Parker 7c65364af6 Update to version 2.5.5246 of JAS (and rename jar).
11 years ago
Dave Parker 8fed142e1e Reinstate log4j - JAS uses it, apparently.
11 years ago
Dave Parker 1caa88764b Remove (seemingly) unused log4j library.
11 years ago
Dave Parker 22bb6dea1c Merge prism-hoaf branch back into trunk.
11 years ago
Ernst Moritz Hahn e8e6353dcb yet another problem, hopefully it works now
13 years ago
Ernst Moritz Hahn 06c4461033 now it should work
13 years ago
Ernst Moritz Hahn 8aeab97154 replaced jas by version which should build work with java 1.5
13 years ago
Ernst Moritz Hahn fd855d0ff4 reintegrated parametric stuff
13 years ago
Dave Parker 53a5274cb3 Addition of new statistical model checking stuff (patch difference between trunk and prism-statmc branch at this revision).
15 years ago
Dave Parker f4850216d6 New version of jcommon (1.0.16) and jfreechart (1.0.13) libs.
16 years ago
Mark Kattenbelt bc758e3d7c update to JFreeChart 1.0.11
17 years ago
Dave Parker 1b6b8a1f6d Merged jfreechart port into trunk.
18 years ago
Dave Parker b54050a199 PRISM trunk layout rearrangement.
20 years ago