diff options
| author | Christopher Pulte | 2016-10-13 20:29:01 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2016-10-13 20:29:01 +0100 |
| commit | 07646a2dc731beb58d8ae79b5d08b5c04e698bfb (patch) | |
| tree | 3a46a36855772ffd16d0055cff1ea22195eb0953 /src/spec_analysis.mli | |
| parent | f89690f1d9780c58d8b645d95bdfb46e6b643870 (diff) | |
make sail-to-lem rewriting passes use dependency analysis, make dependency analysis include type information, small pp fix
Diffstat (limited to 'src/spec_analysis.mli')
| -rw-r--r-- | src/spec_analysis.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/spec_analysis.mli b/src/spec_analysis.mli index 6aeb711b..068b3778 100644 --- a/src/spec_analysis.mli +++ b/src/spec_analysis.mli @@ -30,3 +30,5 @@ val group_defs : bool -> tannot defs -> ((Nameset.t * Nameset.t) * (tannot def)) (*reodering definitions, initial functions *) (* produce a new ordering for defs, limiting to those listed in the list, which respects dependencies *) val restrict_defs : tannot defs -> string list -> tannot defs + +val top_sort_defs : tannot defs -> tannot defs |