integrate Coq makefile into top level makefile
use 8 processes for gui
start adding labels for properties
add more labels for properties
remove needless assertion
add more labels for properties
add more properties labes in contract
adapt proofs to new property labels
remove assertion and adapt proof
add and format property labels
add property label and adapt proof
add property label
change property label and adapt proof
add property labels and adapt proofs
add property name and adapt proof
rename label and adapt proof
rewrite unused predicate Unchanged
change constant to UINT32_MAX
add property labels for init
add property labels and adapt proof