Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lustre-v6
Tags
Tags give the ability to mark specific points in history as being important
v6.107.4
a3b50883
·
Add a missing file
·
Jun 16, 2023
Release:
v6.107.4
v6.108.0
49bac957
·
ci: use js node 20 instead of 19 (deprecated) for semantic-release
·
Jan 19, 2024
Release:
v6.108.0
v6.109.0
18a4f6e1
·
feat: check assert statically is possible
·
Jan 23, 2024
Release:
v6.109.0
v6.109.1
7d7341bd
·
perf: generate more compact fresh var names
·
Jan 24, 2024
Release:
v6.109.1
v6.110.0
118e9c5c
·
add a kind2 comment for the main node if --assert-in-contract is used
·
Feb 27, 2024
Release:
v6.110.0
v6.110.1
e1329f77
·
fix: with -knc, always parenthesis call to not
·
Mar 06, 2024
Release:
v6.110.1
v6.110.2
7ce79ce5
·
fix: with -esa and (the experimental) -knc concat were not expanded
·
Mar 11, 2024
Release:
v6.110.2
Prev
1
2
3
4
5
Next