JarCasting
JarCasting JarCasting

Project Group: org.overturetool.ide.plugins.features

Overture IDE Eclipse Coverage Editor feature

 org.overturetool.ide.plugins.features : org.overture.ide.plugins.features.coverageeditor

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

Overture IDE Eclipse CSK VDM Tools Link feature

 org.overturetool.ide.plugins.features : org.overture.ide.plugins.features.csk

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

Overture IDE Eclipse Combinatorial Testing feature

 org.overturetool.ide.plugins.features : org.overture.ide.plugins.features.combinatorialtesting

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

Overture IDE Eclipse Developer Utilities feature

 org.overturetool.ide.plugins.features : org.overture.ide.plugins.features.developerutils

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

Overture IDE Eclipse LaTeX Creator feature

 org.overturetool.ide.plugins.features : org.overture.ide.plugins.features.latex

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

Overture IDE Eclipse Proof Obligation Viewer feature

 org.overturetool.ide.plugins.features : org.overture.ide.plugins.features.poviewer

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

Overture IDE Eclipse VDM Quick Interpreter feature

 org.overturetool.ide.plugins.features : org.overture.ide.plugins.features.quickinterpreter

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

Overture IDE Eclipse plugin uml2 feature

 org.overturetool.ide.plugins.features : org.overture.ide.plugins.features.uml2

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

Overture IDE Eclipse Realtime Trace Viewer feature

 org.overturetool.ide.plugins.features : org.overture.ide.plugins.features.rttraceviewer

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

Overture IDE Eclipse Java Code Generator feature

 org.overturetool.ide.plugins.features : org.overture.ide.plugins.features.javagen

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

  • 1