First Steps for Later Credits

CHANGELOG.md

_CoqProject

iris/base_logic/lib/fancy_updates.v

iris/base_logic/lib/invariants.v

iris/base_logic/lib/later_credits.v

iris/base_logic/lib/wsat.v

iris/bi/derived_laws.v

iris/program_logic/adequacy.v

iris/program_logic/ownp.v

iris/program_logic/total_adequacy.v

iris_heap_lang/adequacy.v

iris_heap_lang/total_adequacy.v

tests/heap_lang.v

tests/one_shot.v

tests/one_shot_once.v

tex/extended-logic.tex

tex/iris.sty

tex/program-logic.tex