Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to jdk-17.0.2+8;
  2. used elapsed time instead of cpu time in Mirabelle because the latter contain cpu time of all threads
  3. NEWS
  4. added Mirabelle option "-y" for dry run
  5. tuned garbage optimization
  6. added cpu time (in ms) to Mirabelle run_action output
Changeset 74992:79635df97a90 by wenzelm:
updated to jdk-17.0.2+8;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 74991:d699eb2d26ad by desharna:
used elapsed time instead of cpu time in Mirabelle because the latter contain cpu time of all threads
The file was modified src/HOL/Tools/Mirabelle/mirabelle.ML (diff)
Changeset 74990:7c123c76a8c9 by desharna:
NEWS
The file was modified NEWS (diff)
Changeset 74989:003f378b78a5 by desharna:
added Mirabelle option "-y" for dry run
The file was modified src/HOL/Tools/Mirabelle/mirabelle.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala (diff)
The file was modified src/HOL/Tools/etc/options (diff)
Changeset 74988:9fcf09cf7b36 by desharna:
tuned garbage optimization
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
Changeset 74987:877f0c44d77e by desharna:
added cpu time (in ms) to Mirabelle run_action output
The file was modified src/HOL/Tools/Mirabelle/mirabelle.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala (diff)