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
Commits
b80ad1fe
Commit
b80ad1fe
authored
10 years ago
by
Erwan Jahier
Browse files
Options
Downloads
Patches
Plain Diff
The ocaml lib is now named "lustre-v6" instead of "lus2ocaml".
parent
91dcf40d
No related branches found
Branches containing commit
No related tags found
Tags containing commit
No related merge requests found
Changes
4
Hide whitespace changes
Inline
Side-by-side
Showing
4 changed files
_oasis
+1
-1
1 addition, 1 deletion
_oasis
_tags
+3
-3
3 additions, 3 deletions
_tags
test/lus2lic.sum
+11
-13
11 additions, 13 deletions
test/lus2lic.sum
test/lus2lic.time
+6
-8
6 additions, 8 deletions
test/lus2lic.time
with
21 additions
and
25 deletions
_oasis
+
1
−
1
View file @
b80ad1fe
...
@@ -29,7 +29,7 @@ Executable lus2lic
...
@@ -29,7 +29,7 @@ Executable lus2lic
# dir ~/lus2lic/src ~/lus2lic/ ~/lus2lic/_build/src /usr/local/soft/ocaml/4.01.0/lib/ocaml/rdbg-plugin/
# dir ~/lus2lic/src ~/lus2lic/ ~/lus2lic/_build/src /usr/local/soft/ocaml/4.01.0/lib/ocaml/rdbg-plugin/
Library lus
4ocaml
Library
"
lus
tre-v6"
Modules: Lus2licRun
Modules: Lus2licRun
Path: src/
Path: src/
BuildTools: ocamlbuild
BuildTools: ocamlbuild
...
...
This diff is collapsed.
Click to expand it.
_tags
+
3
−
3
View file @
b80ad1fe
# OASIS_START
# OASIS_START
# DO NOT EDIT (digest:
27f968445ada0c5de5d09ce2bf0e3fd2
)
# DO NOT EDIT (digest:
6cd34ce331e0b71fa46de84e0a14647e
)
# Ignore VCS directories, you can use the same kind of rule outside
# Ignore VCS directories, you can use the same kind of rule outside
# OASIS_START/STOP if you want to exclude directories that contains
# OASIS_START/STOP if you want to exclude directories that contains
# useless stuff for the build process
# useless stuff for the build process
...
@@ -18,8 +18,8 @@
...
@@ -18,8 +18,8 @@
"src/main.native": pkg_unix
"src/main.native": pkg_unix
"src/main.native": pkg_num
"src/main.native": pkg_num
"src/main.native": pkg_rdbg-plugin
"src/main.native": pkg_rdbg-plugin
# Library lus
4ocaml
# Library lus
tre-v6
"src/lus
4ocaml
.cmxs": use_lus
4ocaml
"src/lus
tre-v6
.cmxs": use_lus
tre-v6
<src/*.ml{,i}>: pkg_str
<src/*.ml{,i}>: pkg_str
<src/*.ml{,i}>: pkg_unix
<src/*.ml{,i}>: pkg_unix
<src/*.ml{,i}>: pkg_num
<src/*.ml{,i}>: pkg_num
...
...
This diff is collapsed.
Click to expand it.
test/lus2lic.sum
+
11
−
13
View file @
b80ad1fe
==> lus2lic0.sum <==
==> lus2lic0.sum <==
Test Run By jahier on
Mon
Dec
8 16:31:3
7
Test Run By jahier on
Fri
Dec
12 11:09:5
7
Native configuration is x86_64-unknown-linux-gnu
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic0 tests ===
=== lus2lic0 tests ===
...
@@ -63,7 +63,7 @@ XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/lecte
...
@@ -63,7 +63,7 @@ XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/lecte
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
==> lus2lic1.sum <==
==> lus2lic1.sum <==
Test Run By jahier on
Mon
Dec
8 16:31:43
Test Run By jahier on
Fri
Dec
12 11:10:01
Native configuration is x86_64-unknown-linux-gnu
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic1 tests ===
=== lus2lic1 tests ===
...
@@ -397,7 +397,7 @@ PASS: gcc -o multipar.exec multipar_multipar.c multipar_multipar_loop.c
...
@@ -397,7 +397,7 @@ PASS: gcc -o multipar.exec multipar_multipar.c multipar_multipar_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus {}
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus {}
==> lus2lic2.sum <==
==> lus2lic2.sum <==
Test Run By jahier on
Mon
Dec
8 16:31:39
Test Run By jahier on
Fri
Dec
12 11:10:47
Native configuration is x86_64-unknown-linux-gnu
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic2 tests ===
=== lus2lic2 tests ===
...
@@ -727,7 +727,7 @@ PASS: gcc -o zzz2.exec zzz2_zzz2.c zzz2_zzz2_loop.c
...
@@ -727,7 +727,7 @@ PASS: gcc -o zzz2.exec zzz2_zzz2.c zzz2_zzz2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus {}
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus {}
==> lus2lic3.sum <==
==> lus2lic3.sum <==
Test Run By jahier on
Mon
Dec
8 16:31:4
1
Test Run By jahier on
Fri
Dec
12 11:12:2
1
Native configuration is x86_64-unknown-linux-gnu
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic3 tests ===
=== lus2lic3 tests ===
...
@@ -1230,7 +1230,7 @@ PASS: ./myec2c {-o multipar.c multipar.ec}
...
@@ -1230,7 +1230,7 @@ PASS: ./myec2c {-o multipar.c multipar.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
==> lus2lic4.sum <==
==> lus2lic4.sum <==
Test Run By jahier on
Mon
Dec
8 16:31:45
Test Run By jahier on
Fri
Dec
12 11:13:08
Native configuration is x86_64-unknown-linux-gnu
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic4 tests ===
=== lus2lic4 tests ===
...
@@ -1727,13 +1727,11 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
...
@@ -1727,13 +1727,11 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
===============================
===============================
# Total number of failures: 14
# Total number of failures: 14
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 4 seconds
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 4 seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 6
9
seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in
4
6 seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 9
8
seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 9
2
seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 6
0
seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in
4
6 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in
9
5 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in
8
5 seconds
* Ref time:
* Ref time:
0.04user 0.0
5
system 4:3
6.62
elapsed 0%CPU (0avgtext+0avgdata 3012maxresident)k
0.04user 0.0
4
system 4:3
8.28
elapsed 0%CPU (0avgtext+0avgdata 3012maxresident)k
0inputs+0outputs (0major+148
85
minor)pagefaults 0swaps
0inputs+0outputs (0major+148
93
minor)pagefaults 0swaps
* Quick time (-j 4):
* Quick time (-j 4):
0.05user 0.03system 1:43.13elapsed 0%CPU (0avgtext+0avgdata 3012maxresident)k
0inputs+0outputs (0major+14894minor)pagefaults 0swaps
This diff is collapsed.
Click to expand it.
test/lus2lic.time
+
6
−
8
View file @
b80ad1fe
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 4 seconds
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 4 seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 6
9
seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in
4
6 seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 9
8
seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 9
2
seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 6
0
seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in
4
6 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in
9
5 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in
8
5 seconds
* Ref time:
* Ref time:
0.04user 0.0
5
system 4:3
6.62
elapsed 0%CPU (0avgtext+0avgdata 3012maxresident)k
0.04user 0.0
4
system 4:3
8.28
elapsed 0%CPU (0avgtext+0avgdata 3012maxresident)k
0inputs+0outputs (0major+148
85
minor)pagefaults 0swaps
0inputs+0outputs (0major+148
93
minor)pagefaults 0swaps
* Quick time (-j 4):
* Quick time (-j 4):
0.05user 0.03system 1:43.13elapsed 0%CPU (0avgtext+0avgdata 3012maxresident)k
0inputs+0outputs (0major+14894minor)pagefaults 0swaps
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment