diff options
| author | Alasdair Armstrong | 2019-06-04 16:37:48 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-06-04 16:37:48 +0100 |
| commit | 6d3a6edcd616621eb40420cfb16a34762a32c5c1 (patch) | |
| tree | d3a753af05b4a3d40a5ce0c6eb7711770105caba /src/libsail.mllib | |
| parent | e24587857d1e61b428d784c699a683984c00ce36 (diff) | |
| parent | 239e13dc149af80f979ea95a3c9b42220481a0a1 (diff) | |
Merge branch 'sail2' into separate_bv
Diffstat (limited to 'src/libsail.mllib')
| -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 |