HomeIsabelle/Phabricator
Diffusion afp-devel f5b9195ac412

feat(SpecCheck) folder renaming, types for tests
f5b9195ac412
Actions

Description

feat(SpecCheck) folder renaming, types for tests

Details

Provenance
kappelmannAuthored on
Parents
rAFPe632b4a6d1d4: tuned
Branches
Unknown
Tags
Unknown

Changes (72)

PathSize
Dynamic/
dynamic/
Examples/
examples/
Generators/
generators/
Output_Styles/
output_styles/
Show/
show/
Shrink/
shrink/

rAFPf5b9195ac412

View Options

thys/SpecCheck/Dynamic/SpecCheck_Dynamic.thy

Loading...
View Options

thys/SpecCheck/Dynamic/dynamic_construct.ML

Loading...
View Options

thys/SpecCheck/Dynamic/speccheck_dynamic.ML

Loading...
View Options

thys/SpecCheck/Examples/SpecCheck_Examples.thy

Loading...
View Options

thys/SpecCheck/Generators/SpecCheck_Generators.thy

Loading...
View Options

thys/SpecCheck/Generators/gen.ML

Loading...
View Options

thys/SpecCheck/Generators/gen_base.ML

Loading...
View Options

thys/SpecCheck/Generators/gen_function.ML

Loading...
View Options

thys/SpecCheck/Generators/gen_int.ML

Loading...
View Options

thys/SpecCheck/Generators/gen_real.ML

Loading...
View Options

thys/SpecCheck/Generators/gen_term.ML

Loading...
View Options

thys/SpecCheck/Generators/gen_text.ML

Loading...
View Options

thys/SpecCheck/Generators/gen_types.ML

Loading...
View Options

thys/SpecCheck/Output_Styles/SpecCheck_Output_Style.thy

Loading...
View Options

thys/SpecCheck/Output_Styles/output_style.ML

Loading...
View Options

thys/SpecCheck/Output_Styles/output_style_custom.ML

Loading...
View Options

thys/SpecCheck/Output_Styles/output_style_perl.ML

Loading...
View Options

thys/SpecCheck/Output_Styles/output_style_types.ML

Loading...
View Options

thys/SpecCheck/README.md

Loading...
View Options

thys/SpecCheck/ROOT

Loading...
View Options

thys/SpecCheck/Show/SpecCheck_Show.thy

Loading...
View Options

thys/SpecCheck/Show/show.ML

Loading...
View Options

thys/SpecCheck/Show/show_base.ML

Loading...
View Options

thys/SpecCheck/Show/show_term.ML

Loading...
View Options

thys/SpecCheck/Show/show_types.ML

Loading...
View Options

thys/SpecCheck/Shrink/SpecCheck_Shrink.thy

Loading...
View Options

thys/SpecCheck/Shrink/shrink.ML

Loading...
View Options

thys/SpecCheck/Shrink/shrink_base.ML

Loading...
View Options

thys/SpecCheck/Shrink/shrink_types.ML

Loading...
View Options

thys/SpecCheck/SpecCheck.thy

Loading...
View Options

thys/SpecCheck/dynamic/SpecCheck_Dynamic.thy

Loading...
View Options

thys/SpecCheck/dynamic/dynamic_construct.ML

Loading...
View Options

thys/SpecCheck/dynamic/speccheck_dynamic.ML

Loading...
View Options

thys/SpecCheck/examples/SpecCheck_Examples.thy

Loading...
View Options

thys/SpecCheck/generators/SpecCheck_Generators.thy

Loading...
View Options

thys/SpecCheck/generators/gen.ML

Loading...
View Options

thys/SpecCheck/generators/gen_base.ML

Loading...
View Options

thys/SpecCheck/generators/gen_function.ML

Loading...
View Options

thys/SpecCheck/generators/gen_int.ML

Loading...
View Options

thys/SpecCheck/generators/gen_real.ML

Loading...
View Options

thys/SpecCheck/generators/gen_term.ML

Loading...
View Options

thys/SpecCheck/generators/gen_text.ML

Loading...
View Options

thys/SpecCheck/generators/gen_types.ML

Loading...
View Options

thys/SpecCheck/lecker.ML

Loading...
View Options

thys/SpecCheck/output_styles/SpecCheck_Output_Style.thy

Loading...
View Options

thys/SpecCheck/output_styles/output_style.ML

Loading...
View Options

thys/SpecCheck/output_styles/output_style_custom.ML

Loading...
View Options

thys/SpecCheck/output_styles/output_style_perl.ML

Loading...
View Options

thys/SpecCheck/output_styles/output_style_types.ML

Loading...
View Options

thys/SpecCheck/show/SpecCheck_Show.thy

Loading...
View Options

thys/SpecCheck/show/show.ML

Loading...
View Options

thys/SpecCheck/show/show_base.ML

Loading...
View Options

thys/SpecCheck/show/show_types.ML

Loading...
View Options

thys/SpecCheck/shrink/SpecCheck_Shrink.thy

Loading...
View Options

thys/SpecCheck/shrink/shrink.ML

Loading...
View Options

thys/SpecCheck/shrink/shrink_base.ML

Loading...
View Options

thys/SpecCheck/shrink/shrink_types.ML

Loading...
View Options

thys/SpecCheck/speccheck.ML

Loading...