add locality annotation to all Typeclasses Opaque/Transparent

added 1 commit

• 8a75c06c - changelog

Compare with previous version

resolved all threads

added 13 commits

• 8a75c06c...2c0b40a4 - 11 commits from branch master
• 21bf6e27 - add locality annotation to all Typeclasses Opaque/Transparent
• c7245390 - changelog

Compare with previous version

enabled an automatic merge when the pipeline for c7245390 succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• ea2cc04a - make bi relations work again, and changelog

Compare with previous version

I had to move the opaqueness to the end since many of the proofs in that file rely on unfolding the definitions (at least for bi_nsteps).

added 2 commits

• 6e90c60a - add locality annotation to all Typeclasses Opaque/Transparent
• d27aa3a0 - make bi relations work again, and changelog

Compare with previous version

added 2 commits

• 20e5effc - add locality annotation to all Typeclasses Opaque/Transparent
• cf777296 - make bi relations work again, and changelog

Compare with previous version

resolved all threads

enabled an automatic merge when the pipeline for cf777296 succeeds

merged

mentioned in commit 2b3475d7