List view

• Binary BlockVerifier

  There are a number of loose ends in order to get the binary BlockVerifier to a fully working/closed state. Tracking of those will be achieved through this milestone. The goal is to get this merged into the `main` branch, with no loss of results. Most of the work for this milestone is being done in the `termination_soundness_total` branch.

  No due date

  •2/4 issues closed
  50% complete2 open2 closed