Diffusion afp-devel 20b8a26117af

Updated HyperHoareLogic entry: Additional rules
20b8a26117af
Actions

Tags

None

Subscribers

None

Description

Updated HyperHoareLogic entry: Additional rules

Details

Provenance

Thibault Dardinier <thibault.dardinier@inf.ethz.ch>

Authored on

Parents

rAFPf96cdc08e452: clarified check roots module;

Branches

Unknown

Tags

Unknown

Event Timeline

Thibault Dardinier <thibault.dardinier@inf.ethz.ch> committed rAFP20b8a26117af: Updated HyperHoareLogic entry: Additional rules.Fri, Apr 12, 3:45 PM

Fabian Huch <huch@in.tum.de> mentioned this in rAFPbd75044b84f8: fix broken metadata introduced by 20b8a26117af;.Mon, Apr 15, 10:04 AM

Changes (16)

Path

Size

metadata/

entries/

HyperHoareLogic.toml

HyperHoareLogic

Compositionality.thy

ExamplesCompositionality.thy

Expressivity.thy

PaperResults.thy

ProgramHyperproperties.thy

SyntacticAssertions.thy

document/

rAFP20b8a26117af

metadata/entries/HyperHoareLogic.toml

Loading...

thys/HyperHoareLogic/Compositionality.thy

Loading...

thys/HyperHoareLogic/ExamplesCompositionality.thy

Loading...

thys/HyperHoareLogic/Expressivity.thy

Loading...

thys/HyperHoareLogic/Language.thy

Loading...

thys/HyperHoareLogic/Logic.thy

Loading...

thys/HyperHoareLogic/Loops.thy

Loading...

thys/HyperHoareLogic/PaperResults.thy

Loading...

thys/HyperHoareLogic/ProgramHyperproperties.thy

Loading...

thys/HyperHoareLogic/ROOT

Loading...

thys/HyperHoareLogic/SyntacticAssertions.thy

Loading...

thys/HyperHoareLogic/TotalLogic.thy

Loading...

thys/HyperHoareLogic/document/root.bib

Loading...

thys/HyperHoareLogic/document/root.tex

Loading...