History of src/core/Encoding.thy on 7cb596d931d773db10cc8df8c329cd8b881a8826

edf26390ae feat(allocator): retain intermediates in registers and spill nested values

~james · 13 days ago