projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aba3391) | patch
Rename expert statistics to internal, add documentation (#8262)
authorGereon Kremer <gkremer@cs.stanford.edu>
Wed, 9 Mar 2022 23:40:43 +0000 (00:40 +0100)
committerGitHub <noreply@github.com>
Wed, 9 Mar 2022 23:40:43 +0000 (15:40 -0800)
commitaaab98c4491cd79cc27184a57c4b13f7650e5757
tree63f421a53c8fec5041f1113244537b42d3d4f43ftree
parentaba33913501586fc695e0a8be4169b962877edfccommit | diff
Rename expert statistics to internal, add documentation (#8262)

We decided to rename statistics from "public / expert" to "public / internal". Also, this adds some reasonable documentation about statistics to our online docs.
18 files changed:
docs/api/cpp/statistics.rst diff | blob | history
docs/binary/binary.rst diff | blob | history
docs/binary/statistics.rst [new file with mode: 0644] blob
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/java/io/github/cvc5/api/Stat.java diff | blob | history
src/api/java/io/github/cvc5/api/Statistics.java diff | blob | history
src/api/java/jni/stat.cpp diff | blob | history
src/decision/justify_stats.cpp diff | blob | history
src/main/command_executor.cpp diff | blob | history
src/options/base_options.toml diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/prop/cadical.cpp diff | blob | history
src/util/statistics_public.h diff | blob | history
src/util/statistics_registry.cpp diff | blob | history
src/util/statistics_registry.h diff | blob | history
src/util/statistics_value.h diff | blob | history
test/regress/regress0/options/statistics.smt2 diff | blob | history