This repository was archived by the owner on Apr 25, 2024. It is now read-only.

Generic state merging, cover pullbacks - #544

Draft

ehildenb wants to merge 16 commits into

Commits on Jul 19, 2023

Commits on Jul 26, 2023

Merge remote-tracking branch 'upstream/master' into merge-nodes
ehildenb
committed
12e37f5
Merge 12e37f563370fd9bac5debf91b82eb47ad8a4e4e into 7f7214901201a5bc52683db655fe8f4ad3ba1e41
ehildenb
authored
fb09eb9
Set Version: 0.1.385
rv-auditor
committed
2217986
src/tests/unit/{kast,test_manip,test_cterm}: make unit test harness for cterm antiunification
ehildenb
committed
f33865e
kast/manip: remove now unused anti_unify_with_constraints
ehildenb
committed
260b6b2
kcfg/kcfg: avoid duplicate covers being created
ehildenb
committed
90f665e