Search results

Errors related to the installation process

Status: Open.

#48 In viatra/VIATRA-Generator;

· ichxorya opened on Jan 31, 2024

.gml file output is malformed when the generated model contains non-empty strings.

bug

Status: Open.

#45 In viatra/VIATRA-Generator;

· ArenBabikian opened on Apr 27, 2020

VAMPIRE: Use "type" formulas more efficiently fo the Vampire input

enhancement

Status: Open.

#43 In viatra/VIATRA-Generator;

· ArenBabikian opened on Sep 2, 2019

REALMET: Improve the hashcode implementation of the neighbourhoodLattice2GraphShape transfomration

enhancement

Status: Open.

#42 In viatra/VIATRA-Generator;

· ArenBabikian opened on Jun 23, 2019

VAMPIRE: Small bug related to specification of supertypes and subtypes in type scope.

bug

Priority

Status: Open.

#41 In viatra/VIATRA-Generator;

· ArenBabikian opened on Apr 25, 2019

VAMPIRE: Integrate Initial Instance Model Handling

enhancement

Status: Open.

#40 In viatra/VIATRA-Generator;

· ArenBabikian opened on Apr 15, 2019

VAMPIRE: Run Java Profiler

Process

Status: Open.

#38 In viatra/VIATRA-Generator;

· ArenBabikian opened on Apr 6, 2019

VAMPIRE: Fix scope so that it correctly displays even for specific classes. (ex. case where max<min)

enhancement

Status: Open.

#37 In viatra/VIATRA-Generator;

· ArenBabikian opened on Apr 5, 2019

VAMPIRE: Find trigger point regarding modification of Vampire output

Process

Status: Open.

#35 In viatra/VIATRA-Generator;

· ArenBabikian opened on Apr 1, 2019

VAMPIRE: Fix lower bound structure

Feature

Process

Status: Open.

#31 In viatra/VIATRA-Generator;

· ArenBabikian opened on Apr 1, 2019

VAMPIRE: Improve Containment Hierarchy

enhancement

Status: Open.

#30 In viatra/VIATRA-Generator;

· ArenBabikian opened on Apr 1, 2019

VAMPIRE: Reduce run time by using less lookups

enhancement

Unsure

Status: Open.

#29 In viatra/VIATRA-Generator;

· ArenBabikian opened on Apr 1, 2019