HomeIsabelle/Phabricator
Diffusion afp-devel 77790ea69409

avoid generated code in versioning -- ONLY PARTIALLY TESTED DUE TO NON-SELF…
77790ea69409
Actions

Description

avoid generated code in versioning -- ONLY PARTIALLY TESTED DUE TO NON-SELF-CONTAINED BUILD TOOL

Details

Provenance
florian.haftmannAuthored on
Parents
rAFPaf0298e0b819: moved some lemmas from AFP to distribution
Branches
Unknown
Tags
Unknown

Changes (11)

PathSize

rAFP77790ea69409

View Options

.hgignore

Loading...
View Options

thys/Verified_SAT_Based_AI_Planning/Solve_SASP.thy

Loading...
View Options

thys/Verified_SAT_Based_AI_Planning/code/build.sh

Loading...
View Options

thys/Verified_SAT_Based_AI_Planning/code/decode_model.mlb

Loading...
View Options

thys/Verified_SAT_Based_AI_Planning/code/encode_problem.mlb

Loading...
View Options

thys/Verified_SAT_Based_AI_Planning/code/generated/SASP_to_DIMACS.sml

Loading...
View Options

thys/Verified_SAT_Based_AI_Planning/code/generated/decode_DIMACS_model.sml

Loading...