Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Lustrec - public version
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Iterations
Wiki
Requirements
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Test cases
Artifacts
Deploy
Releases
Package registry
Container Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Code review analytics
Issue analytics
Insights
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
LustreC
Lustrec - public version
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
5ae8db15644c2fa8fd84ce54c15595f130c0289d
Select Git revision
Branches
1
master
default
protected
1 result
Begin with the selected commit
Created with Raphaël 2.2.0
21
Jun
20
17
May
16
5
28
Apr
27
26
25
6
5
20
Mar
6
3
2
1
14
Feb
31
Jan
13
11
10
6
5
4
30
Dec
28
27
21
20
8
4
22
Nov
9
21
Oct
12
30
Sep
28
9
7
1
26
Aug
9
6
15
Jun
1
12
Apr
1
14
Mar
23
Feb
2
19
Jan
18
8
7
18
Dec
16
15
8
7
29
Nov
26
21
20
16
7
6
13
Oct
9
8
7
15
Sep
18
Aug
13
9
Jun
5
13
May
5
4
13
Apr
9
8
4
3
1
24
Mar
17
16
12
6
5
3
16
Feb
10
Dec
9
8
1
27
Nov
29
Sep
26
24
18
14
10
9
5
4
3
2
15
Jul
12
11
10
9
8
7
4
3
2
27
Jun
26
25
24
23
20
17
12
23
May
22
20
19
16
1
Apr
31
Mar
24
20
19
18
17
16
14
13
11
10
6
5
4
1
28
Feb
26
24
21
20
19
5
25
Nov
14
12
7
22
Oct
2
Removed duplicate tan definition in math.lusi
add tan function to math.lusi
fixed matlab output
Changed the matlab function backend
Merge branch 'unstable' into seahorn_a6df3
Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
Improved dependencies for install target
Restored common_option definition. Was removed by a non delicate merge.
Bug solved: EMF backend was forced
Missing file
fixed matlab output
Changed the matlab function backend
_Bool are unsigned integer. The cast as a _Bool is delayed until the end of the function
Merge branch 'unstable' into seahorn_a6df3
add tan function in math.lusi
[Horn] Workaround to prevent the use of declared keywords as node name
Better dist-clean
Solved printing bug in Horn backend
Improved include folders behaviors:
Solved dependency in Makefile
trying to improving pretty printing. Not so perfect for the moment
[bug solved] issues with asserts (invalid eqs scheduling)
added pp_imap function
- Adding new Makefile target for regression test
Cleaning test folder. Now generated with ctest/cmake
Removing silly warning message
Missing file c_backend_lusic
Cleaning output:
Merge branch 'unstable' into merge_mauve_unstable
_tags is generated now
Cleaner configure autoconf script
Merge branch 'testgen' into merging_unstable_testgen
Missing files
Merge branch 'unstable' into merging_plugins
Removing generated file
Printing reals in Horn backend
Solved a bug in the compilation of asserts. Now different behavior depending on the backend:
functional_backend function moved to corelang
Cosmetic changes
More informative error message in case of untyped value
Loading