Skip to content

Issues: viatra/VIATRA-Generator

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

36 Open 10 Closed
36 Open 10 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Errors related to the installation process
#48 opened Jan 31, 2024 by ichxorya
.gml file output is malformed when the generated model contains non-empty strings. bug
#45 opened Apr 27, 2020 by ArenBabikian
@ArenBabikian
VAMPIRE: Use "type" formulas more efficiently fo the Vampire input enhancement
#43 opened Sep 2, 2019 by ArenBabikian
@ArenBabikian
REALMET: Improve the hashcode implementation of the neighbourhoodLattice2GraphShape transfomration enhancement
#42 opened Jun 23, 2019 by ArenBabikian
@ArenBabikian
VAMPIRE: Small bug related to specification of supertypes and subtypes in type scope. bug Priority
#41 opened Apr 25, 2019 by ArenBabikian
@ArenBabikian
VAMPIRE: Integrate Initial Instance Model Handling enhancement
#40 opened Apr 15, 2019 by ArenBabikian
@ArenBabikian
3
VAMPIRE: Run Java Profiler Process
#38 opened Apr 6, 2019 by ArenBabikian
@ArenBabikian
VAMPIRE: Fix scope so that it correctly displays even for specific classes. (ex. case where max<min) enhancement
#37 opened Apr 5, 2019 by ArenBabikian
@ArenBabikian
1
VAMPIRE: Find trigger point regarding modification of Vampire output Process
#35 opened Apr 1, 2019 by ArenBabikian
@ArenBabikian
VAMPIRE: Fix lower bound structure Feature Process
#31 opened Apr 1, 2019 by ArenBabikian
@ArenBabikian
3
VAMPIRE: Improve Containment Hierarchy enhancement
#30 opened Apr 1, 2019 by ArenBabikian
@ArenBabikian
VAMPIRE: Reduce run time by using less lookups enhancement Unsure
#29 opened Apr 1, 2019 by ArenBabikian
@ArenBabikian
VAMPIRE: Improve handling of type hierarchy enhancement
#28 opened Apr 1, 2019 by ArenBabikian
@ArenBabikian
VAMPIRE: Remove unnecessary files from remote repository bug
#27 opened Apr 1, 2019 by ArenBabikian
@ArenBabikian
1
VAMPIRE: Fix Assertion Handling enhancement Priority
#26 opened Apr 1, 2019 by ArenBabikian
@ArenBabikian
VAMPIRE: Review oppositeReference Assertion bug Unsure
#25 opened Apr 1, 2019 by ArenBabikian
@ArenBabikian
VAMPIRE: Remove typehierarchy maps from trace enhancement
#24 opened Apr 1, 2019 by ArenBabikian
@ArenBabikian
VAMPIRE: Fix "Duplicate" code in Relation Handler enhancement
#23 opened Apr 1, 2019 by ArenBabikian
@ArenBabikian
VAMPIRE: Error Handling Feature
#21 opened Apr 1, 2019 by ArenBabikian
@ArenBabikian
Create standalone examples using configuration files enhancement
#19 opened Feb 13, 2019 by varrodan
@ArenBabikian
2
Unsupported attribute type: EEnumerator
#18 opened Oct 20, 2018 by vnikitch
ConfigurationScript metamodel import Error. Couldn't resolve reference to EPackage
#17 opened Oct 11, 2018 by vnikitch
Solver has issues with enum types bug
#15 opened Jun 4, 2018 by ArenBabikian
Solver has issues with variables of native java type bug
#14 opened Jun 2, 2018 by michding
Configuration file does not correctly handle the specification of the number of instances for a certain class. bug
#12 opened May 30, 2018 by ArenBabikian
ProTip! Adding no:label will show everything without a label.