Scala backend & lifter-optimiser bdd copyprop#102

Merged

katrinafyi merged 53 commits intopartial_evalfrom scala-generic

Sep 2, 2024

+3,330-251

Commits on Apr 2, 2024

Add scala backend for BASIL
ailrst
committed

Commits on Apr 8, 2024

Commits on Apr 22, 2024

Simplify reachability based on enc
ncough
committed

Commits on May 8, 2024

Add lifttime PC variable

ncough
authored and
ailrst
committed
Remove problematic list, add missing variables

ncough
authored and
ailrst
committed
Optional pass to remove unsupported globals

ncough
authored and
ailrst
committed
Whitespace in transforms

ncough
authored and
ailrst
committed
Re-enable case simp for offline

ncough
authored and
ailrst
committed
Decoder cleanup and sanity checks

ncough
authored and
ailrst
committed
Simplify reachability based on enc

ncough
authored and
ailrst
committed
wip rt copyprop
ailrst
committed
use bdd lattice for clobbered & read
ailrst
committed
refac
ailrst
committed
untested xform to ternary
ailrst
committed
not working
ailrst
committed

Commits on May 9, 2024

refactor so analysis and transform both called into from bdd AI walk
ailrst
committed

Commits on May 10, 2024

Commits on May 19, 2024

Eliminate comparisons during IntToBits
ncough
committed

Commits on May 20, 2024

Commits on May 21, 2024

Commits on May 22, 2024

Merged backends (#80 )

ailrst
and
katrinafyi
authored
progress
ailrst
committed
possibly working
ailrst
committed

Commits on May 23, 2024

Commits on Jul 19, 2024

add generic lifter interface
ailrst
committed

Commits on Sep 2, 2024

Merge remote-tracking branch 'origin/partial_eval' into scala-generic
katrinafyi
committed