pate issues

Generalize and stabilize control flow alignment

Complete control flow alignment needed to support Target7

Proof display does not exploit sharing - hangs when printing large proofs with many shared nodes

The proof structure contains duplicate nodes as a result of caching - proofs for function entry points are skipped if they can be proven redundant. This redundancy makes printing proofs...

danmatichuk

stale

presentation

Allow for divergence locations to be provided as input

1

Currently divergence locations are chosen as the start of the block where a control flow divergence is found. We would like to have more precision in these points by allowing...

danmatichuk