Activity for Mark Utting
-
Mark Utting created ticket #130
Typechecker crashes instead of giving type error
-
Add style/class files so paper can be run through latex.
-
Add sample output of tests, as run on 11 Sep 2015.
-
Add example logging properties for ZLive
-
Add CATS2009 pdf
-
Add a case study - the MODAM framework for supporting Dynamic Agent Composition.
-
Support JUnit 5
-
metric.toString() is showing "???"
-
metric.toString() is showing "???"
-
This is a known feature of ModelJUnit, intended to support testing large/infinite...
-
ModelJUnit & Maven
-
Good idea. ModelJUnit 2.5 is now available in Maven Central. Group ID: nz.ac.waikato.modeljunit...
-
Thanks Grégoire for such a clear and useful bug report.
-
Erroneous state coverage with AllRoundTester
-
Interesting bug! Turns out that AllRoundTester uses a StateCoverage metric internally,...
-
Fixed bug #7 (Erroneous state coverage with All...
-
Fixed bug #6 (Wrong docstring in TransitionPair...
-
Wrong docstring in TransitionPairCoverage
-
Fixed - Javadocs corrected.
-
Site outdated?
-
Thanks. I've updated that website to point to Sourceforge for the latest downloads...
-
Remove one source of non-determinism in QuickTe...
-
Turn off GPG to avoid annoying passphrase promp...
-
Fixed subtle bugs in size() and maxSize() of ca...
-
Jumble release 1.3.0 is available. Supports Java 8 and Eclipse 4.4.x.
-
Create tag for 1.3.0 release.
-
Add instructions for making releases. What a p...
-
Update versions to 1.3.0 for release. This rel...
-
Update web site front page, and add example .ht...
-
Update Eclipse .classpath from JRE_SRC to lates...
-
Remove old 2009 version of the Jumble Eclipse p...
-
Add extra checks to make sure it is the Sun/Ora...
-
Avoid setting -XX:PermSize for JVM 1.8 or great...
-
Changed FlatMember.estSize() to return UNKNOWN_...
-
Changed FlatMember.estSize() to return UNKNOWN_...
-
Improve usertest comparison to also report tota...
-
Allow FlatMu to handle the IIII (all-inputs) mo...
-
Added better testing of disjunctions with varia...
-
Minor fixes to ant targets for running usertest...
-
Fixed bug in FlatOr where some temporary local ...
-
Corrected the total number of usertests. Now 705.
-
Changed exception to a warning message, so that...
-
Minor latex updates so that it runs through pdf...
-
Improved documentation
-
Merge branch 'master' of git://git.code.sf.net/...
-
ERROR! The markdown supplied could not be parsed correctly. Did you forget to surround...
-
Add prototype test suite minimisation tool that...
-
[maven-release-plugin] prepare for next develop...
-
[maven-release-plugin] copy for tag modeljunit...
-
[maven-release-plugin] prepare release modeljun...
1