diff options
| author | Christopher Pulte | 2015-10-04 19:51:44 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2015-10-04 19:51:44 +0100 |
| commit | 3d669be5f2429e02418b41ada44761baa50b71e1 (patch) | |
| tree | c36f85d3a6e2762554b2a3bb541567d6b020a750 /src/gen_lib/sail_values.ml | |
| parent | 5c58eaecfe0a5199d8ffb4c8edbc5b1f8cead1f7 (diff) | |
add find_updated_vars to support for-loops for lem or prover backend, add normalise_exp exp that should transform expressions into a form where they can be embedded into monadic lem or prover definitions. Both untested
Diffstat (limited to 'src/gen_lib/sail_values.ml')
0 files changed, 0 insertions, 0 deletions