#557 (Nov 16, 2016, 2:47:09 PM)

1. merge (detail / hgweb)
2. Formal_SSA: Prove minimality of number of phis and generalize lemmas
   
   Author: Sebastian Ullrich <sebasti@nullri.ch>
   Author: Denis Lohner <denis.lohner@kit.edu> (detail / hgweb)
3. Formal_SSA: fix Makefile (detail / hgweb)

Started by an SCM change

This run spent:

• 7 sec waiting;
• 7 min 30 sec build duration;
• 7 min 37 sec total from scheduled to completion.