Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to scala-2.12.12;
  2. updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;
  3. NEWS;
  4. test HOL-Nitpick_Examples with Isabelle/Scala instead of external process: much faster;
  5. updated to kodkodi-1.5.6: more robust treatment of interrupt;
  6. removed pointless version checks: Isabelle component integration does the job already;
  7. more robust treatment of execution with interrupts; tuned comments;
Changeset 72210:b7d6b9e71f88 by wenzelm:
updated to scala-2.12.12;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72209:a1e9ae14bb68 by wenzelm:
updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 72208:5c057abc1b78 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 72207:b2f6fdff21fa by wenzelm:
test HOL-Nitpick_Examples with Isabelle/Scala instead of external process: much faster;
The file was modified src/HOL/ROOT (diff)
Changeset 72206:8ee5743a8b36 by wenzelm:
updated to kodkodi-1.5.6: more robust treatment of interrupt;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72205:bc71db05abe3 by wenzelm:
removed pointless version checks: Isabelle component integration does the job already;
The file was modified src/HOL/Nitpick_Examples/minipick.ML (diff)
The file was modified src/HOL/Tools/Nitpick/kodkod.ML (diff)
The file was modified src/HOL/Tools/Nitpick/nitpick.ML (diff)
Changeset 72204:cb746b19e1d7 by wenzelm:
more robust treatment of execution with interrupts;<br>tuned comments;
The file was modified src/HOL/Tools/Nitpick/kodkod.scala (diff)