Diffusion afp-devel 8c3387faaeed

Fixed CAVA-Impl to accomodate for generalized Gabow_GBG
8c3387faaeed
Actions

Tags

None

Subscribers

None

Description

Fixed CAVA-Impl to accomodate for generalized Gabow_GBG

Details

Provenance

Authored on

Parents

rAFP3049a0ad195d: merged

Branches

Unknown

Tags

Unknown

Event Timeline

Peter Lammich committed rAFP8c3387faaeed: Fixed CAVA-Impl to accomodate for generalized Gabow_GBG.Dec 4 2019, 6:34 PM

Changes (1)

Path

Size

thys/

CAVA_LTL_Modelchecker/

rAFP8c3387faaeed

thys/CAVA_LTL_Modelchecker/CAVA_Impl.thy

Loading...