LogrelCC.prelude

LogrelCC.program_logic.language

LogrelCC.program_logic.weakestpre

LogrelCC.program_logic.lifting

LogrelCC.program_logic.adequacy

LogrelCC.program_logic.CC_ectx_language

LogrelCC.program_logic.CC_ectx_lifting

LogrelCC.program_logic.CC_ectxi_language

LogrelCC.program_logic.cl_weakestpre

LogrelCC.lang_base

LogrelCC.types

LogrelCC.lang

LogrelCC.rules_unary

LogrelCC.cl_rules

LogrelCC.typing

LogrelCC.logrel_unary

LogrelCC.fundamental_unary

LogrelCC.soundness_unary

LogrelCC.rules_binary

LogrelCC.logrel_binary

LogrelCC.fundamental_binary

LogrelCC.context_refinement

LogrelCC.soundness_binary

LogrelCC.cooperative.program_logic.coop_language

LogrelCC.cooperative.program_logic.coop_ectx_language

LogrelCC.cooperative.program_logic.coop_ectxi_language

LogrelCC.cooperative.cooplang.lang

LogrelCC.cooperative.cooplang.rules_binary

LogrelCC.cooperative.cooplang.typing

LogrelCC.F_mu_ref_cc.lang

LogrelCC.F_mu_ref_cc.rules_unary

LogrelCC.F_mu_ref_cc.cl_rules

LogrelCC.F_mu_ref_cc.queue

LogrelCC.F_mu_ref_cc.typing

LogrelCC.coop_logrel.logrel

LogrelCC.coop_logrel.light_weight_threads

LogrelCC.coop_logrel.translation

LogrelCC.coop_logrel.compilation

LogrelCC.coop_logrel.logical_correctness

LogrelCC.coop_logrel.correctness

LogrelCC.examples.stack

LogrelCC.examples.cl_example

LogrelCC.examples.list_rev

LogrelCC.examples.refinement.lock

LogrelCC.examples.refinement.counter

LogrelCC.examples.refinement.stack.CG_stack

LogrelCC.examples.refinement.stack.FG_stack

LogrelCC.examples.refinement.stack.stack_rules

LogrelCC.examples.refinement.stack.refinement

LogrelCC.examples.refinement.oneshotCC.oneshotCC_progs

LogrelCC.examples.refinement.oneshotCC.oneshotCC_LR1

LogrelCC.examples.refinement.oneshotCC.oneshotCC_rules

LogrelCC.examples.refinement.oneshotCC.oneshotCC_LR2_helper

LogrelCC.examples.refinement.oneshotCC.oneshotCC_LR2

LogrelCC.examples.refinement.lock_unary_spec

LogrelCC.examples.refinement.list_basics

LogrelCC.examples.refinement.list_assoc

LogrelCC.examples.refinement.list_assoc_binary_spec

LogrelCC.examples.refinement.server.server_nat

LogrelCC.examples.refinement.server.server_cont

LogrelCC.examples.refinement.server.refinement_1

LogrelCC.examples.refinement.server.refinement_2