Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  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>
  3. Formal_SSA: fix Makefile
Changeset 7361:5b22a998bf6b by denis lohner _denis.lohner@kit.edu_:
merge
Changeset 7360:c5ad63aeea9a by denis lohner _denis.lohner@kit.edu_:
Formal_SSA: Prove minimality of number of phis and generalize lemmas<br><br>Author: Sebastian Ullrich &lt;sebasti@nullri.ch&gt;<br>Author: Denis Lohner &lt;denis.lohner@kit.edu&gt;
The file was modified thys/Formal_SSA/Graph_path.thy (diff)
The file was modified thys/Formal_SSA/Minimality.thy (diff)
The file was modified thys/Formal_SSA/SSA_CFG.thy (diff)
Changeset 7359:f700d51eeb78 by denis lohner _denis.lohner@kit.edu_:
Formal_SSA: fix Makefile
The file was modified thys/Formal_SSA/Makefile (diff)