diff options
| author | Alasdair | 2018-07-05 21:34:23 +0100 |
|---|---|---|
| committer | Alasdair | 2018-07-05 21:36:23 +0100 |
| commit | 79c9c884536cb522ac54c51aad70ab810ea4a420 (patch) | |
| tree | 23769072f45d4623d6a55650d8ac7d99da9747b3 /lib/hol/sail_valuesAuxiliaryScript.sml | |
| parent | b909248ac4599401312d121fc434f0520770454b (diff) | |
Fix equality comparisons for variants in C
Makes sure equality comparisons for variants are compiled correctly. Needed for CHERI and mips, which have structs containing
variants. Also make sure that struct equality works for structs containing other structs.
Diffstat (limited to 'lib/hol/sail_valuesAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions