Diffusion Isabelle b761c91c2447

performance tuning: prefer functor Set() over Table();
b761c91c2447
Actions

Tags

None

Subscribers

None

Description

performance tuning: prefer functor Set() over Table();

Details

Provenance

Authored on

Parents

rISABELLE8faf28a80a7f: efficient representation of sets: more compact than Table.set;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb761c91c2447: performance tuning: prefer functor Set() over Table();.Mar 27 2023, 9:48 PM

Changes (16)

Path

Size

src/

HOL/

Tools/

Lifting/

lifting_info.ML

Mirabelle/

Predicate_Compile/

predicate_compile_data.ML

Pure/

Concurrent/

General/

change_table.ML

Isar/

proof_context.ML

PIDE/

Syntax/

rISABELLEb761c91c2447

src/HOL/Tools/Lifting/lifting_info.ML

Loading...

src/HOL/Tools/Mirabelle/mirabelle.ML

Loading...

src/HOL/Tools/Predicate_Compile/predicate_compile_data.ML

Loading...

src/Pure/Concurrent/task_queue.ML

Loading...

src/Pure/General/change_table.ML

Loading...

src/Pure/General/graph.ML

Loading...

src/Pure/General/symbol.ML

Loading...

src/Pure/Isar/experiment.ML

Loading...

src/Pure/Isar/keyword.ML

Loading...

src/Pure/Isar/proof_context.ML

Loading...

src/Pure/PIDE/document.ML

Loading...

src/Pure/PIDE/resources.ML

Loading...

src/Pure/Syntax/parser.ML

Loading...

src/Pure/context.ML

Loading...

src/Pure/more_thm.ML

Loading...

src/Pure/term_ord.ML

Loading...