Skip to content

Releases: MLanguage/mlang

Release 61

28 Feb 14:32
@github-actions github-actions
61
356c12d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 61 
Merge pull request #137 from ddeclerck/add_missing_rule_tags

Add missing rule tags
Assets 4
Loading

Release 60

25 Feb 13:48
@github-actions github-actions
60
cfea7d2
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 60 
Merge pull request #131 from MLanguage/enchains

Distinguish M code in separate chains
Assets 4
Loading

Release 59

25 Feb 12:53
@github-actions github-actions
59
c4e6dd9
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 59 
Merge pull request #107 from MLanguage/var-unicity

Unify SSA duplicated variables of Mir in Bir
Assets 4
Loading

Release 58

25 Feb 07:03
@github-actions github-actions
58
603531c
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 58 
Merge pull request #111 from MLanguage/mpp_functions_in_backend

split mpp functions
Assets 4
Loading

Release 57

24 Feb 15:43
@github-actions github-actions
57
f0e8db8
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 57 
Merge pull request #135 from MLanguage/fix-dep-graph

Fix disappearance of rules without dependencies in graph
Assets 4
Loading

Release 56

23 Feb 15:27
@github-actions github-actions
56
6b145cb
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 56 
Update binary-releases.yml
Assets 4
Loading

Release 55

23 Feb 15:07
@github-actions github-actions
55
2098deb
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 55 
Merge pull request #134 from MLanguage/fix_ci

Use correct ocaml-compiler options for musl+flambda
Assets 3
Loading

Release 54

23 Feb 14:48
@github-actions github-actions
54
9afe099
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 54 
Merge pull request #129 from MLanguage/misc-cleanup

Miscellaneous clean-ups
Assets 3
Loading

Release 53

23 Feb 14:47
@github-actions github-actions
53
1a58afa
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 53 
Merge pull request #128 from MLanguage/migrate-ocaml-setup

Change ocaml setup version
Assets 3
Loading

Release 52

21 Feb 10:47
@github-actions github-actions
52
da26af4
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 52 
Merge pull request #130 from MLanguage/fix_doc

Add opam update in all CI scripts
Assets 4
Loading