Persistent ptree 3#6

Open

251 wants to merge 25 commits intomasterfrom

persistent_ptree_3

Commits on Mar 23, 2023

Run KDAlloc/rusage unittest a few times to allow for swapfile interference

danielschemmel
authored and
ccadar
committed
remove obsolete header

danielschemmel
authored and
ccadar
committed
stats: add InhibitedForks

251
authored and
ccadar
committed
stats: add QCacheHits/Misses

251
authored and
ccadar
committed
stats: add ExternalCalls

251
authored and
ccadar
committed
stats: rename numQueries/Queries -> SolverQueries, add Queries

251
authored and
ccadar
committed
stats: add Allocations

251
authored and
ccadar
committed
stats: rename States -> ActiveStates, add States

251
authored and
ccadar
committed
stats: add branch type stats

251
authored and
ccadar
committed
tests: add Feature/KleeStatsBranches.c

251
authored and
ccadar
committed
stats: add termination class stats

251
authored and
ccadar
committed
tests: add Feature/KleeStatsTermClasses.c

251
authored and
ccadar
committed
Remove model_version from the POSIX runtime, as we have never used it.

ccadar
authored and
MartinNowack
committed
fix unused variable warning

danielschemmel
authored and
ccadar
committed
Transition to GitHub Container Registry hosting

MartinNowack
authored and
ccadar
committed
Fix detection and installation of Ubuntu-provided llvm/clang packages

MartinNowack
authored and
ccadar
committed

Commits on Mar 26, 2023

fix unused variables warning

danielschemmel
authored and
ccadar
committed
tests: add some missing headers

251
authored and
ccadar
committed

Commits on Mar 27, 2023

(gcc-13) include cstdint for *int*_t

Jiri Slaby
authored and
MartinNowack
committed
Core/Executor: long double on i686 must be aligned to 4 bytes

lzaoral
authored and
MartinNowack
committed
ci(lint): add shell linter - Differential ShellCheck

jamacku
authored and
MartinNowack
committed

Commits on Mar 30, 2023

fix CMake: -UNDEBUG

jbuening
authored and
MartinNowack
committed
Prevent fallthrough warning

danielschemmel
authored and
ccadar
committed

Commits on Mar 31, 2023