diff options
| author | Thomas Bauereiss | 2018-05-04 20:29:19 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-04 20:29:19 +0100 |
| commit | f469001209e0333dbdd8fe42c7232c92a6c1be6f (patch) | |
| tree | 0673f2b58eef0efc16da0219dde61328b1ef22b9 /src/parse_ast.ml | |
| parent | 05a4a75d328d3bd8469167f6f23dda918146117a (diff) | |
Add back purely sequential Lem generation
The datatype package of HOL4 does not support the prompt monad, so this patch
restores the option to generate a model that only uses the state monad. Also
add a Makefile target cheri_sequential.lem in the cheri/ directory.
Diffstat (limited to 'src/parse_ast.ml')
0 files changed, 0 insertions, 0 deletions