Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Otawa Polymalys
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
Package registry
Model registry
Operate
Environments
Terraform modules
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
Ballabriga Clément
Otawa Polymalys
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
master
Select Git revision
Branches
1
master
default
protected
1 result
Begin with the selected commit
Created with Raphaël 2.2.0
6
Oct
28
May
26
20
12
7
11
Apr
10
25
Mar
5
26
Feb
10
5
4
3
13
Jan
10
9
11
Dec
13
Nov
12
6
29
Oct
18
17
16
20
Sep
20
Aug
25
Jul
23
22
19
17
16
15
10
9
4
Jun
3
29
May
27
21
20
17
16
15
14
10
7
25
Apr
24
19
16
15
12
11
5
4
3
2
1
15
Mar
14
13
26
Feb
25
23
Jan
21
Dec
10
29
Nov
27
18
Oct
12
27
Sep
22
Aug
21
20
17
13
9
26
Jul
24
20
19
18
17
10
6
5
4
3
29
Jun
28
26
22
12
11
7
1
28
May
25
24
23
4
30
Apr
28
27
19
18
17
13
10
28
Mar
23
1
28
Feb
27
23
12
2
25
Jan
15
11
8
22
Dec
14
8
7
6
5
2
1
30
Nov
29
28
21
20
19
16
14
18
Oct
16
26
Sep
31
Aug
30
23
Jul
12
7
3
30
Jun
28
27
26
21
20
12
9
2
1
30
May
29
24
22
18
16
10
9
4
2
30
Apr
29
26
19
18
31
Mar
28
27
23
22
21
17
16
7
2
21
Feb
14
13
11
8
7
2
26
Jan
16
13
16
Dec
14
13
8
1
7
Nov
4
28
Oct
27
26
17
16
15
13
6
Sep
25
Aug
23
10
9
3
2
22
Jul
21
18
12
11
5
2
30
Jun
29
24
23
22
21
20
17
16
15
14
10
8
4
2
1
31
May
27
26
25
24
23
21
20
19
18
17
13
12
11
2
1
29
Apr
26
23
22
21
20
18
15
14
13
11
8
7
3
2
1
31
Mar
30
29
25
24
23
21
17
16
15
14
11
9
8
7
29
Feb
28
27
26
24
23
Fix compilation error related to elm::Time
master
master
prevent crash in livenesschecker configure whenever passed workspace is null
Fixes to AI for new iterator api
Fix path conversion for gel_open
Merge branch 'master' of git+ssh://casse@git.renater.fr:2222/scmrepos/git/otawa/otawa.git
Adaptation to deep changes in ELM about strings.
merge otawa + otawa path finder
Merge branch 'master' of
Improved the root installation to prevent misleading behaviour for the user (script replaced by a shortcut to the real command).
merge mdm
hard: fixed ugly bug i Memory preventing good default memory
Merge branch 'master' of git+ssh://git.renater.fr:2222/scmrepos/git/otawa/otawa
better ordering of events
etime: added option to AbstractTimeBuilder that disable any resource
Fix compilation errors with various iterator types
infeable path analyse by otawa
bug fix
bug fix
bug fix
Merge branch 'master' of git+ssh://git.renater.fr:2222/scmrepos/git/otawa/otawa
etime: fixed AbstractTimeBuilder management of block splitting.
bug fix
etime: added split to StandardILPGenerator.
proc: added LOG_FOR configuration in Monitor (and support in Processor).
Merge branch 'master' of git+ssh://casse@git.renater.fr:2222/scmrepos/git/otawa/otawa.git
etime: fixed bug with queue too big, added support for EX without FU and
Merge branch 'master' of https://git.renater.fr/anonscm/git/otawa/otawa
etime: fix to support EXEC stage without FU.
abstract time builder upper bound error fix
abstract time builder upper bound error
etime: added function for customization of StandardXGraphBuilder.
etime: small fix in AbstractTimeBuilder; added header for
etime: fixed dependency generation for load/store instruction.
hai: small fix.
cfg: fixes for a better support of unknown calls, for disconnected CFGs
bin: in otawa-stat.py, context support fixed, CFG view now display
etime: added support for CUSTOM effect event.
proc: WorkSpace:isProvided() deprecated replaced by ::provides() or
proc: fixed Monitor bug preventing propagation of workspace set.
proc: Monitor cloning behaviour change to let cloned monitors to update
Loading