• Ralf Jung's avatar
    let find_pat treat "Typeclass Opaque" definitions opaquely · b55c40d6
    Ralf Jung authored
    In principle, we could now un-seal heap_mapsto, saved_prop_own etc., and mark them as "Typeclass Opaque", and ecancel would still work just as fast as it does now.
    Thanks to Matthieu for pointing me to this unify feature.
    b55c40d6
Name
Last commit
Last update
algebra Loading commit data...
barrier Loading commit data...
benchmark Loading commit data...
docs Loading commit data...
heap_lang Loading commit data...
prelude Loading commit data...
program_logic Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
README Loading commit data...
_CoqProject Loading commit data...