equal
deleted
inserted
replaced
550 end |
550 end |
551 |
551 |
552 |
552 |
553 val e_override_params = |
553 val e_override_params = |
554 [("provers", "e"), |
554 [("provers", "e"), |
|
555 ("max_relevant", "0"), |
555 ("type_enc", "poly_guards?"), |
556 ("type_enc", "poly_guards?"), |
556 ("sound", "true"), |
557 ("sound", "true"), |
557 ("slicing", "false")] |
558 ("slicing", "false")] |
558 |
559 |
559 val vampire_override_params = |
560 val vampire_override_params = |
560 [("provers", "vampire"), |
561 [("provers", "vampire"), |
|
562 ("max_relevant", "0"), |
561 ("type_enc", "poly_tags"), |
563 ("type_enc", "poly_tags"), |
562 ("sound", "true"), |
564 ("sound", "true"), |
563 ("slicing", "false")] |
565 ("slicing", "false")] |
564 |
566 |
565 fun run_reconstructor trivial full m name reconstructor named_thms id |
567 fun run_reconstructor trivial full m name reconstructor named_thms id |