Build #198 (Mar 5, 2019 10:31:15 AM)

	Build Artifacts org.overture.ide.product-2.6.5-SNAPSHOT-linux.gtk.x86.zip 150.17 MB  view org.overture.ide.product-2.6.5-SNAPSHOT-linux.gtk.x86_64.zip 150.28 MB  view org.overture.ide.product-2.6.5-SNAPSHOT-macosx.cocoa.x86_64.zip 152.75 MB  view org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip 1.43 MB  view org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86.zip 73.80 KB  view org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip 74.45 KB  view org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86.zip 73.22 KB  view org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86_64.zip 76.50 KB  view org.overture.ide.product-2.6.5-SNAPSHOT-p2artifacts.xml 2.83 KB  view org.overture.ide.product-2.6.5-SNAPSHOT-p2metadata.xml 139.27 KB  view org.overture.ide.product-2.6.5-SNAPSHOT-win32.win32.x86.zip 150.44 MB  view org.overture.ide.product-2.6.5-SNAPSHOT-win32.win32.x86_64.zip 150.47 MB  view org.overture.ide.product-2.6.5-SNAPSHOT.pom 5.09 KB  view org.overture.ide.product-2.6.5-SNAPSHOT.zip 138.47 MB  view
	No changes. Changes in dependency The VDM parser #197 → #198 (detail) org.overture.ide.plugins.quickinterpreter #197 → #198 (detail) org.overture.ide.parsers.vdmj #197 → #198 (detail) org.overture.ide.plugins.csk #197 → #198 (detail) The Java Code Generator Plugin #197 → #198 (detail) RT Trace Viewer Plugin #197 → #198 (detail) UML2 Translator #197 → #198 (detail) org.overture.ide.ui #197 → #198 (detail) Overture IDE Eclipse LaTeX Creator feature #197 → #198 (detail) Overture IDE Eclipse Coverage Editor feature #197 → #198 (detail) org.overture.ide.plugins.latex #197 → #198 (detail) org.overture.ide.plugins.externaleditor #197 → #198 (detail) Combinatorial Testing #197 → #198 (detail) Overture Core Command Line Tool #197 → #198 (detail) Overture IDE Eclipse CSK VDM Tools Link feature #197 → #198 (detail) org.overture.ide.core #197 → #198 (detail) Overture IDE Eclipse plugin uml2 feature #197 → #198 (detail) org.overture.ide.vdmsl.core #197 → #198 (detail) org.overture.ide.vdmsl.debug #197 → #198 (detail) Overture IDE Eclipse Java Code Generator feature #197 → #198 (detail) The Proof Obligation Generator #197 → #198 (detail) Overture IDE Eclipse core feature #197 → #198 (detail) Overture IDE Eclipse VDM Quick Interpreter feature #197 → #198 (detail) The VDM Type Checker #197 → #198 (detail) org.overture.ide.builders.vdmj #197 → #198 (detail) Overture IDE Eclipse Realtime Trace Viewer feature #197 → #198 (detail) org.overture.ide.vdmrt.debug #197 → #198 (detail) org.overture.ide.plugins.coverageeditor #197 → #198 (detail) Overture IDE Eclipse Developer Utilities feature #197 → #198 (detail) org.overture.ide.plugins.poviewer #197 → #198 (detail) org.overture.ide.vdmrt.core #197 → #198 (detail) Overture IDE Eclipse Combinatorial Testing feature #197 → #198 (detail) org.overture.ide.vdmpp.core #197 → #198 (detail) org.overture.ide.vdmpp.debug #197 → #198 (detail) Test Framework for Overture #197 → #198 (detail) The VDM Pretty Printer #197 → #198 (detail) Developer Utilities for Overture #197 → #198 (detail) org.overture.ide.vdmrt.ui #197 → #198 (detail) The VDM Interpreter #197 → #198 (detail) The Overture Abstract Syntax Tree #197 → #198 (detail) org.overture.ide.platform #197 → #198 (detail) Overture IDE Eclipse Proof Obligation Viewer feature #197 → #198 (detail) org.overture.ide.debug #197 → #198 (detail) org.overture.ide.help #197 → #198 (detail) org.overture.ide.vdmpp.ui #197 → #198 (detail) Overture IDE Eclipse rcp feature #197 → #198 (detail) org.overture.ide.vdmsl.ui #197 → #198 (detail)
	Task Scanner: 0 open tasks in 1 workspace file. No warnings since build 2. New zero warnings highscore: no warnings for 1,287 days!