Diffusion Isabelle 39df30349778

more scalable generated files and code export, using Bytes.T;
39df30349778
Actions

Tags

None

Subscribers

None

Description

more scalable generated files and code export, using Bytes.T;

Details

Provenance

Authored on

Parents

rISABELLEfc8d64a578e4: more operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE39df30349778: more scalable generated files and code export, using Bytes.T;.Jun 23 2022, 9:50 PM

makarius mentioned this in rAFP09ceb8a134bc: adapted to Isabelle/39df30349778;.Jun 24 2022, 10:38 AM

Changes (8)

Path

Size

src/

HOL/

Library/

Tools/

Quickcheck/

narrowing_generators.ML

Pure/

General/

Thy/

Tools/

generated_files.ML

Tools/

Code/

code_printer.ML

code_runtime.ML

rISABELLE39df30349778

src/HOL/Library/code_test.ML

Loading...

src/HOL/Tools/Quickcheck/narrowing_generators.ML

Loading...

src/Pure/General/file.ML

Loading...

src/Pure/Thy/export.ML

Loading...

src/Pure/Tools/generated_files.ML

Loading...

src/Tools/Code/code_printer.ML

Loading...

src/Tools/Code/code_runtime.ML

Loading...

src/Tools/Code/code_target.ML

Loading...