klee: upgrade to LLVM 19 - #118

Merged

vitalych merged 24 commits into

issue/520-llvm19

May 24, 2026

Commits on May 10, 2026

build: switched from clang 14 to 19 for op_helper.bc
vitalych
committed
8a3035c
libs2e: print error when op_helper.bc failed to load
vitalych
committed
f188f13

Commits on May 17, 2026

Commits on May 23, 2026

klee/tests: added tests for the llvm interpreter
vitalych
committed
d69d6b6
claude.md: updates
vitalych
committed
5ea14b5
scripts: updated coverage script
vitalych
committed
0a519e1
libtcg: updated for llvm 19
vitalych
committed
044d023
klee: upgraded to llvm 19
vitalych
committed
a00616f
github: removed 24.04 build
vitalych
committed
42838a3
dockerfile: upgraded to ubuntu 24.04
vitalych
committed
e588597
dockerfile.tools: added separate file to build guest tools
vitalych
committed
287ca6f
CMakeLists.txt: cleaned up various warnings
vitalych
committed
080beb7
libfsigc++: fixed build errors on ubuntu 26.04
vitalych
committed
ffe92cc
libs2ecore: removed unnecessary headers in external dispatcher
vitalych
committed
c165048
libs2ecore,plugins: adjustment for new boost asio apis
vitalych
committed
ce675fb
klee,tcg: silenced llvm warnings
vitalych
committed
ad9a4f7
makefile: force old cmake requirement for rapidjson
vitalych
committed
6dfe440
docs: dropped ubuntu 22.04, added ubuntu 26.04
vitalych
committed
be036ff
libs2e: don't link against libboost_system
vitalych
committed
debe01c
vagrant: provisioning script fix for ubuntu 26.04
vitalych
committed
12354a3
vagrant added ubuntu 26.04
vitalych
committed
3086e98