diff options
| author | Jon French | 2019-05-13 16:01:08 +0100 |
|---|---|---|
| committer | Jon French | 2019-05-13 16:04:21 +0100 |
| commit | efe0975074c6733475cc0216e9a69e6498f39093 (patch) | |
| tree | 0f98b1f6067700e495bc1a2cdff987c6d73e2e4f /src/state.ml | |
| parent | 02fa50e64f79309f5a3da78737070dd9f8b3dce2 (diff) | |
Changes to toFromInterp backend to support aarch64_small
* Includes adding support for bitlist-Lem
* Adds new command-line option -Ofast_undefined
Diffstat (limited to 'src/state.ml')
0 files changed, 0 insertions, 0 deletions