veriatl/veriatl

Issues

• Make sure plugin is compatible with Eclipse Modeling Tool 2018-09

  #7 opened 5 years ago by veriatl
  3

• Add incremental verification mode

  #1 opened 5 years ago by veriatl
  3

• Provide tutorial

  #8 opened 5 years ago by veriatl
  1

• Provide example

  #9 opened 5 years ago by veriatl
  1

• MegaM@Rt integration: no installation instructions available in readme.md

  #3 opened 6 years ago by jesus-gorronogoitia
  3

• Update Readme.md for install instruction

  #5 opened 6 years ago by veriatl
  1

• Create Update site for VeriATL

  #4 opened 6 years ago by veriatl
  1

• Create Feature project

  #6 opened 6 years ago by veriatl
  1

• The result of decomposing should be confluence

  #2 opened 7 years ago by veriatl
  0