Skip to content

Releases: gsdlab/claferMPS

Release list

0.4.4.4

0.4.4.4 Latest
Latest

Choose a tag to compare

View all tags
@El-Khalilov El-Khalilov released this 12 Mar 17:24
0.4.4.4
f3781a0

Release Notes:

  • Implemented model slices
  • Added custom reference models
  • Integrated Clafer Compiler
Assets 3
Loading

0.4.4.3

0.4.4.3

Choose a tag to compare

View all tags
@El-Khalilov El-Khalilov released this 17 Nov 22:58
0.4.4.3
81c2daa

Release Notes:

  • Implemented milestone projection filters
  • Merged org.clafer.mps and org.clafer.util projects
  • Updated the project structure
Loading

0.4.4.2

0.4.4.2 Pre-release
Pre-release

Choose a tag to compare

View all tags
@El-Khalilov El-Khalilov released this 26 Oct 03:00
0.4.4.2
99fdb93

MPS v3.3.5
mbeddr nightly-199-MPS-3.3.5

Loading