Compare commits
3 Commits
9fbdb7000f
...
f5daae824c
Author | SHA1 | Date | |
---|---|---|---|
|
f5daae824c | ||
|
91ff654fc9 | ||
025d25a146 |
@ -88,7 +88,7 @@ let _ =
|
||||
("linearization_tuples", Passes.pass_linearization_tuples);
|
||||
("linearization_app", Passes.pass_linearization_app);
|
||||
("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);
|
||||
("sanity_pass_assignment_unicity", Passes.sanity_pass_assignment_unicity);
|
||||
("automata_translation", Passes.automata_translation_pass);
|
||||
|
@ -63,7 +63,7 @@
|
||||
|
||||
let make_binop_nonbool e1 e2 op error_msg =
|
||||
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]]
|
||||
then
|
||||
begin
|
||||
@ -88,7 +88,7 @@
|
||||
|
||||
let make_comp_nonbool e1 e2 op error_msg =
|
||||
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]]
|
||||
then
|
||||
begin
|
||||
|
Loading…
Reference in New Issue
Block a user