Diffusion afp-devel 11e9abcf7366

2 new devel entries: DOM_Components and Shadow_DOM
11e9abcf7366
Actions

Tags

None

Subscribers

None

Description

2 new devel entries: DOM_Components and Shadow_DOM

Details

Provenance

Authored on

Parents

rAFP707413df05fd: merge from afp-2020

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP11e9abcf7366: 2 new devel entries: DOM_Components and Shadow_DOM.Nov 27 2020, 8:58 AM

Changes (60)

Path

Size

metadata/

Core_DOM_Components.thy

Shadow_DOM_Components.thy

fancy-tabs.html

fancytabs-normal.jpg

Shadow_DOM_Tests.thy

ShadowRootClass.thy

ShadowRootMonad.thy

Document-adoptNode.html

Document-getElementById.html

Node-insertBefore.html

Node-removeChild.html

Shadow_DOM_BaseTest.thy

Shadow_DOM_Document_adoptNode.thy

Shadow_DOM_Document_getElementById.thy

Shadow_DOM_Node_insertBefore.thy

Shadow_DOM_Node_removeChild.thy

my_get_owner_document.html

my_get_owner_document.thy

slots-fallback.html

slots_fallback.thy

Automated_Stateful_Protocol_Verification.html

Core_SC_DOM.html

DOM_Components.html

Extended_Finite_State_Machine_Inference.html

Extended_Finite_State_Machines.html

Featherweight_OCL.html

SC_DOM_Components.html

Shadow_DOM.html

Shadow_SC_DOM.html

Stateful_Protocol_Composition_and_Typing.html

UPF_Firewall.html

statistics.html

rAFP11e9abcf7366

metadata/metadata

Loading...

thys/DOM_Components/Core_DOM_Components.thy

Loading...

thys/DOM_Components/ROOT

Loading...

thys/DOM_Components/Shadow_DOM_Components.thy

Loading...

thys/DOM_Components/counterexample/fancy-tabs.html

Loading...

thys/DOM_Components/counterexample/fancy_tabs.thy

Loading...

thys/DOM_Components/document/fancytabs-normal.jpg

Loading...

thys/DOM_Components/document/root.bib

Loading...

thys/DOM_Components/document/root.tex

Loading...

thys/ROOTS

Loading...

thys/Shadow_DOM/ROOT

Loading...

thys/Shadow_DOM/Shadow_DOM.thy

Loading...

thys/Shadow_DOM/Shadow_DOM_Tests.thy

Loading...

thys/Shadow_DOM/classes/ShadowRootClass.thy

Loading...

thys/Shadow_DOM/document/root.bib

Loading...

thys/Shadow_DOM/document/root.tex

Loading...

thys/Shadow_DOM/monads/ShadowRootMonad.thy

Loading...

thys/Shadow_DOM/tests/Document-adoptNode.html

Loading...

thys/Shadow_DOM/tests/Document-getElementById.html

Loading...

thys/Shadow_DOM/tests/Node-insertBefore.html

Loading...

thys/Shadow_DOM/tests/Node-removeChild.html

Loading...

thys/Shadow_DOM/tests/Shadow_DOM_BaseTest.thy

Loading...

thys/Shadow_DOM/tests/Shadow_DOM_Document_adoptNode.thy

Loading...

thys/Shadow_DOM/tests/Shadow_DOM_Document_getElementById.thy

Loading...

thys/Shadow_DOM/tests/Shadow_DOM_Node_insertBefore.thy

Loading...

thys/Shadow_DOM/tests/Shadow_DOM_Node_removeChild.thy

Loading...

thys/Shadow_DOM/tests/my_get_owner_document.html

Loading...

thys/Shadow_DOM/tests/my_get_owner_document.thy

Loading...

thys/Shadow_DOM/tests/slots-fallback.html

Loading...

thys/Shadow_DOM/tests/slots.html

Loading...

thys/Shadow_DOM/tests/slots.thy

Loading...

thys/Shadow_DOM/tests/slots_fallback.thy

Loading...

web/entries/Automated_Stateful_Protocol_Verification.html

Loading...

web/entries/Core_DOM.html

Loading...

web/entries/Core_SC_DOM.html

Loading...

web/entries/DOM_Components.html

Loading...

web/entries/Extended_Finite_State_Machine_Inference.html

Loading...

web/entries/Extended_Finite_State_Machines.html

Loading...

web/entries/Featherweight_OCL.html

Loading...

web/entries/SC_DOM_Components.html

Loading...

web/entries/Shadow_DOM.html

Loading...

web/entries/Shadow_SC_DOM.html

Loading...

web/entries/Stateful_Protocol_Composition_and_Typing.html

Loading...

web/entries/UPF.html

Loading...

web/entries/UPF_Firewall.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...