Home » org.overturetool.core » codegen

Group: OvertureTool Core Codegen
Sort by:Popular▼

1.The Java Code Generator Runtime6 usages

org.overturetool.core.codegen » codegen-runtime GPL

The Java Code Generator Runtime
Last Release on Nov 10, 2020

2.The Code Generation Platform3 usages

org.overturetool.core.codegen » platform GPL

The Code Generation Platform
Last Release on Nov 10, 2020

3.The Intermediate Representation Tree2 usages

org.overturetool.core.codegen » ir GPL

The Intermediate Representation Tree
Last Release on Nov 10, 2020

4.The Java Code Generator2 usages

org.overturetool.core.codegen » javagen GPL

The Java Code Generator
Last Release on Nov 10, 2020

5.The Java Code Generator Testing2 usages

org.overturetool.core.codegen » javagen-test GPL

The Java Code Generator Testing
Last Release on Nov 10, 2020

6.The VDM to Isabelle Translator1 usages

org.overturetool.core.codegen » isagen GPL

The VDM to Isabelle Translator
Last Release on Nov 10, 2020

7.The VDM to JML Generator Runtime1 usages

org.overturetool.core.codegen » vdm2jml-runtime GPL

The VDM to JML Generator Runtime
Last Release on Nov 10, 2020

8.The VDM to JML Generator

org.overturetool.core.codegen » vdm2jml GPL

The VDM to JML Generator
Last Release on Nov 10, 2020

9.The Java Code Generator Maven Plugin3 usages

org.overturetool.core.codegen » codegen-plugin GPL

The Java Code Generator Maven Plugin
Last Release on Nov 10, 2020