Diffusion afp-devel 40e16c534243

much faster proofs (cf. Isabelle/bad75618fb82);
40e16c534243
Actions

Tags

None

Subscribers

None

Description

much faster proofs (cf. Isabelle/bad75618fb82);

Details

Provenance

Authored on

Parents

rAFP7757456aafcf: Fixed failing proofs.

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP40e16c534243: much faster proofs (cf. Isabelle/bad75618fb82);.Jul 24 2020, 10:09 PM

Changes (9)

Path

Size

thys/

ConcurrentGC/

Proofs_basis.thy

StrongTricolour.thy

concrete/

rAFP40e16c534243

thys/ConcurrentGC/Handshakes.thy

Loading...

thys/ConcurrentGC/MarkObject.thy

Loading...

thys/ConcurrentGC/Model.thy

Loading...

thys/ConcurrentGC/Proofs.thy

Loading...

thys/ConcurrentGC/Proofs_basis.thy

Loading...

thys/ConcurrentGC/StrongTricolour.thy

Loading...

thys/ConcurrentGC/TSO.thy

Loading...

thys/ConcurrentGC/Tactics.thy

Loading...

thys/ConcurrentGC/concrete/Concrete.thy

Loading...