Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / viatra/VIATRA-Generator issues and pull requests

#47 - Missing library

Issue - State: closed - Opened by Antolin1 over 3 years ago - 5 comments

#46 - Finally! a pull request for the Vampire-new branch

Pull Request - State: open - Opened by ArenBabikian over 4 years ago

#44 - Vampire new

Pull Request - State: closed - Opened by ArenBabikian about 5 years ago

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

Issue - State: open - Opened by ArenBabikian about 5 years ago
Labels: enhancement

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

Issue - State: open - Opened by ArenBabikian over 5 years ago
Labels: bug, Priority

#40 - VAMPIRE: Integrate Initial Instance Model Handling

Issue - State: open - Opened by ArenBabikian over 5 years ago - 3 comments
Labels: enhancement

#39 - VAMPIRE: Run the Yakindu Statechart example

Issue - State: closed - Opened by ArenBabikian over 5 years ago - 1 comment
Labels: Priority, Process

#38 - VAMPIRE: Run Java Profiler

Issue - State: open - Opened by ArenBabikian over 5 years ago
Labels: Process

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

Issue - State: open - Opened by ArenBabikian over 5 years ago - 1 comment
Labels: enhancement

#36 - VAMPIRE: Fix type uniqueness to avoid duplicates

Issue - State: closed - Opened by ArenBabikian over 5 years ago - 1 comment
Labels: enhancement

#35 - VAMPIRE: Find trigger point regarding modification of Vampire output

Issue - State: open - Opened by ArenBabikian over 5 years ago
Labels: Process

#34 - VAMPIRE: Infinite loop if no scope defined

Issue - State: closed - Opened by ArenBabikian over 5 years ago
Labels: bug, Priority

#33 - VAMPIRE: Introduce model elements as skolem constants

Issue - State: closed - Opened by ArenBabikian over 5 years ago - 1 comment
Labels: Feature, Process

#32 - VAMPIRE: Use Vampire prover programmatically

Issue - State: closed - Opened by ArenBabikian over 5 years ago - 1 comment
Labels: Feature

#31 - VAMPIRE: Fix lower bound structure

Issue - State: open - Opened by ArenBabikian over 5 years ago - 3 comments
Labels: Feature, Process

#30 - VAMPIRE: Improve Containment Hierarchy

Issue - State: open - Opened by ArenBabikian over 5 years ago
Labels: enhancement

#29 - VAMPIRE: Reduce run time by using less lookups

Issue - State: open - Opened by ArenBabikian over 5 years ago
Labels: enhancement, Unsure

#28 - VAMPIRE: Improve handling of type hierarchy

Issue - State: open - Opened by ArenBabikian over 5 years ago
Labels: enhancement

#27 - VAMPIRE: Remove unnecessary files from remote repository

Issue - State: open - Opened by ArenBabikian over 5 years ago - 1 comment
Labels: bug

#26 - VAMPIRE: Fix Assertion Handling

Issue - State: open - Opened by ArenBabikian over 5 years ago
Labels: enhancement, Priority

#25 - VAMPIRE: Review oppositeReference Assertion

Issue - State: open - Opened by ArenBabikian over 5 years ago
Labels: bug, Unsure

#24 - VAMPIRE: Remove typehierarchy maps from trace

Issue - State: open - Opened by ArenBabikian over 5 years ago
Labels: enhancement

#23 - VAMPIRE: Fix "Duplicate" code in Relation Handler

Issue - State: open - Opened by ArenBabikian over 5 years ago
Labels: enhancement

#22 - VAMPIRE: Fix Rule Naming

Issue - State: closed - Opened by ArenBabikian over 5 years ago
Labels: enhancement

#21 - VAMPIRE: Error Handling

Issue - State: open - Opened by ArenBabikian over 5 years ago
Labels: Feature

#20 - VAMPIRE: Containment Circularity

Issue - State: closed - Opened by ArenBabikian over 5 years ago
Labels: Priority, Feature

#19 - Create standalone examples using configuration files

Issue - State: open - Opened by varrodan almost 6 years ago - 2 comments
Labels: enhancement

#18 - Unsupported attribute type: EEnumerator

Issue - State: open - Opened by vnikitch about 6 years ago

#16 - *.xmi files generated by the solver cannot be opened by reflective editor

Issue - State: closed - Opened by OszkarSemerath over 6 years ago
Labels: bug, enhancement

#15 - Solver has issues with enum types

Issue - State: open - Opened by ArenBabikian over 6 years ago
Labels: bug

#14 - Solver has issues with variables of native java type

Issue - State: open - Opened by michding over 6 years ago
Labels: bug

#13 - Generated .xmi files contain default values for generated class instances.

Issue - State: closed - Opened by ArenBabikian over 6 years ago - 2 comments
Labels: bug, duplicate

#11 - Ignoring default values for attributes

Issue - State: open - Opened by ArenBabikian over 6 years ago
Labels: enhancement

#10 - Provide visualization of search space for debugging

Issue - State: open - Opened by varrodan over 6 years ago
Labels: enhancement

#9 - Experiment with query-driven unit propagation rules in Viatra Solver

Issue - State: open - Opened by bergmanngabor over 6 years ago
Labels: enhancement

#8 - Improve Viatra Solver's abstract interpretation of queries by reification

Issue - State: open - Opened by bergmanngabor over 6 years ago
Labels: enhancement

#7 - java.lang.IllegalArgumentException with patterns using EObject parameters

Issue - State: open - Opened by mayerkr about 7 years ago - 2 comments

#6 - EString is unsupported

Issue - State: open - Opened by mayerkr about 7 years ago

#5 - java.lang.IllegalArgumentException in transformQueries method

Issue - State: open - Opened by mayerkr about 7 years ago - 2 comments

#4 - java.lang.ClassCastException in transformQueries method

Issue - State: open - Opened by mayerkr about 7 years ago

#3 - Support transitive closure

Issue - State: open - Opened by mayerkr over 7 years ago

#2 - ID generation

Issue - State: open - Opened by mayerkr over 7 years ago

#1 - Attribute support

Issue - State: open - Opened by mayerkr over 7 years ago