Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
L
lustre-v6
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container Registry
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
verimag
synchrone
lustre-v6
Graph
fbc1f4e21de5654fe455a39d49da96668a1b2555
Select Git revision
Branches
12
6-can-not-iterate-over-the-plus-node-as-long-as-it-is-named-plus
add-multi-generation
lustre-mt_omp
master
default
protected
multi-task
new_branch_name
pascal01
previously_on_no_branch
solve_ident
take-reset-pragma-into-account
tmp
u0
Tags
20
v6.111.3
v6.111.2
v6.111.1
v6.111.0
v6.110.3
v6.110.2
v6.110.1
v6.110.0
v6.109.1
v6.109.0
v6.108.0
v6.107.4
v6.107.3
v6.107.2
v6.107.1
v6.107.0
v6.106.1
v6.106.0
v6.105.1
v6.105.0
32 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
16
Jun
8
7
30
Jan
25
28
Oct
26
25
24
21
20
28
Jul
27
22
21
19
12
8
7
1
29
Jun
28
20
15
16
May
12
11
6
5
8
Apr
23
Mar
22
21
22
Sep
13
Jul
9
8
5
1
15
Mar
11
17
Aug
19
Jun
17
16
12
11
May
18
Mar
17
13
3
14
Feb
10
Dec
2
1
11
Oct
19
Sep
4
2
30
Aug
29
22
2
29
Jul
11
10
23
May
22
17
16
3
30
Apr
10
5
29
Jan
28
24
7
Dec
3
9
Oct
8
10
Jul
6
4
3
2
3
May
27
Apr
28
Mar
25
23
21
22
Feb
12
Jan
18
Dec
14
8
1
30
Nov
4
Oct
27
Sep
12
8
6
22
Aug
18
18
Jul
12
10
5
4
27
Jun
26
22
21
20
1
5
May
3
24
Apr
9
Mar
20
Feb
11
Jan
10
9
6
2
22
Dec
30
Nov
21
10
25
Oct
14
7
20
Sep
13
9
5
30
Aug
26
21
Jun
14
1
31
May
30
27
18
Mar
10
25
Feb
10
8
3
2
1
29
Jan
28
27
22
14
25
Sep
23
21
3
20
Aug
17
10
Jul
7
6
3
1
25
Jun
24
23
22
19
18
17
12
11
1
29
May
22
10
Apr
8
7
30
Mar
24
20
18
3
27
Feb
26
24
23
13
12
9
27
Jan
26
22
21
20
19
14
7
12
Dec
8
17
Nov
9
Oct
7
6
3
2
1
29
Sep
9
5
4
3
2
1
27
Aug
26
25
22
19
14
7
11
Jul
10
9
7
4
1
27
Jun
26
24
23
20
19
18
16
13
12
10
6
5
4
2
30
May
22
21
12
26
Mar
25
24
Feb
20
23
Jan
22
11
Dec
10
6
4
29
Nov
28
25
23
Oct
20
Sep
6
Jun
5
4
3
31
May
28
22
21
17
16
15
13
10
7
6
26
Apr
25
24
23
22
17
12
10
8
5
4
3
2
29
Mar
27
25
22
21
20
19
11
5
25
Feb
22
20
13
7
6
4
1
31
Jan
29
25
24
19
18
17
16
14
11
20
Dec
18
13
11
26
Oct
10
Aug
8
7
6
3
14
Jul
13
12
11
10
9
7
6
4
3
5
Dec
1
Jun
19
May
3
Nov
29
Sep
19
Aug
10
Jul
9
6
2
Add a missing file
v6.107.4
v6.107.4
Add a --keep-nested-predef-calls option
refactor: minor changes
build: minor improvements in the packaging process
fix: clean up the id the lv6 rdbg plugin
fix: the previous wasn't quite rigth
v6.107.3
v6.107.3
fix: a bug (--2c) reported by Rui Chen w.r.t. nodes with no input
v6.107.2
v6.107.2
fix: a fake commit to protect the tgz used in the main opam repo
build: not compatible with ocaml 4.05 (because of List.init)
test: remove a test that loops (was doing a Stack overflow)
fix: a bug in enumerated clocks in -exec mode (due to de676726e9fc)
v6.107.1
v6.107.1
doc: minor enhancements.
ci: really fix!
ci: fix
ci: fix
fix: the generated C code for gcc 11 (default behavior changed)
v6.107.0 add-mu…
v6.107.0 add-multi-generation
ease ocamldebug-ing
test: remove a test that loops (it was doing a SO before)
doc: --2c-wcet and --2c-multi-core are experimental
doc: fix a syntax error in an example
fix: replace the deprecated kprintf by ksprintf (for ocaml 5.0)
refactor: remove a code dupl
Add the lustre-mt tool that process .yml files generated by lv6 -2cmc
generalise the -2c generated .sh file to ease the compilation with -2cmc
test: add a script to compare -2cmc and -2c
fix: mv get_inputs/print_outputs from _loop.{ch} to _loop_io.{ch}
Write a SocNameC that do the job on an example
Merge branch 'add-multi-generation' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/lustre-v6 into add-multi-generation
refactor: in the main C loop, use 2 new functions to get/print I/O
Merge branch 'add-multi-generation' of https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6 into add-multi-generation
Création du fichier yaml
fix the -2csf option in presence of user define types
-2c: split the main_node_loop.c in main_node_loop.c + main_node_loop_io.{ch}
feat: only perform static constant evaluation for integers
ci: fix it
ci: add the yaml dependancy
a soc2str exemple
add the yaml dep in the dune file
skeletons for mc generation
fix: a bug in the C code in presence of extern functions
v6.106.1
v6.106.1
Loading