Diffusion afp-devel b48d456f9336

merge
b48d456f9336
Actions

Description

merge

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFP70ac843c069d: increased timeout
rAFPbf1f2a489b41: collected combinatorial material

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPb48d456f9336: merge.Apr 11 2021, 10:26 AM

Merged Changes

70ac843c069d increased timeout
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
3b6c0a05c5cf Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
158c475e011a Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
fd1d5b3fdd7c close branch
Author
kleing
Browse Repository
No Builds
No Audits
daa87ea0470c close branch
Author
kleing
Browse Repository
No Builds
No Audits
f7321f5a8909 close branch
Author
kleing
Browse Repository
No Builds
No Audits
a040f98f10ef close branch
Author
kleing
Browse Repository
No Builds
No Audits
ff876ac75e44 close branch
Author
kleing
Browse Repository
No Builds
No Audits
3e4722b88fc2 Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
a1007d72329d Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
918ccd4df9fe Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
3c89665fe122 Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
b713f1aa07d6 Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
c92e3097a0b8 Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
034574b588e5 Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
b97c4662e51f Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
8bb4e3809bd9 Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
ed4bb4b543ce Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
d75706d3548c Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
6d1a140d53a0 Merge from default, esp JinjaDCI
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
5090fd532062 Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
944776fde110 Updating Jinja from apply-style to Isar-style
Author
Susannah Mansky <susannahej@gmail.com>
Browse Repository
No Builds
No Audits
3b5ff4b8d37d Closing branch "devel"
Author
kleing
Browse Repository
No Builds
No Audits
a0d561998f20 closed branch
Author
kleing
Browse Repository
No Builds
No Audits
8e995d947fb0 closed pull-request branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
249c2b58d173 closed merged branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
ad14484777fc merged
Author
gerwin.klein@nicta.com.au
Browse Repository
No Builds
No Audits
e3e858bfc9eb merged
Author
kleing
Browse Repository
No Builds
No Audits
4bea345493dd Closed branch ltl
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits
53421953ad96 WIP/LTL Entry
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits

Changes (14)

Path

Size

thys

Extended_Finite_State_Machines/

EFSM_LTL.thy

VName.thy

Graph_Theory

	Auxiliary.thy
	Funpow.thy

Funpow.thy

Graph_Theory.thy

Subdivision.thy

Gromov_Hyperbolicity/

Isometries_Classification.thy

Planarity_Certificates/

Planarity/

Executable_Permutations.thy

rAFPb48d456f9336

View Options

thys/Extended_Finite_State_Machines/EFSM_LTL.thy

View Options

thys/Extended_Finite_State_Machines/VName.thy

View Options

thys/Graph_Theory/Auxiliary.thy

View Options

thys/Graph_Theory/Funpow.thy

View Options

thys/Graph_Theory/Graph_Theory.thy

View Options

thys/Graph_Theory/Subdivision.thy

View Options

thys/Gromov_Hyperbolicity/Isometries_Classification.thy

View Options

thys/Planarity_Certificates/Planarity/Executable_Permutations.thy

View Options

thys/Planarity_Certificates/Planarity/Graph_Genus.thy

View Options

thys/Planarity_Certificates/Planarity/Permutations_2.thy

View Options

thys/Planarity_Certificates/Planarity/Planar_Complete.thy

View Options

thys/Planarity_Certificates/Planarity/Planar_Subgraph.thy

mergeb48d456f9336Actions

Description

Details

Event Timeline

Merged Changes

Changes (14)

rAFPb48d456f9336

thys/Extended_Finite_State_Machines/EFSM_LTL.thy

thys/Extended_Finite_State_Machines/VName.thy

thys/Graph_Theory/Auxiliary.thy

thys/Graph_Theory/Funpow.thy

thys/Graph_Theory/Graph_Theory.thy

thys/Graph_Theory/Subdivision.thy

thys/Gromov_Hyperbolicity/Isometries_Classification.thy

thys/Planarity_Certificates/Planarity/Executable_Permutations.thy

thys/Planarity_Certificates/Planarity/Graph_Genus.thy

thys/Planarity_Certificates/Planarity/Permutations_2.thy

thys/Planarity_Certificates/Planarity/Planar_Complete.thy

thys/Planarity_Certificates/Planarity/Planar_Subgraph.thy

merge
b48d456f9336
Actions