Skip to content

Releases: MLanguage/mlang

Release 24

23 Nov 09:18
@github-actions github-actions
24
a874976
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 24 
Merge pull request #95 from MLanguage/format-margin

80 columns formatting
Assets 4
Loading

Release 23

15 Nov 12:59
@github-actions github-actions
23
066141e
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 23 
Merge pull request #94 from MLanguage/improve-anomaly-handling

Improve anomaly handling
Assets 4
Loading

Release 22

12 Nov 15:28
@github-actions github-actions
22
d994b4c
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 22 
Merge pull request #93 from MLanguage/remove-release-profile

Fix/Remove release profile
Assets 4
Loading

Release 21

12 Nov 14:26
@github-actions github-actions
21
c990994
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 21 
Merge pull request #92 from MLanguage/remove-release-profile

Refactor dune files
Assets 3
Loading

Release 20

12 Nov 13:23
@github-actions github-actions
20
11df632
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 20 
Merge pull request #57 from MLanguage/input-output-config

 input output configuration for m_spec
Assets 4
Loading

Release 19

08 Nov 10:29
@github-actions github-actions
19
e7b8493
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 19 
Merge pull request #14 from jemsab/java-backend

Java backend
Assets 4
Loading

Release 15

28 Oct 14:43
@github-actions github-actions
15
25b89f9
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 15 
Merge pull request #88 from MLanguage/rule-tags

Register tags on rules in Mir
Assets 4
Loading

Release 12

27 Oct 12:51
@github-actions github-actions
12
894c43e
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 12 
Merge pull request #83 from MLanguage/mpp-spec-fix

Removed inputs as output in M++ specs
Assets 4
Loading

Release 11

27 Oct 12:38
@github-actions github-actions
11
4b78d5d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 11 
Merge pull request #85 from MLanguage/patch-dgfip-makefile

Use basic .mpp for dgfip backend
Assets 4
Loading

Release 10

18 Oct 08:41
@github-actions github-actions
10
6addc7c
This commit was signed with the committer’s verified signature.
denismerigoux Denis Merigoux
GPG key ID: EE99DCFA365C3EE3
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 10 
Restore code coverage measurements through rules
Assets 4
Loading