diff options
| author | Thomas Bauereiss | 2017-08-24 20:32:17 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-08-24 20:32:17 +0100 |
| commit | a42684821d6c0487c248900a89e1f464737da771 (patch) | |
| tree | f03faa7491fef95e88f2c70975757f1ca289a11e /src/spec_analysis.ml | |
| parent | 8a8165d8689547c80e0725bedab945a471a3294b (diff) | |
Fix some bugs related to the CHERI spec
- Correctly pass exponentials to Z3
- Infer types of functional record updates
- Support "def Nat"
Diffstat (limited to 'src/spec_analysis.ml')
0 files changed, 0 insertions, 0 deletions