Man Pages in spark

Section 1: Executable programs or shell commands

checker.1

Spark proof checker

pogs.1

Summarises completed and outstanding proof obligations

spadesimp.1

Simplifies spark verification conditions

spark.1

Examines spark programs and generates verification conditions

sparkformat.1

Pretty-prints spark annotations

sparkmake.1

Generates spark index and metafiles

sparksimp.1

Analyses all generated spark proof artifacts (in parallel)

victor.1

Attempts to discharge verification conditions using smt solvers

zombiescope.1

Simplifies spark dead path conjectures