SOM-Research/EMFtoCSP

Issues

• "null" when validating model on Eclipse 2019-03

  #12 opened 5 years ago by magilus
  0

• oclIsTypeOf() not working properly

  #11 opened 9 years ago by toeklk
  0

• Graphviz output: represent aggregationkind:Composition by a subgraph

  #9 opened 10 years ago by toeklk
  0

• 'Aborting execution' on large metamodel

  #8 opened 10 years ago by hamzaed
  1

• Choosing weak Satisfiability correctness property results in instance that violates invariants

  #7 opened 10 years ago by hamzaed
  0

• Validate command is only available in java perspective

  #6 opened 10 years ago by hamzaed
  0

• CastException using sets of Attributes

  #5 opened 10 years ago by hamzaed
  2

• oclAsType not implemented

  #2 opened 10 years ago by hamzaed
  0

• Invalid let generation

  #3 opened 10 years ago by hamzaed
  0

• No support for OCL closure

  #4 opened 10 years ago by hamzaed
  0

• Operations body not supported

  #1 opened 10 years ago by hamzaed
  0