Diffusion Isabelle a51736641843

initial Kodkod.warmup: preloading and basic integrity test;
a51736641843
Actions

Tags

None

Subscribers

None

Description

initial Kodkod.warmup: preloading and basic integrity test;

Details

Provenance

Authored on

Parents

rISABELLEe35997591c5b: strict init of protocol handlers;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa51736641843: initial Kodkod.warmup: preloading and basic integrity test;.Aug 27 2020, 5:15 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

Nitpick/

etc/

rISABELLEa51736641843

src/HOL/Tools/Nitpick/kodkod.scala

Loading...

src/HOL/Tools/etc/settings

Loading...