Download platform JAR 2.7.2 with all dependencies
Files of the artifact platform version 2.7.2 from the group org.overturetool.core.codegen.
Artifact platform
Group org.overturetool.core.codegen
Version 2.7.2
Last update 30. September 2019
Tags: computer development next techniques supports long analysis build eclipse open vienna tools written overture developing entirely generation systems platform application with support community modelling research history models project integrated environment source industrial dialects method java successful language design based
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies junit, ast, parser, typechecker, interpreter, ir, testframework, velocity, ctruntime, jgrapht-core, log4j,
There are maybe transitive dependencies!
Group org.overturetool.core.codegen
Version 2.7.2
Last update 30. September 2019
Tags: computer development next techniques supports long analysis build eclipse open vienna tools written overture developing entirely generation systems platform application with support community modelling research history models project integrated environment source industrial dialects method java successful language design based
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies junit, ast, parser, typechecker, interpreter, ir, testframework, velocity, ctruntime, jgrapht-core, log4j,
There are maybe transitive dependencies!
There is a newer version: 3.0.2
Show newest versionShow all versions of platform Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of platform version 2.7.2
META-INF
org.overture.codegen.analysis.vdm
org.overture.codegen.analysis.violations
org.overture.codegen.analysis.violations.org.overture.codegen.analysis.violations.InvalidNamesResult
org.overture.codegen.analysis.violations.org.overture.codegen.analysis.violations.TypenameComparison
org.overture.codegen.assistant
org.overture.codegen.ir
org.overture.codegen.merging
org.overture.codegen.printer
org.overture.codegen.traces
org.overture.codegen.trans
org.overture.codegen.trans.assistants
org.overture.codegen.trans.comp
org.overture.codegen.trans.conc
org.overture.codegen.trans.conv
org.overture.codegen.trans.funcvalues
org.overture.codegen.trans.iota
org.overture.codegen.trans.iterator
org.overture.codegen.trans.let
org.overture.codegen.trans.letexps
org.overture.codegen.trans.patterns
org.overture.codegen.trans.quantifier
org.overture.codegen.trans.uniontypes
org.overture.codegen.utils
org.overture.codegen.visitor
© 2015 - 2024 Weber Informatics LLC | Privacy Policy