diff options
| author | Brian Campbell | 2019-04-16 14:38:35 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-16 17:47:36 +0100 |
| commit | 70c1ab20b8b5539f4efedff84bea68f7683d1aec (patch) | |
| tree | 4aef88e8c3abbd159ed5ae7fd34d50c1896c5c4e /src/constraint.mli | |
| parent | 23f39ad36659e7d46a3c1799e217bab22eca7869 (diff) | |
Coq: don't record assertions in the context if Sail doesn't
This can massively reduce Coq's typechecking time on assertion heavy code,
such as the builtins tests.
Diffstat (limited to 'src/constraint.mli')
0 files changed, 0 insertions, 0 deletions