Compare commits
3 Commits
9fbdb7000f
...
f5daae824c
Author | SHA1 | Date | |
---|---|---|---|
|
f5daae824c | ||
|
91ff654fc9 | ||
025d25a146 |
@ -88,7 +88,7 @@ let _ =
|
|||||||
("linearization_tuples", Passes.pass_linearization_tuples);
|
("linearization_tuples", Passes.pass_linearization_tuples);
|
||||||
("linearization_app", Passes.pass_linearization_app);
|
("linearization_app", Passes.pass_linearization_app);
|
||||||
("linearization_pre", Passes.pass_linearization_pre);
|
("linearization_pre", Passes.pass_linearization_pre);
|
||||||
("ensure_assign_val", Passes.pass_ensure_assignment_value);
|
("ensure_assign_val", Passes.pass_ensure_assignment_valuh);
|
||||||
("linearization_reset", Passes.pass_linearization_reset);
|
("linearization_reset", Passes.pass_linearization_reset);
|
||||||
("sanity_pass_assignment_unicity", Passes.sanity_pass_assignment_unicity);
|
("sanity_pass_assignment_unicity", Passes.sanity_pass_assignment_unicity);
|
||||||
("automata_translation", Passes.automata_translation_pass);
|
("automata_translation", Passes.automata_translation_pass);
|
||||||
|
@ -63,7 +63,7 @@
|
|||||||
|
|
||||||
let make_binop_nonbool e1 e2 op error_msg =
|
let make_binop_nonbool e1 e2 op error_msg =
|
||||||
let t1 = type_exp e1 in let t2 = type_exp e2 in
|
let t1 = type_exp e1 in let t2 = type_exp e2 in
|
||||||
(** e1 and e2 should be nunmbers here.*)
|
(** e1 and e2 should be numbers here.*)
|
||||||
if list_chk t1 [[TInt]; [TReal]] && list_chk t2 [[TInt]; [TReal]]
|
if list_chk t1 [[TInt]; [TReal]] && list_chk t2 [[TInt]; [TReal]]
|
||||||
then
|
then
|
||||||
begin
|
begin
|
||||||
@ -88,7 +88,7 @@
|
|||||||
|
|
||||||
let make_comp_nonbool e1 e2 op error_msg =
|
let make_comp_nonbool e1 e2 op error_msg =
|
||||||
let t1 = type_exp e1 in let t2 = type_exp e2 in
|
let t1 = type_exp e1 in let t2 = type_exp e2 in
|
||||||
(** e1 and e2 should be nunmbers here.*)
|
(** e1 and e2 should be numbers here.*)
|
||||||
if list_chk t1 [[TInt]; [TReal]] && list_chk t2 [[TInt]; [TReal]]
|
if list_chk t1 [[TInt]; [TReal]] && list_chk t2 [[TInt]; [TReal]]
|
||||||
then
|
then
|
||||||
begin
|
begin
|
||||||
|
Loading…
Reference in New Issue
Block a user