Linearized symbolic execution in proof tree#3237

Open

FliegendeWurst wants to merge 11 commits intoKeYProject:mainfrom FliegendeWurst:linearTree

+228-88

Commits on Aug 3, 2023

PoC implementation of linearized proof tree
FliegendeWurst
committed

Commits on Sep 21, 2023

Commits on Oct 23, 2023

Commits on Oct 24, 2023

Commits on Oct 30, 2023

Commits on Jan 11, 2024

Merge remote-tracking branch 'origin/main' into linearTree
FliegendeWurst
committed