diff options
| author | Guillaume Melquiond | 2021-03-13 17:57:55 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-03-13 23:02:59 +0100 |
| commit | cfcbc967a11fc534e2d9df8e2ca47a5ff305b0b6 (patch) | |
| tree | ce8f1e77f2787c9e7fbe1b0aa89be9f7d3ff7ed0 /_CoqProject | |
| parent | 50654a3c660b9e39f7e9d2426b0b53afc48138c5 (diff) | |
Set the lsb of return addresses on the bytecode interpreter stack.
This makes it possible to skip the check when scanning the stack for the
garbage collector.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions