Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update headers;
authorwenzelm
Thu, 20 Jul 2023 12:10:54 +0200
changeset 78414 406d34a8a67a
parent 78413 6f3066a9b609
child 78415 a4dee214dfcf
update headers;
src/HOL/Tools/SMT/cvc5_replay.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/SMT/cvc5_replay_methods.ML file | annotate | diff | comparison | revisions
src/Pure/Tools/profiling.scala file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/SMT/cvc5_replay.ML	Thu Jul 20 12:02:52 2023 +0200
+++ b/src/HOL/Tools/SMT/cvc5_replay.ML	Thu Jul 20 12:10:54 2023 +0200
@@ -1,8 +1,8 @@
-(*  Title:      HOL/Tools/SMT/cvc4_replay.ML
+(*  Title:      HOL/Tools/SMT/cvc5_replay.ML
     Author:     Mathias Fleury, JKU
     Author:     Hanna Lachnitt, Stanford University
 
-CVC4 proof parsing and replay.
+Proof parsing and replay for cvc5.
 *)
 
 signature CVC5_REPLAY =
--- a/src/HOL/Tools/SMT/cvc5_replay_methods.ML	Thu Jul 20 12:02:52 2023 +0200
+++ b/src/HOL/Tools/SMT/cvc5_replay_methods.ML	Thu Jul 20 12:10:54 2023 +0200
@@ -1,8 +1,8 @@
-(*  Title:      HOL/Tools/SMT/cvc4_replay_methods.ML
+(*  Title:      HOL/Tools/SMT/cvc5_replay_methods.ML
     Author:     Mathias Fleury, JKU, Uni Freiburg
     Author:     Hanna Lachnitt, Stanford University
 
-Proof method for replaying veriT proofs.
+Proof method for replaying cvc5 proofs.
 *)
 
 signature CVC5_REPLAY_METHODS =
--- a/src/Pure/Tools/profiling.scala	Thu Jul 20 12:02:52 2023 +0200
+++ b/src/Pure/Tools/profiling.scala	Thu Jul 20 12:10:54 2023 +0200
@@ -1,4 +1,4 @@
-/*  Title:      Pure/Tools/profiling_report.scala
+/*  Title:      Pure/Tools/profiling.scala
     Author:     Makarius
 
 Build sessions for profiling of ML heap content.
isabelle