Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added automatic uniform stride option to Mirabelle
  2. fixed HOL-ex following a5bab59d580b
  3. added support for TFX $let to Sledgehammer's TPTP output
Changeset 74077:b93d8c2ebab0 by desharna:
added automatic uniform stride option to Mirabelle
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
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 74076:97ad1687cec7 by desharna:
fixed HOL-ex following a5bab59d580b
The file was modified src/HOL/ex/Meson_Test.thy (diff)
Changeset 74075:a5bab59d580b by desharna:
added support for TFX $let to Sledgehammer's TPTP output
The file was modified src/HOL/Tools/ATP/atp_problem.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
The file was modified src/HOL/Tools/Meson/meson.ML (diff)
The file was modified src/HOL/Tools/Meson/meson_tactic.ML (diff)
The file was modified src/HOL/Tools/Metis/metis_tactic.ML (diff)