org.overturetool:core:pom.xml

MD5: 743fbe228d16ad9068c37c7540003ae5
Introduced 11 mo ago overture-development/org.overturetool:core #252

Usage

This file has been used in the following places:

overture-developmentSuccess#265-Aborted#268 
overture-development/org.overturetool.core.annotations:examplesSuccess#265-Success#267 
overture-development/org.overturetool.core.annotations:providedSuccess#265-Success#267 
overture-development/org.overturetool.core.codegen:codegen-plugin #252   #254 -Success#267 
overture-development/org.overturetool.core.codegen:codegen-runtime #252   #254 -Success#267 
overture-development/org.overturetool.core.codegen:ir #252   #254 -Success#267 
overture-development/org.overturetool.core.codegen:isagen #252   #254 -Success#267 
overture-development/org.overturetool.core.codegen:javagen #252   #254 -Success#267 
overture-development/org.overturetool.core.codegen:javagen-test #252   #254 -Success#267 
overture-development/org.overturetool.core.codegen:platform #252   #254 -Success#267 
overture-development/org.overturetool.core.codegen:vdm2jml #252   #254 -Success#267 
overture-development/org.overturetool.core.codegen:vdm2jml-runtime #252   #254 -Success#267 
overture-development/org.overturetool.core.combinatorialtesting:ctruntime #252   #254 -Success#267 
overture-development/org.overturetool.core.combinatorialtesting:ctutils #252   #254 -Success#267 
overture-development/org.overturetool.core.prettyprinting:prettyprinter #252 -Success#267 
overture-development/org.overturetool.core.testing:framework #252 -Success#267 
overture-development/org.overturetool.core.testing:samples #252 -Success#267 
overture-development/org.overturetool.core:annotationsSuccess#265-Success#267 
overture-development/org.overturetool.core:ast #252 -Success#268 
overture-development/org.overturetool.core:codegen #252   #254 -Success#267 
overture-development/org.overturetool.core:combinatorialtesting #252   #254 -Success#267 
overture-development/org.overturetool.core:commandlinetool #252   #254 -Success#267 
overture-development/org.overturetool.core:interpreter #252   #254 -Success#267 
overture-development/org.overturetool.core:isapog #252   #254 -Success#267 
overture-development/org.overturetool.core:npp #252   #254 -Success#267 
overture-development/org.overturetool.core:parser #252 -Success#267 
overture-development/org.overturetool.core:pog #252 -Success#267 
overture-development/org.overturetool.core:prettyprinting #252 -Success#267 
overture-development/org.overturetool.core:testframework #252 -Success#268 
overture-development/org.overturetool.core:testing #252 -Success#267 
overture-development/org.overturetool.core:typechecker #252 -Success#267 
overture-development/org.overturetool:core #252 -Success#268