Improve SymbExLogger#622

Merged

mschwerhoff merged 36 commits into

viperproject:masterfrom

pieter-bos:master

Nov 30, 2022

Commits on Jun 8, 2022

Improve SymbExLogger:
Pieter Bos
committed
move smt delta calculation to ProverStdIO for thread safety
Pieter Bos
committed

Commits on Jun 29, 2022

move smt statistics calculations out of ProverStdIO
Pieter Bos
committed

Commits on Sep 23, 2022

Merge branch 'upstream-master'
Pieter Bos
committed
Bump silver submodule to master branch version
Pieter Bos
committed
Merge branch 'upstream-master'
Pieter Bos
committed

Commits on Nov 15, 2022

Merge branch 'upstream-master'
Pieter Bos
committed

Commits on Nov 17, 2022

move symbexlogger state into classes, shim the old usage
Pieter Bos
committed
make Verifier own a current MemberSymbExLogger
Pieter Bos
committed
Give Verifier the capability to open symbexlogs for members
Pieter Bos
committed
swap out shims
Pieter Bos
committed
some bugs:
Pieter Bos
committed
address comment
Pieter Bos
committed
make NoopLog do nothing
Pieter Bos
committed
also do nothing on whenEnabled for NoopLog
Pieter Bos
committed

Commits on Nov 25, 2022

Commits on Nov 29, 2022

change by-name trickery to lambdas
Pieter Bos
committed
remove debug println
Pieter Bos
committed
namespace Member
Pieter Bos
committed
clarify val names for Config vs LogConfig
Pieter Bos
committed
Revert "change by-name trickery to lambdas"
Pieter Bos
committed

⚡