Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
43584138
Commit
43584138
authored
May 15, 2018
by
erwan
Browse files
Remove the LICENCE file (since there is also/already a LICENSE file...).
parent
4528bd02
Pipeline
#7586
passed with stages
in 11 minutes and 7 seconds
Changes
10
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
LICENCE
deleted
100644 → 0
View file @
4528bd02
Copyright (c) 2005, VERIMAG LABORATORY, GIERES, FRANCE
Permission to install, copy, and use this software and associated
documentation for any purpose other than its incorporation into a
commercial product is hereby granted without fee. Permission to
distribute this Software and its documentation only for
non-commercial use is also granted without fee. This permission is
subject to the following conditions:
THE SOFTWARE IS PROVIDED "AS-IS" AND WITHOUT WARRANTY OF ANY KIND,
EXPRESS, IMPLIED OR OTHERWISE, INCLUDING BUT NOT LIMITED TO THE
WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
NONINFRINGEMENT.
IN NO EVENT SHALL THE AUTHORS, VERIMAG LABORATORY, OR ANY PERSON OR
INSTITUTION RELATED TO VERIMAG LABORATORY, BE LIABLE FOR ANY CLAIM OR
OTHER LIABILITY, OR ANY SPECIAL, INCIDENTAL, INDIRECT OR
CONSEQUENTIAL DAMAGES OF ANY KIND, OR ANY DAMAGES WHATSOEVER
RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER OR NOT ADVISED
OF THE POSSIBILITY OF DAMAGE, AND ON ANY THEORY OF LIABILITY, ARISING
OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
\ No newline at end of file
_oasis
View file @
43584138
OASISFormat: 0.4
Name: Lutin
Version: 2.5
2
Version: 2.5
3
Authors: Erwan Jahier, Pascal Raymond, Bertrand Jeannnet (polka), Yvan Roux
Maintainers: erwan.jahier@univ-grenoble-alpes.fr
License: CeCILL
...
...
examples/from_ocaml/Makefile
View file @
43584138
...
...
@@ -23,7 +23,7 @@ CLIB= `ocamlfind query -r rdbg-plugin -i-format` \
INCLUDE_DIR
=
-I
+gmp
-I
+camlidl
-I
+polka
-I
+gbddml
\
-I
+rdbg-plugin
-I
+lutin
\
-I
+ezdl
LUTIN
=
../../../bin/
lutin
$(EXE)
LUTIN
=
lutin
$(EXE)
################################################################
...
...
examples/from_ocaml/README.org
View file @
43584138
Test that make sure
that
l
utin can be called from ocaml
Illustre/Test
that
L
utin can be called from ocaml
examples/untested/lustre/Makefile
→
examples/untested/
from_
lustre/Makefile
View file @
43584138
File moved
examples/untested/lustre/call_foo.lus
→
examples/untested/
from_
lustre/call_foo.lus
View file @
43584138
File moved
examples/untested/lustre/call_foo.oc
→
examples/untested/
from_
lustre/call_foo.oc
View file @
43584138
File moved
examples/untested/lustre/foo.lut
→
examples/untested/
from_
lustre/foo.lut
View file @
43584138
File moved
ltop/src/lustreRun.ml
View file @
43584138
(* Time-stamp: <modified the
28
/0
8
/201
7
(at 1
7:01
) by Erwan Jahier> *)
(* Time-stamp: <modified the
09
/0
5
/201
8
(at 1
5:49
) by Erwan Jahier> *)
open
RdbgPlugin
type
vars
=
(
string
*
Data
.
t
)
list
...
...
@@ -15,7 +15,7 @@ let my_string_of_float = Util.my_string_of_float
let
subst_to_string
(
n
,
v
)
=
n
^
"="
^
(
Data
.
val_to_string
my_string_of_float
v
)
let
(
step_channel
:
in_channel
->
out_channel
->
vars
->
vars
->
Data
.
subst
list
->
Data
.
subst
list
)
=
Data
.
subst
list
->
Data
.
subst
list
)
=
fun
ic
oc
in_vars
out_vars
sl
->
let
in_vals_str
=
List
.
fold_left
...
...
lutin/src/version.ml
View file @
43584138
let
str
=
"2.5
2
"
let
sha
=
"
cc6125c
"
let
str
=
"2.5
3
"
let
sha
=
"
4528bd0
"
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment