Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. suppress odd warning for context.exit();
  2. more explicit treatment of interrupt;
  3. tuned;
  4. more flexible default for max_threads;
  5. proper default for max_threads; proper warmup example;
  6. a proof of concept for generic conversions
Changeset 72203:733bab4c1be0 by wenzelm:
suppress odd warning for context.exit();
The file was modified src/HOL/Tools/Nitpick/kodkod.ML (diff)
The file was modified src/HOL/Tools/Nitpick/kodkod.scala (diff)
Changeset 72202:0840240dfb24 by wenzelm:
more explicit treatment of interrupt;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/HOL/Tools/Nitpick/kodkod.ML (diff)
Changeset 72201:46bc864ec7a8 by wenzelm:
tuned;
The file was modified src/HOL/Tools/Nitpick/kodkod.scala (diff)
Changeset 72200:edaed30360cc by wenzelm:
more flexible default for max_threads;
The file was modified src/HOL/Tools/Nitpick/kodkod.ML (diff)
The file was modified src/HOL/Tools/etc/options (diff)
Changeset 72199:8dc2e4d9deaa by wenzelm:
proper default for max_threads;<br>proper warmup example;
The file was modified src/HOL/Tools/Nitpick/kodkod.scala (diff)
Changeset 72198:7ffa26f05c72 by haftmann:
a proof of concept for generic conversions
The file was addedsrc/HOL/Word/Conversions.thy
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/ex/Bit_Lists.thy (diff)
The file was removedsrc/HOL/ex/Word_Conversions.thy