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.110.2
7ce79ce5
·
fix: with -esa and (the experimental) -knc concat were not expanded
·
Mar 11, 2024
Release:
v6.110.2
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.110.1
e1329f77
·
fix: with -knc, always parenthesis call to not
·
Mar 06, 2024
Release:
v6.110.1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.109.1
7d7341bd
·
perf: generate more compact fresh var names
·
Jan 24, 2024
Release:
v6.109.1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.109.0
18a4f6e1
·
feat: check assert statically is possible
·
Jan 23, 2024
Release:
v6.109.0
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.108.0
49bac957
·
ci: use js node 20 instead of 19 (deprecated) for semantic-release
·
Jan 19, 2024
Release:
v6.108.0
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.107.4
a3b50883
·
Add a missing file
·
Jun 16, 2023
Release:
v6.107.4
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.107.3
ad176d2a
·
fix: the previous wasn't quite rigth
·
Jan 25, 2023
Release:
v6.107.3
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.107.2
f03d5d9b
·
fix: a bug (--2c) reported by Rui Chen w.r.t. nodes with no input
·
Jan 25, 2023
Release:
v6.107.2
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.107.1
09e2df2d
·
fix: a bug in enumerated clocks in -exec mode (due to
de676726
)
·
Oct 26, 2022
Release:
v6.107.1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.107.0
8a61cf14
·
fix: the generated C code for gcc 11 (default behavior changed)
·
Oct 25, 2022
Release:
v6.107.0
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.106.1
0929f236
·
fix: a bug in the C code in presence of extern functions
·
Jun 20, 2022
Release:
v6.106.1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.106.0
a57e49d8
·
docs: edit a few comment in Soc.t
·
May 16, 2022
Release:
v6.106.0
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.105.1
747740a6
·
doc: a link to the tools pages in the lv6 lang ref.
·
Apr 08, 2022
Release:
v6.105.1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.105.0
861b2fb6
·
feat: check assertions in the generated C code.
·
Mar 21, 2022
Release:
v6.105.0
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.104.0
d10c190c
·
ci: use npm node 14 instead of 12 for semantic release
·
Sep 22, 2021
Release:
v6.104.0
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
6.103.3
7224b681
·
Chore: generate version file via a dune rule (instead of a make rule)
·
Jul 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v6.103.3
7224b681
·
Chore: generate version file via a dune rule (instead of a make rule)
·
Jul 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
6.103.2
1fc2562b
·
Chore: put the header at the top of <file>_<node>.h + move and #endif forward
·
Jul 05, 2021
Release:
6.103.2
Release 6.103.2
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
6.103.1
e2e27ec9
·
Update: move user definitions from lustre_types.h to file_node.h
·
Jul 05, 2021
Release:
6.103.1
Release 6.103.1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
Next