Merge branch 'release/2.0.0-milestone-7' into develop
version bump
magic now works
changed dependency to de.prob.core.kernel in core.rodin to optional
new Manifest will now be generated
implemented PROBCORE-178
updated MF Generation Script
implemented PROBCORE-175
Merge remote-tracking branch 'origin/develop' into develop
build gradle generated libraries without the lib folder prefix
Merge branch 'develop' of https://github.com/bendisposto/prob2 into develop
fixed PROBCORE-179
Merge remote-tracking branch 'origin/develop' into develop
bumped core version
updated Feature Description
updated Feature Description
PROBCORE-176 Starting to implement a JUnitView. Added the icons.
PROBCORE-176 Basic UI shell for JUnit is complete
PROBCORE-176 - stub for testcase execution
PROBCORE-184 Save the trace as an XML file. Restore history from the trace and the referenced model.