diff options
Diffstat (limited to 'src/isail.ml')
| -rw-r--r-- | src/isail.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/isail.ml b/src/isail.ml index e02427d6..ac19eb01 100644 --- a/src/isail.ml +++ b/src/isail.ml @@ -437,7 +437,6 @@ let handle_input' input = | ":l" | ":load" -> let files = Util.split_on_char ' ' arg in let (_, ast, env) = load_files !Interactive.env files in - let ast = Process_file.rewrite_ast_target "interpreter" !Interactive.env ast in Interactive.ast := append_ast !Interactive.ast ast; interactive_state := initial_state !Interactive.ast Value.primops; Interactive.env := env; @@ -533,6 +532,11 @@ let handle_input' input = | ":rewrites" -> Interactive.ast := Process_file.rewrite_ast_target arg !Interactive.env !Interactive.ast; interactive_state := initial_state !Interactive.ast Value.primops; + | ":prover_regstate" -> + let env, ast = prover_regstate (Some arg) !Interactive.ast !Interactive.env in + Interactive.env := env; + Interactive.ast := ast; + interactive_state := initial_state !Interactive.ast Value.primops; | ":compile" -> let out_name = match !opt_file_out with | None -> "out.sail" |