• Robbert Krebbers's avatar
    Make thread_local a bit more consistent. · 622800da
    Robbert Krebbers authored
    Make names more consistent with the rest of the development, make
    definitions type classes opaque so that the proofmode does not unfold
    then, declare timeless, persistent and proper instances.
    622800da
Name
Last commit
Last update
algebra 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...
proofmode Loading commit data...
tests Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
CHANGELOG.md Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
ProofMode.md Loading commit data...
README.md Loading commit data...
_CoqProject Loading commit data...
naming.txt Loading commit data...