diff options
| author | Jon French | 2019-03-14 13:56:37 +0000 |
|---|---|---|
| committer | Jon French | 2019-03-14 13:56:37 +0000 |
| commit | 0d88c148a2a068a95b5fc3d5c25b599faf3e75a0 (patch) | |
| tree | cb507bee25582f503ae4047ce32558352aeb8b27 /src/rewriter.mli | |
| parent | 4f14ccb421443dbc10b88e190526dda754f324aa (diff) | |
| parent | ec8cad1daa76fb265014d3d313173905925c9922 (diff) | |
Merge branch 'sail2' into rmem_interpreter
Diffstat (limited to 'src/rewriter.mli')
| -rw-r--r-- | src/rewriter.mli | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/rewriter.mli b/src/rewriter.mli index ec4e381c..ab29d1d9 100644 --- a/src/rewriter.mli +++ b/src/rewriter.mli @@ -48,6 +48,8 @@ (* SUCH DAMAGE. *) (**************************************************************************) +(** General rewriting framework for Sail->Sail rewrites *) + module Big_int = Nat_big_num open Ast open Type_check @@ -65,14 +67,14 @@ val rewrite_exp : tannot rewriters -> tannot exp -> tannot exp val rewriters_base : tannot rewriters -(* The identity re-writer *) +(** The identity re-writer *) val rewrite_defs : tannot defs -> tannot defs val rewrite_defs_base : tannot rewriters -> tannot defs -> tannot defs val rewrite_defs_base_parallel : int -> tannot rewriters -> tannot defs -> tannot defs - -(* Same as rewrite_defs base but display a progress bar when verbosity >= 1 *) + +(** Same as rewrite_defs_base but display a progress bar when verbosity >= 1 *) val rewrite_defs_base_progress : string -> tannot rewriters -> tannot defs -> tannot defs val rewrite_lexp : tannot rewriters -> tannot lexp -> tannot lexp |