Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
16d17278
Commit
16d17278
authored
May 16, 2019
by
erwan
Browse files
Build: fix the version number for opam releases
parent
1103778e
Pipeline
#23957
passed with stages
in 8 minutes and 37 seconds
Changes
3
Pipelines
2
Hide whitespace changes
Inline
Side-by-side
Makefile.version
View file @
16d17278
#
SHA
:=
`
git log
-1
--pretty
=
format:
"%h"
`
VERSION
=
$(
shell
git describe
--tags
)
# if it is not a git version, it has to be an opam version!
SHA
:=
$(
shell
git log
-1
--pretty
=
format:
"%h"
||
echo
"opam"
)
BRANCH
:=
$(
shell
git branch |
grep
"*"
|
cut
-d
' '
-f
2
||
basename
`
pwd
`
|
echo
"opam"
)
VERSION
=
$(
shell
git describe
--tags
||
basename
`
pwd
`
|
cut
-d
'.'
-f2-4
)
echover
:
echo
"VERSION=
$(VERSION)
"
...
...
lutin/src/lutExe.ml
View file @
16d17278
...
...
@@ -1913,8 +1913,8 @@ let rec (genpath_ldbg : t -> store -> t CoTraceExp.t -> ctx ->
Printf
.
eprintf
"*** TE_dyn_choice : PRGS=%i |tbl|=%i
\n
"
(
Random
.
State
.
bits
(
Random
.
State
.
copy
(
Random
.
get_state
()
)))
(
Obj
.
reachable_words
(
Obj
.
repr
t
))
;
(
tbl_to_string
t
);
(
Obj
.
reachable_words
(
Obj
.
repr
t
))
(*
(tbl_to_string t)
*)
;
flush
stderr
;
);
if
(
Random
.
int
sum
<
wc
)
then
...
...
lutin/src/lutinRun.ml
View file @
16d17278
(* Time-stamp: <modified the
29
/0
4
/2019 (at 1
5:22
) by Erwan> *)
(* Time-stamp: <modified the
07
/0
5
/2019 (at 1
0:35
) by Erwan
Jahier
> *)
(**********************************************************************************)
type
vars
=
(
string
*
Data
.
t
)
list
...
...
@@ -147,7 +147,8 @@ let make argv =
tables
:=
tbl
;
ctrl_state
:=
cs
;
data_state
:=
ds
;
Random
.
set_state
prgs
;
|
None
->
Printf
.
eprintf
"Cannot restore state %i from Lutin
\n
"
i
;
flush
stderr
|
None
->
Printf
.
eprintf
"Cannot restore state %i from Lutin
\n
"
i
;
flush
stderr
);
init_inputs
=
mems_in
;
init_outputs
=
mems_out
;
...
...
Write
Preview
Markdown
is supported
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