Commit 7be42db8 authored by enoulard's avatar enoulard
Browse files

Restore Prelude 1.5.1 in its original state

(not cluttered with 1.5.2 commit)
parents 2eaf7ef3 0f62e8b7
OASISFormat: 0.2
Name: Prelude Compiler
Version: 1.5.2
Version: 1.5.1
Synopsis: Prelude compiler
Authors: Julien Forget, Pierre-Loïc Garoche, Eric Noulard, Wolfgang Puffitsch
License: LGPL-2.1
......
......@@ -20,7 +20,7 @@
* USA
*---------------------------------------------------------------------------- *)
let version = "1.5.2"
let version = "1.5.1"
let main_node = ref ""
let print_types = ref false
let print_clocks = ref false
......
......@@ -546,13 +546,7 @@ let check_variables_unused g exp_main =
let reduced_task_graph exp_main =
let g = of_node exp_main in
begin
try check_variables_unused g exp_main
with Error (loc, Main_variable_unused vid) ->
Location.print(loc);
print_string("Warning variable "^vid^" is not used");
print_newline()
end;
check_variables_unused g exp_main;
reduce g exp_main
let same_task v1 v2 =
......@@ -571,16 +565,13 @@ let prec_list g =
let precs =
Hashtbl.fold
(fun vid v precs ->
match v.vertex_desc with Constant _ ->
precs
| _ ->
let more_precs =
Hashtbl.fold
(fun succ_id annot l ->
let succ = Hashtbl.find g succ_id in
(v,annot,succ)::l)
v.vertex_succs [] in
precs@more_precs)
let more_precs =
Hashtbl.fold
(fun succ_id annot l ->
let succ = Hashtbl.find g succ_id in
(v,annot,succ)::l)
v.vertex_succs [] in
precs@more_precs)
g []
in
(* We need to filter precs to keep only one prec by pair of
......
Markdown is supported
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