Commit 98c080c9 authored by erwan's avatar erwan
Browse files

Add a (CeCILL) LICENCE file.

parent e599cdcd
Pipeline #7066 passed with stages
in 12 minutes and 6 seconds
This diff is collapsed.
OASISFormat: 0.4
Name: rdbg
Version: 1.168
Version: 1.169
Authors: Erwan Jahier
Maintainers: erwan.jahier@univ-grenoble-alpes.fr
License: GPL-3
License: CeCILL
Plugins: DevFiles (0.4), META (0.4)
Synopsis: RDBG: a reactive programs debugger.
Homepage: http://rdbg.forge.imag.fr/
Homepage: https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg
OCamlVersion: >= 4.01
Description:
The library rdbg-plugin contains all the necessary ocaml modules
......
# Time-stamp: <modified the 06/02/2018 (at 11:13) by Erwan Jahier>
# Time-stamp: <modified the 25/04/2018 (at 16:07) by Erwan Jahier>
ifndef OCAMLOPT
export OCAMLOPT=ocamlfind ocamlopt
......@@ -106,7 +106,7 @@ time1: testTime.cmxs
time $(RDBG_BATCH) testTime.cmxs -o testTime1.rif0 > out1
time2: testTime.cmxs
time $(RDBG_BATCH) -lurette testTime.cmxs -l 50 --seed 42 -o testTime2.rif0 > out2
time $(RDBG_BATCH) -lurette testTime.cmxs -l 50 -o testTime2.rif0 > out2
time3:
rm -f testTime3.rif0
......
......@@ -23,7 +23,11 @@ test1-session.out:
rdbg:
$(RDBG) -sut "lus2lic chrono_v4.lus -n chrono_v4" \
-env "lutin chrono_env.lut -n chrono_real_env -seed 1"
-env "lutin chrono_env.lut -n chrono_real_env -seed 1" -o rdbg.rif
lurette:
$(RDBG) -lurette \
-sut "lus2lic chrono_v4.lus -n chrono_v4" \
-env "lutin chrono_env.lut -n chrono_real_env -seed 1" -o lurette.rif
test1: test1-session.out $(EXPDIR)
rm -f test1.res
......
(* Time-stamp: <modified the 04/12/2013 (at 14:34) by Erwan Jahier> *)
(* Time-stamp: <modified the 27/04/2018 (at 11:03) by Erwan Jahier> *)
(*-----------------------------------------------------------------------
** This file may only be copied under the terms of the GNU Library General
** Public License
**-----------------------------------------------------------------------
**
** Author: parscal.raymond@imag.fr
** Author: Pascal Raymond
**
*)
......
(* Time-stamp: <modified the 27/04/2018 (at 11:05) by Erwan Jahier> *)
(*-----------------------------------------------------------------------
** Copyright (C) - Verimag.
** This file may only be copied under the terms of the GNU Library General
** Public License
**-----------------------------------------------------------------------
**
** File: failure.ml
** Main author: jahier@imag.fr
** Author: Erwan Jahier
*)
type info =
......
(* Time-stamp: <modified the 28/03/2018 (at 11:00) by Erwan Jahier> *)
(* Time-stamp: <modified the 24/04/2018 (at 10:30) by Erwan Jahier> *)
(* An experimental wrapper around rdbg-top to
- avoid typing "()" and ";;"
- generate initial sessions
......@@ -11,6 +11,7 @@ let rdbg_top = "rdbg-top"
let rdbg_tuning_file = "my-rdbg-tuning.ml"
let url_doc="http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6/"
let usage = (Sys.argv.(0) ^
" is an experimental wrapper around the ocaml toplevel rdbg-top.
rdbg basically performs 3 things.
......@@ -23,8 +24,6 @@ For example, try:
rdbg -sut \"ecexe-rif f.ec node\" -env \"lutin f.lut -n main\"
lv6 -2c -cc f.lus -n n ;rdbg -sut \"./n.exec\" -env \"lutin f.lut -n main\"
nb: of course, when using the last 2 commands, one cannot debug the sut
(2) It generates a default '"^rdbg_tuning_file^"' file used to contain
user commands, and that is loaded before starting. rdbg won't
override '"^rdbg_tuning_file^"' if it already exists. The --emacs
......@@ -37,6 +36,7 @@ nb: of course, when using the last 2 commands, one cannot debug the sut
Hint: preprend rdbg by 'ledit' (or 'ledit -h rdbg-history -x').
cf also "^url_doc^"
usage: [ledit] "^ Sys.argv.(0) ^" [<options>] [<ocaml files>]
where <ocaml files> (e.g., 'rdbg-session-i.ml') are evaluated by rdbg-top
......@@ -187,24 +187,7 @@ let other_args:string =
Arg.parse_argv Sys.argv !arg_options add_args usage;
String.concat " " (List.rev !others)
let cmd = rdbg_top ^ " -I +rdbg-plugin " ^ other_args
let rec my_read_line () =
let str = read_line () in
match str with
| "#auto" ->
add_semi_ref:= true;
print_string "type '#auto_off' to disable automatic semicolumn mode\n";
flush stdout;
my_read_line ()
| "#auto_off" ->
add_semi_ref:= false;
print_string "type '#auto' to enable automatic semicolumn mode\n";
flush stdout;
my_read_line ()
| _ -> str
let rdbg_top_cmd = rdbg_top ^ " -I +rdbg-plugin " ^ other_args
(**********************************************************************************)
(* generete a rdbg-session.ml *)
......@@ -234,8 +217,9 @@ let gen_plugin_def packs_ref oc nodbg name str =
match tool with
| "lutin" -> "LutinRun.make",[]
| "lus2lic" -> "Lv6Run.make",["--expand-io-type"]
| "lv6" -> "Lv6Run.make",["--expand-io-type"]
(* necessary because lv6 -2c generates rif where all i/o are expanded.*)
| "lv6" ->
(* necessary because lv6 -2c generates rif where all i/o are expanded.*)
"Lv6Run.make",["--expand-io-type"]
| _ -> "StdioRun.make",[]
in
let args = args @ opt_forced in
......@@ -283,7 +267,6 @@ let _ =
let cmd = \"emacsclient -e ' (hlt-choose-default-face \\\"org-checkbox\\\") '\" in
ignore(Sys.command cmd)
let emacs_udate e =
try
match e.sinfo with
......@@ -370,8 +353,7 @@ let _ =
let _ = print_string \"\n --> type 'man' for online help\n\"
")
(* Fill the session file and retunrs the list of used plugins *)
(* Fill the session file and returns the list of used plugins *)
let gen_rdbg_session_content oc =
let give_unique_name (i, acc_names, acc_calls) str =
let name = Printf.sprintf "plugin_%i" i in
......@@ -420,7 +402,22 @@ let gen_rdbg_session_content oc =
(**********************************************************************************)
let rdbg_cmd = ref ""
let rec my_read_line () =
let str = read_line () in
match str with
| "#auto" ->
add_semi_ref:= true;
print_string "type '#auto_off' to disable automatic semicolumn mode\n";
flush stdout;
my_read_line ()
| "#auto_off" ->
add_semi_ref:= false;
print_string "type '#auto' to enable automatic semicolumn mode\n";
flush stdout;
my_read_line ()
| _ -> str
let rec myloop oc str =
let str = if str = "" then my_read_line () else str in
let str =
......@@ -453,14 +450,13 @@ let ls str = Mypervasives.run ("ls -t "^str) (fun s -> Some s)
let _ =
try
if !verbose then (
print_string (" "^Sys.argv.(0)^" communicates with the process \""^cmd^"\"\n");
print_string (" "^Sys.argv.(0)^" communicates with the process \""^
rdbg_top_cmd^"\"\n");
flush stdout;
flush stdout
);
let call_myloop str =
let oc =
Unix.open_process_out cmd
in
let oc = Unix.open_process_out rdbg_top_cmd in
myloop oc str
in
let session_file_name = if !lurette then "luretteSession" else "rdbg-session" in
......
let str="1.168"
let sha="3c27c22"
let str="1.169"
let sha="e599cdc"
let branch="master"
(* Time-stamp: <modified the 04/12/2013 (at 14:32) by Erwan Jahier> *)
(* Time-stamp: <modified the 27/04/2018 (at 11:04) by Erwan Jahier> *)
(*-----------------------------------------------------------------------
** This file may only be copied under the terms of the GNU Library General
** Public License
**-----------------------------------------------------------------------
**
** File: value.ml
** Main author: jahier@imag.fr
** Main author: Erwan Jahier
*)
(* exported *)
......
(* Time-stamp: <modified the 27/04/2018 (at 11:06) by Erwan Jahier> *)
(*-----------------------------------------------------------------------
** Copyright (C) - Verimag.
** This file may only be copied under the terms of the GNU Library General
** Public License
**-----------------------------------------------------------------------
**
** File: value.mli
** Main author: jahier@imag.fr
** Author: Erwan Jahier
*)
(**)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment