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
0f54289a07cc50368452e11d6d5d2440369957a4
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
8
Apr
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
--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.
Fresh var names : keep only one mechanism to invent var names.
Rename Ident into Lv6Id to avoid a clash with a module ocaml/compilers-libs.
Add an option to control whether or not structured type should be expanded.
Fix a typo in the previous change
Prevent an assert failure on win32
--2c--stack: fix a bug occuring when the accumulator of a fillred is passed by adress
--2c--stack: fix a bug in code generated for array concat.
--2c--stack: fix a bug in code generated for array concat.
soc2c: fix a bug occuring when copying arrays with memcpy().
--2c-stack: fix some of the pbs in this mode (to be continued).
--2c-stack: fix some of the pbs in this mode (to be continued).
--2c-stack: fix some of the pbs in this mode (to be continued).
Add a --2c-stack option that uses the stack instead of the heap to transfer I/O
soc: Simplify the naming scheme of soc ident.
lic2soc: the list of clocks was built in the reserve order !
Remove all warnings.
Check node declaration wrt safety and memory.
Fix a couple of bugs in the -oite option.
Add syntax support for unsafe nodes.
Add a --optimize-ite/-oite option that transforms if/then/else into merge when possible.
Fix a bug when using -esa -en -2c on programs with assert
Merge does not generate soc anymore !
The ocaml lib is now named "lustre-v6" instead of "lus2ocaml".
Merge branch 'master' of git+ssh://scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/lustre/lus2lic
Run the test on montrond, not on bauges.
Run the test on montrond, not on bauges.
addd untracked files
previously_on_n…
previously_on_no_branch
Fix a few comment.
Loading