Changes

Summary

merge devel update from the authors
merge from afp-2015
New article Formal_SSA

Changeset 6238:36bf042737a6 by kleing: merge devel update from the authors
The file was modified	`thys/Formal_SSA/Construct_SSA.thy` (diff)
The file was modified	`thys/Formal_SSA/Construct_SSA_code.thy` (diff)
The file was modified	`thys/Formal_SSA/Construct_SSA_notriv.thy` (diff)
The file was modified	`thys/Formal_SSA/Construct_SSA_notriv_code.thy` (diff)
The file was modified	`thys/Formal_SSA/Generic_Interpretation.thy` (diff)
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/ROOT` (diff)
The file was modified	`thys/Formal_SSA/SSA_CFG.thy` (diff)
The file was modified	`thys/Formal_SSA/SSA_Semantics.thy` (diff)
The file was modified	`thys/Formal_SSA/SSA_Transfer_Rules.thy` (diff)
The file was modified	`thys/Formal_SSA/While_Combinator_Exts.thy` (diff)
Changeset 6237:786bae63af11 by kleing: merge from afp-2015
Changeset 6236:7f40bfb905c5 by nipkow: New article Formal_SSA
The file was added	`thys/Formal_SSA/Construct_SSA.thy`
The file was added	`thys/Formal_SSA/Construct_SSA_code.thy`
The file was added	`thys/Formal_SSA/Construct_SSA_notriv.thy`
The file was added	`thys/Formal_SSA/Construct_SSA_notriv_code.thy`
The file was added	`thys/Formal_SSA/Disjoin_Transform.thy`
The file was added	`thys/Formal_SSA/FormalSSA_Misc.thy`
The file was added	`thys/Formal_SSA/Generic_Extract.thy`
The file was added	`thys/Formal_SSA/Generic_Interpretation.thy`
The file was added	`thys/Formal_SSA/Graph_path.thy`
The file was added	`thys/Formal_SSA/Makefile`
The file was added	`thys/Formal_SSA/Mapping_Exts.thy`
The file was added	`thys/Formal_SSA/Minimality.thy`
The file was added	`thys/Formal_SSA/RBT_Mapping_Exts.thy`
The file was added	`thys/Formal_SSA/README.md`
The file was added	`thys/Formal_SSA/ROOT`
The file was added	`thys/Formal_SSA/SSA_CFG.thy`
The file was added	`thys/Formal_SSA/SSA_CFG_code.thy`
The file was added	`thys/Formal_SSA/SSA_Semantics.thy`
The file was added	`thys/Formal_SSA/SSA_Transfer_Rules.thy`
The file was added	`thys/Formal_SSA/Serial_Rel.thy`
The file was added	`thys/Formal_SSA/WhileGraphSSA.thy`
The file was added	`thys/Formal_SSA/While_Combinator_Exts.thy`
The file was added	`thys/Formal_SSA/compcertSSA-Braun.patch`
The file was added	`thys/Formal_SSA/config`
The file was added	`thys/Formal_SSA/document/root.bib`
The file was added	`thys/Formal_SSA/document/root.tex`
The file was added	`thys/Formal_SSA/test/ifgen.c`
The file was added	`thys/Formal_SSA/test/ifplot.gp`
The file was added	`thys/Formal_SSA/test/ifplot.sh`
The file was added	`web/entries/Formal_SSA.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)