Diffusion afp-devel 64cb55b26fa7

New entry: Regressioon_Test_Selection
64cb55b26fa7
Actions

Tags

None

Subscribers

None

Description

New entry: Regressioon_Test_Selection

Details

Provenance

Authored on

Parents

rAFP073e8a114c2e: metadata for Metalogic_ProofChecker

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP64cb55b26fa7: New entry: Regressioon_Test_Selection.May 3 2021, 7:26 PM

Changes (31)

Path

Size

metadata/

Regression_Test_Selection

CollectionBasedRTS.thy

CollectionSemantics.thy

JVMCollectionBasedRTS.thy

JVMCollectionSemantics.thy

JVMSemantics.thy

ClassesAbove.thy

ClassesChanged.thy

JVMExecStepInductive.thy

Regression_Test_Selection.html

statistics.html

rAFP64cb55b26fa7

metadata/metadata

Loading...

thys/ROOTS

Loading...

thys/Regression_Test_Selection/Common/CollectionBasedRTS.thy

Loading...

thys/Regression_Test_Selection/Common/CollectionSemantics.thy

Loading...

thys/Regression_Test_Selection/Common/RTS_safe.thy

Loading...

thys/Regression_Test_Selection/Common/Semantics.thy

Loading...

thys/Regression_Test_Selection/JVM_RTS/JVMCollectionBasedRTS.thy

Loading...

thys/Regression_Test_Selection/JVM_RTS/JVMCollectionSemantics.thy

Loading...

thys/Regression_Test_Selection/JVM_RTS/JVMSemantics.thy

Loading...

thys/Regression_Test_Selection/JinjaSuppl/ClassesAbove.thy

Loading...

thys/Regression_Test_Selection/JinjaSuppl/ClassesChanged.thy

Loading...

thys/Regression_Test_Selection/JinjaSuppl/JVMExecStepInductive.thy

Loading...

thys/Regression_Test_Selection/JinjaSuppl/Subcls.thy

Loading...

thys/Regression_Test_Selection/ROOT

Loading...

thys/Regression_Test_Selection/RTS.thy

Loading...

thys/Regression_Test_Selection/document/root.bib

Loading...

thys/Regression_Test_Selection/document/root.tex

Loading...

web/entries/JinjaDCI.html

Loading...

web/entries/Regression_Test_Selection.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...