Diffusion afp-devel 6444261143dc

update Simpl entry; change license to BSD
6444261143dc
Actions

Tags

None

Subscribers

None

Description

update Simpl entry; change license to BSD

(submission by Norbert Schirmer)

Details

Provenance

Authored on

Parents

rAFPdb14fc11b7a6: sitegen for IMP_Noninterference

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP6444261143dc: update Simpl entry; change license to BSD.Feb 18 2024, 12:45 AM

Changes (59)

Path

Size

metadata/

entries/

AlternativeSmallStep.thy

DPC0Expressions.thy

DPC0Library.thy

HoarePartial.thy

HoarePartialDef.thy

HoarePartialProps.thy

HoareTotalDef.thy

HoareTotalProps.thy

Termination.thy

ex/

ProcParExSP.thy

generalise_state.ML

hoare_syntax.ML

web/

entries/

Combinatorics_Words.html

Efficient_Weighted_Path_Order.html

Frequency_Moments.html

HoareForDivergence.html

HyperHoareLogic.html

Hypergraph_Colourings.html

List_Update.html

OmegaCatoidsQuantales.html

Polygonal_Number_Theorem.html

Prim_Dijkstra_Simple.html

Propositional_Proof_Systems.html

Quantales_Converse.html

S_Finite_Measure_Monad.html

Standard_Borel_Spaces.html

statistics/

rAFP6444261143dc

metadata/entries/Simpl.toml

Loading...

thys/Simpl/AlternativeSmallStep.thy

Loading...

thys/Simpl/COPYRIGHT

Loading...

thys/Simpl/DPC0Expressions.thy

Loading...

thys/Simpl/DPC0Library.thy

Loading...

thys/Simpl/Generalise.thy

Loading...

thys/Simpl/HeapList.thy

Loading...

thys/Simpl/Hoare.thy

Loading...

thys/Simpl/HoarePartial.thy

Loading...

thys/Simpl/HoarePartialDef.thy

Loading...

thys/Simpl/HoarePartialProps.thy

Loading...

thys/Simpl/HoareTotal.thy

Loading...

thys/Simpl/HoareTotalDef.thy

Loading...

thys/Simpl/HoareTotalProps.thy

Loading...

thys/Simpl/Language.thy

Loading...

thys/Simpl/Semantic.thy

Loading...

thys/Simpl/Simpl.thy

Loading...

thys/Simpl/Simpl_Heap.thy

Loading...

thys/Simpl/SmallStep.thy

Loading...

thys/Simpl/StateSpace.thy

Loading...

thys/Simpl/SyntaxTest.thy

Loading...

thys/Simpl/Termination.thy

Loading...

thys/Simpl/UserGuide.thy

Loading...

thys/Simpl/Vcg.thy

Loading...

thys/Simpl/XVcg.thy

Loading...

thys/Simpl/ex/Closure.thy

Loading...

thys/Simpl/ex/ClosureEx.thy

Loading...

thys/Simpl/ex/Compose.thy

Loading...

thys/Simpl/ex/ComposeEx.thy

Loading...

thys/Simpl/ex/ProcParEx.thy

Loading...

thys/Simpl/ex/ProcParExSP.thy

Loading...

thys/Simpl/ex/Quicksort.thy

Loading...

thys/Simpl/ex/VcgEx.thy

Loading...

thys/Simpl/ex/VcgExSP.thy

Loading...

thys/Simpl/ex/VcgExTotal.thy

Loading...

thys/Simpl/ex/XVcgEx.thy

Loading...

thys/Simpl/generalise_state.ML

Loading...

thys/Simpl/hoare.ML

Loading...

thys/Simpl/hoare_syntax.ML

Loading...

web/entries/Catoids.html

Loading...

web/entries/Combinatorics_Words.html

Loading...

web/entries/Efficient_Weighted_Path_Order.html

Loading...

web/entries/Frequency_Moments.html

Loading...

web/entries/HoareForDivergence.html

Loading...

web/entries/HyperHoareLogic.html

Loading...

web/entries/Hypergraph_Colourings.html

Loading...

web/entries/List_Update.html

Loading...

web/entries/OmegaCatoidsQuantales.html

Loading...

web/entries/Polygonal_Number_Theorem.html

Loading...

web/entries/Prim_Dijkstra_Simple.html

Loading...

web/entries/Propositional_Proof_Systems.html

Loading...

web/entries/Quantales_Converse.html

Loading...

web/entries/S_Finite_Measure_Monad.html

Loading...

web/entries/Simpl.html

Loading...

web/entries/Standard_Borel_Spaces.html

Loading...

web/entries/Transport.html

Loading...

web/statistics/index.html

Loading...