Diffusion Isabelle afa6117bace4

more informative trace of context allocations;
afa6117bace4
Actions

Tags

None

Subscribers

None

Description

more informative trace of context allocations;

Details

Provenance

Authored on

Parents

rISABELLEefc26a232a74: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEafa6117bace4: more informative trace of context allocations;.May 8 2023, 9:50 PM

makarius mentioned this in rISABELLE19962431aea8: maintain dynamic position where values are created (again, amending….May 9 2023, 10:43 PM

Changes (2)

Path

Size

src/

Pure/

Concurrent/

unsynchronized.ML

rISABELLEafa6117bace4

src/Pure/Concurrent/unsynchronized.ML

Loading...

src/Pure/context.ML

Loading...