diff options
| author | Alasdair Armstrong | 2019-05-31 17:32:57 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-31 17:32:57 +0100 |
| commit | f204a42004daca949dc35bbbb4e2a22b2a1c7b32 (patch) | |
| tree | 4615a5f3f7109c0b7e38f3b74b1eb2418edcddf9 | |
| parent | 76566b02aadadaf4741cb23cce7fa9bb573b6f26 (diff) | |
Add SMT related things to libsail file
| -rw-r--r-- | src/libsail.mllib | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/libsail.mllib b/src/libsail.mllib index b9d91834..fb3d1264 100644 --- a/src/libsail.mllib +++ b/src/libsail.mllib @@ -5,6 +5,8 @@ Bitfield C_backend Cgen_backend Constant_fold +Constant_propagation +Constant_propagation_mutrec Constraint Elf_loader Error_format @@ -17,6 +19,7 @@ Jib Jib_compile Jib_optimize Jib_ssa +Jib_smt Jib_util Latex Lexer @@ -27,6 +30,7 @@ Ocaml_backend Optimize Parse_ast Parser +Parser_combinators Pattern_completeness PPrint PPrintCombinators @@ -40,6 +44,7 @@ Pretty_print_lem Pretty_print_sail Process_file Profile +Property Reporting Rewriter Rewrites |