Revision b06f899cc120e08d2b3ecce79abc2c014fb6080c authored by Santiago Zanella-Beguelin on 29 November 2019, 13:25:44 UTC, committed by GitHub on 29 November 2019, 13:25:44 UTC
Only add libintvector.h include when necessary for mozilla dist
Vale.Arch.Heap.fst.hints
[
"�|䷮$\"4��\u0004{c�+\u001d",
[
[
"Vale.Arch.Heap.heap_upd",
1,
1,
0,
[ "@query", "equation_Vale.Arch.Heap.heap_get" ],
0,
"070f7875cdf33810b5e5f5d5de274fb9"
],
[
"Vale.Arch.Heap.heap_of_interop",
1,
1,
0,
[
"@query", "kinding_Vale.Interop.Heap_s.interop_heap@tok",
"lemma_FStar.Ghost.reveal_hide"
],
0,
"7c8c6ca574b5d4a9f76c6e7ac01a7176"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...