diff options
| author | Kathy Gray | 2014-05-28 11:10:21 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-05-28 11:10:21 +0100 |
| commit | 1b8a1033ae5f1e5741896476b3cdf4561de978ca (patch) | |
| tree | 38ea70f1828c839952137eb320ea4859648f96c4 /src/lem_interp/interp_interface.lem | |
| parent | 8eb4f705f50abf09a6f754eafd4da99d94078354 (diff) | |
Support stepped interpreting, and use normalisation instead of eval_nexp in constraints
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
0 files changed, 0 insertions, 0 deletions