Bi-abduction transfomer - #357

Merged

giltho merged 32 commits into

bi-abd-transformer

Jun 28, 2026

Commits on Nov 8, 2025

cleanup tiny thing in bi_state
giltho
committed
843dcf7
yojson for core predicates
giltho
committed
4817343
add assume_type to delayed
giltho
committed
a3b883c
yeet myasrt
giltho
committed
b69ad03
add bi-abductive state model 🎉
giltho
committed
df6a85b
move make_callgraph to Prog.ml
giltho
committed
9de2bfa
BiState carries around a set of proc names but is never used???
giltho
committed
18776eb
expose more stuff
giltho
committed
1c2dba3
more type re-org
giltho
committed
35fb9c8
exposing even more constructors
giltho
committed
a5a44c0
MORE FUNCTIONS
giltho
committed
bcc2ca0
urgh
giltho
committed
47ae9a0
okkkk
giltho
committed
bf378a2
minor merge conflict
giltho
committed
80b3119
IT COMPILES AND RUNS
giltho
committed
89df3b3

Commits on Nov 9, 2025

simplify abductor interface, finish implementing
giltho
committed
852e676
remove all commented code
giltho
committed
ce6f967
printing
giltho
committed
1fa3436
BOOYAH
giltho
committed
5bcb01c
ok
giltho
committed
1d898e9
aaaaa
giltho
committed
5621fe7
failures to match in UX mode should be ignored
giltho
committed
c3d6ee0
don't crash if SMT is banana in UX
giltho
committed
23bed50
don't crash with inconsistent loop ids if outside verif
giltho
committed
d016230
more precise analysis failure message
giltho
committed
bf6eb31

Commits on Nov 11, 2025

CGEnv is just agreement
giltho
committed
7a8d881

Commits on Nov 13, 2025

Add `--ignore` to biab
N1ark
committed
3498044
Fix CGEnv for bi-abduction
N1ark
committed
e7a254e

Commits on Nov 21, 2025

minor
giltho
committed
e16c0e1

Commits on Jun 28, 2026

Merge branch 'master' into bi-abd-transformer
NatKarmios
committed
e346123
Fix silly function
NatKarmios
committed
3be1fbc
Merge branch 'master' into bi-abd-transformer
giltho
authored
f24e3a2