projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5bbb45b) | patch
Replace HistogramStat by IntegralHistogramStat (#6126)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 15 Mar 2021 19:58:57 +0000 (20:58 +0100)
committerGitHub <noreply@github.com>
Mon, 15 Mar 2021 19:58:57 +0000 (19:58 +0000)
commit429514c9cb6d187adca027ffc7542cf35543e85d
tree9d9aab55577496739577036c5cc582598d395679tree
parent5bbb45b820b9d695c29182f4dd2fc13fd9997e4bcommit | diff
Replace HistogramStat by IntegralHistogramStat (#6126)

This PR uses IntegralHistogramStat instead of HistogramStat when appropriate, that is everywhere.
17 files changed:
src/expr/proof_checker.h diff | blob | history
src/preprocessing/util/ite_utilities.h diff | blob | history
src/proof/sat_proof.h diff | blob | history
src/smt/proof_post_processor.h diff | blob | history
src/theory/arith/theory_arith_private.h diff | blob | history
src/theory/bags/bags_rewriter.cpp diff | blob | history
src/theory/bags/bags_rewriter.h diff | blob | history
src/theory/bags/bags_statistics.h diff | blob | history
src/theory/strings/sequences_rewriter.cpp diff | blob | history
src/theory/strings/sequences_rewriter.h diff | blob | history
src/theory/strings/sequences_stats.h diff | blob | history
src/theory/strings/strings_rewriter.cpp diff | blob | history
src/theory/strings/strings_rewriter.h diff | blob | history
src/theory/strings/theory_strings_preprocess.cpp diff | blob | history
src/theory/strings/theory_strings_preprocess.h diff | blob | history
src/util/stats_histogram.h diff | blob | history
test/unit/util/stats_black.cpp diff | blob | history