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
c06dc8f6fd82834bf6f3ed9ba6f8a68f6995c9cc
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
6
Jul
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
21
May
5
14
Apr
13
9
8
22
Jan
20
13
26
May
12
Mar
11
9
4
3
25
Feb
11
10
9
6
5
4
3
30
Jan
23
12
Dec
8
5
28
Nov
26
25
21
20
4
3
27
Oct
24
23
22
17
Sep
15
2
1
29
Aug
28
26
25
22
21
20
19
23
Jul
22
21
18
17
8
7
4
3
1
30
Jun
26
23
18
13
12
9
6
5
3
2
30
May
29
28
27
26
21
20
16
15
7
2
2
Apr
28
Mar
20
17
14
11
6
26
Feb
21
20
15
14
12
11
7
6
4
31
Jan
30
28
21
Dec
18
17
14
5
15
Nov
19
Oct
Probleme des noeud parametrique definis dans un pack :
ok for scade keywords and ASSERTS.
fix conflict in sum files
test harness: do not fail if the error is due to a name clash with kcg
tmp
tmp
kcg key word list
Raise an standard error instead of an internal error when the arity of a node call is bad.
Update the test/lus2lic-kcg.sum by running the test
Fix conflicts caused by the merge.
Merge branch 'master' of /home/jahier/lus2lic
Add test scripts for the -kcg option.
Remove the dependencies of Lv6MainArgs in Lv6utils introduced by Mamadou
-kcg:ok for node calling another node.(for example in the file aa.lus)
Remove the dependencies of Lv6MainArgs in Lv6utils introduced by Mamadou
-kcg: forces the -esa(expand_arrays) option so that arrays walk with diese.We will see later how to treat properly the arrays.
-kcg: OK for abstract types and functions and extern nodes
Merge /home/ndiaye/lus2lic
Add a few test files.
-kcg: now compiles the edge node correctly.
-kcg: now compiles the edge node correctly.
-kcg: now compiles the edge node correctly.
Add a -kcg that does nothing (for Mamadou).
Add lv6Id.ml/mli that was not tracked by git !!!
Add a third level of options.
--gen-autotest: also generates an arocle to compare lustre programs with lesar
-2ch: Fix a bug introduced in d735e71a246545f1b9e3498d3b76d801d3539f61
-2ch: Fix a bug introduced in b5f3d50f1d6bf7b5c27c600ad97e10b4805be6878
soc2c: change the C representation of soc instances
Fixing and updating the lv6 manual.
--2c-inline-loop, -2cil: a new option that inline iterator loops.
Bug fix : boolred uses no memory!
-en: inline iterators when expanding nodes.
-2cw7 : fix the call to owcet that was wrong when -o was not used.
fix a fake conflict due to a git clumsiness
soc2c -wcet: print hints to compute the wcet of the current program.
soc2c -wcet: print hints to compute the wcet of the current program.
soc2c: fix the generation _ext.ch files in the stack (default!) mode.
Add a --2c-wcet (-2cw7) option that generates a main file for computing wcet.
The string used with -o/--output-file is used as base name to generated C files.
lic2soc: try a few optimisation wrt Soc.gao scheduling and test opening.
Rename LicName into FreshName.
Loading