Skip to content
Failed

Changes

Summary

  1. Flow_Networks and Prpu_Maxflow ported to devel
  2. merged
  3. SELECT and OBTAIN already defined upstream
  4. remove generated document output
  5. merged from afp-2016-1
  6. forgot web file
  7. New entry Buffon's Needle
  8. punctuation in the abstract
  9. Prpu_Maxflow entry!
  10. Prpu_Maxflow website
  11. new entry Prpu_Maxflow
  12. added missing file
  13. Flow_Networks webpage
  14. Merge
  15. New entry Flow_Networks
Changeset 8040:47d5f91f2786 by lammich _lammich@in.tum.de_:
Flow_Networks and Prpu_Maxflow ported to devel
The file was modified thys/Flow_Networks/Graph.thy (diff)
The file was modified thys/Flow_Networks/Lib/Fofu_Impl_Base.thy (diff)
The file was modified thys/Flow_Networks/Lib/Refine_Add_Fofu.thy (diff)
The file was modified thys/Flow_Networks/Network_Impl.thy (diff)
The file was modified thys/Prpu_Maxflow/Prpu_Common_Impl.thy (diff)
The file was modified thys/Prpu_Maxflow/Relabel_To_Front.thy (diff)
The file was modified thys/Prpu_Maxflow/Relabel_To_Front_Impl.thy (diff)
The file was removedthys/Flow_Networks/Lib/DRAT_Misc.thy
The file was removedthys/Flow_Networks/Lib/Refine_Monadic_Syntax_Sugar.thy
Changeset 8038:c2031fb24d47 by lars hupel _lars.hupel@mytum.de_:
SELECT and OBTAIN already defined upstream
The file was modified thys/Flow_Networks/Lib/DRAT_Misc.thy (diff)
Changeset 8037:b9f0d51038e3 by lars hupel _lars.hupel@mytum.de_:
remove generated document output
The file was removedthys/Flow_Networks/output/document.pdf
The file was removedthys/Flow_Networks/output/document/Augmenting_Flow.tex
The file was removedthys/Flow_Networks/output/document/Augmenting_Path.tex
The file was removedthys/Flow_Networks/output/document/Ford_Fulkerson.tex
The file was removedthys/Flow_Networks/output/document/Graph.tex
The file was removedthys/Flow_Networks/output/document/Graph_Impl.tex
The file was removedthys/Flow_Networks/output/document/NetCheck.tex
The file was removedthys/Flow_Networks/output/document/Network.tex
The file was removedthys/Flow_Networks/output/document/Network_Impl.tex
The file was removedthys/Flow_Networks/output/document/Residual_Graph.tex
The file was removedthys/Flow_Networks/output/document/comment.sty
The file was removedthys/Flow_Networks/output/document/isabelle.sty
The file was removedthys/Flow_Networks/output/document/isabellesym.sty
The file was removedthys/Flow_Networks/output/document/isabelletags.sty
The file was removedthys/Flow_Networks/output/document/pdfsetup.sty
The file was removedthys/Flow_Networks/output/document/railsetup.sty
The file was removedthys/Flow_Networks/output/document/root.aux
The file was removedthys/Flow_Networks/output/document/root.bbl
The file was removedthys/Flow_Networks/output/document/root.bib
The file was removedthys/Flow_Networks/output/document/root.blg
The file was removedthys/Flow_Networks/output/document/root.log
The file was removedthys/Flow_Networks/output/document/root.out
The file was removedthys/Flow_Networks/output/document/root.pdf
The file was removedthys/Flow_Networks/output/document/root.tex
The file was removedthys/Flow_Networks/output/document/root.toc
The file was removedthys/Flow_Networks/output/document/session.tex
The file was removedthys/Flow_Networks/output/document/session_graph.pdf
The file was removedthys/Flow_Networks/output/outline.pdf
The file was removedthys/Flow_Networks/output/outline/Augmenting_Flow.tex
The file was removedthys/Flow_Networks/output/outline/Augmenting_Path.tex
The file was removedthys/Flow_Networks/output/outline/Ford_Fulkerson.tex
The file was removedthys/Flow_Networks/output/outline/Graph.tex
The file was removedthys/Flow_Networks/output/outline/Graph_Impl.tex
The file was removedthys/Flow_Networks/output/outline/NetCheck.tex
The file was removedthys/Flow_Networks/output/outline/Network.tex
The file was removedthys/Flow_Networks/output/outline/Network_Impl.tex
The file was removedthys/Flow_Networks/output/outline/Residual_Graph.tex
The file was removedthys/Flow_Networks/output/outline/comment.sty
The file was removedthys/Flow_Networks/output/outline/isabelle.sty
The file was removedthys/Flow_Networks/output/outline/isabellesym.sty
The file was removedthys/Flow_Networks/output/outline/isabelletags.sty
The file was removedthys/Flow_Networks/output/outline/pdfsetup.sty
The file was removedthys/Flow_Networks/output/outline/railsetup.sty
The file was removedthys/Flow_Networks/output/outline/root.aux
The file was removedthys/Flow_Networks/output/outline/root.bbl
The file was removedthys/Flow_Networks/output/outline/root.bib
The file was removedthys/Flow_Networks/output/outline/root.blg
The file was removedthys/Flow_Networks/output/outline/root.log
The file was removedthys/Flow_Networks/output/outline/root.out
The file was removedthys/Flow_Networks/output/outline/root.pdf
The file was removedthys/Flow_Networks/output/outline/root.tex
The file was removedthys/Flow_Networks/output/outline/root.toc
The file was removedthys/Flow_Networks/output/outline/session.tex
The file was removedthys/Flow_Networks/output/outline/session_graph.pdf
Changeset 8036:5ab6962720bd by lars hupel _lars.hupel@mytum.de_:
merged from afp-2016-1
Changeset 8035:01833eba6bc3 by nipkow:
forgot web file
The file was addedweb/entries/Buffons_Needle.shtml
Changeset 8034:c8b8d6fdee4e by nipkow:
New entry Buffon's Needle
The file was addedthys/Buffons_Needle/Buffons_Needle.thy
The file was addedthys/Buffons_Needle/ROOT
The file was addedthys/Buffons_Needle/document/root.bib
The file was addedthys/Buffons_Needle/document/root.tex
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/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 8033:cd8d9ea3459e by paulson _lp15@cam.ac.uk_:
punctuation in the abstract
The file was modified metadata/metadata (diff)
The file was modified web/entries/Flow_Networks.shtml (diff)
The file was modified web/rss.xml (diff)
Changeset 8032:6c2f79b5c98a by paulson _lp15@cam.ac.uk_:
Prpu_Maxflow entry!
The file was addedweb/entries/Prpu_Maxflow.shtml
Changeset 8031:9a0e9f741740 by paulson _lp15@cam.ac.uk_:
Prpu_Maxflow website
The file was modified metadata/metadata (diff)
The file was modified web/entries/Flow_Networks.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 8030:62bdd7fc729e by paulson _lp15@cam.ac.uk_:
new entry Prpu_Maxflow
The file was addedthys/Prpu_Maxflow/Fifo_Push_Relabel.thy
The file was addedthys/Prpu_Maxflow/Fifo_Push_Relabel_Impl.thy
The file was addedthys/Prpu_Maxflow/Generated_Code_Test.thy
The file was addedthys/Prpu_Maxflow/Generic_Push_Relabel.thy
The file was addedthys/Prpu_Maxflow/Graph_Topological_Ordering.thy
The file was addedthys/Prpu_Maxflow/Prpu_Common_Impl.thy
The file was addedthys/Prpu_Maxflow/Prpu_Common_Inst.thy
The file was addedthys/Prpu_Maxflow/ROOT
The file was addedthys/Prpu_Maxflow/Relabel_To_Front.thy
The file was addedthys/Prpu_Maxflow/Relabel_To_Front_Impl.thy
The file was addedthys/Prpu_Maxflow/document/root.bib
The file was addedthys/Prpu_Maxflow/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 8029:cccf5b655e22 by paulson _lp15@cam.ac.uk_:
added missing file
The file was addedweb/entries/Flow_Networks.shtml
Changeset 8028:48af01d86da4 by paulson _lp15@cam.ac.uk_:
Flow_Networks webpage
The file was modified metadata/metadata (diff)
The file was modified web/entries/DFS_Framework.shtml (diff)
The file was modified web/entries/Program-Conflict-Analysis.shtml (diff)
The file was modified web/entries/Refine_Imperative_HOL.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 8026:b7c89ac8db35 by paulson _lp15@cam.ac.uk_:
New entry Flow_Networks
The file was addedthys/Flow_Networks/Augmenting_Flow.thy
The file was addedthys/Flow_Networks/Augmenting_Path.thy
The file was addedthys/Flow_Networks/Ford_Fulkerson.thy
The file was addedthys/Flow_Networks/Graph.thy
The file was addedthys/Flow_Networks/Graph_Impl.thy
The file was addedthys/Flow_Networks/Lib/DRAT_Misc.thy
The file was addedthys/Flow_Networks/Lib/Fofu_Abs_Base.thy
The file was addedthys/Flow_Networks/Lib/Fofu_Impl_Base.thy
The file was addedthys/Flow_Networks/Lib/Refine_Add_Fofu.thy
The file was addedthys/Flow_Networks/Lib/Refine_Monadic_Syntax_Sugar.thy
The file was addedthys/Flow_Networks/NetCheck.thy
The file was addedthys/Flow_Networks/Network.thy
The file was addedthys/Flow_Networks/Network_Impl.thy
The file was addedthys/Flow_Networks/ROOT
The file was addedthys/Flow_Networks/Residual_Graph.thy
The file was addedthys/Flow_Networks/document/root.bib
The file was addedthys/Flow_Networks/document/root.tex
The file was addedthys/Flow_Networks/output/document.pdf
The file was addedthys/Flow_Networks/output/document/Augmenting_Flow.tex
The file was addedthys/Flow_Networks/output/document/Augmenting_Path.tex
The file was addedthys/Flow_Networks/output/document/Ford_Fulkerson.tex
The file was addedthys/Flow_Networks/output/document/Graph.tex
The file was addedthys/Flow_Networks/output/document/Graph_Impl.tex
The file was addedthys/Flow_Networks/output/document/NetCheck.tex
The file was addedthys/Flow_Networks/output/document/Network.tex
The file was addedthys/Flow_Networks/output/document/Network_Impl.tex
The file was addedthys/Flow_Networks/output/document/Residual_Graph.tex
The file was addedthys/Flow_Networks/output/document/comment.sty
The file was addedthys/Flow_Networks/output/document/isabelle.sty
The file was addedthys/Flow_Networks/output/document/isabellesym.sty
The file was addedthys/Flow_Networks/output/document/isabelletags.sty
The file was addedthys/Flow_Networks/output/document/pdfsetup.sty
The file was addedthys/Flow_Networks/output/document/railsetup.sty
The file was addedthys/Flow_Networks/output/document/root.aux
The file was addedthys/Flow_Networks/output/document/root.bbl
The file was addedthys/Flow_Networks/output/document/root.bib
The file was addedthys/Flow_Networks/output/document/root.blg
The file was addedthys/Flow_Networks/output/document/root.log
The file was addedthys/Flow_Networks/output/document/root.out
The file was addedthys/Flow_Networks/output/document/root.pdf
The file was addedthys/Flow_Networks/output/document/root.tex
The file was addedthys/Flow_Networks/output/document/root.toc
The file was addedthys/Flow_Networks/output/document/session.tex
The file was addedthys/Flow_Networks/output/document/session_graph.pdf
The file was addedthys/Flow_Networks/output/outline.pdf
The file was addedthys/Flow_Networks/output/outline/Augmenting_Flow.tex
The file was addedthys/Flow_Networks/output/outline/Augmenting_Path.tex
The file was addedthys/Flow_Networks/output/outline/Ford_Fulkerson.tex
The file was addedthys/Flow_Networks/output/outline/Graph.tex
The file was addedthys/Flow_Networks/output/outline/Graph_Impl.tex
The file was addedthys/Flow_Networks/output/outline/NetCheck.tex
The file was addedthys/Flow_Networks/output/outline/Network.tex
The file was addedthys/Flow_Networks/output/outline/Network_Impl.tex
The file was addedthys/Flow_Networks/output/outline/Residual_Graph.tex
The file was addedthys/Flow_Networks/output/outline/comment.sty
The file was addedthys/Flow_Networks/output/outline/isabelle.sty
The file was addedthys/Flow_Networks/output/outline/isabellesym.sty
The file was addedthys/Flow_Networks/output/outline/isabelletags.sty
The file was addedthys/Flow_Networks/output/outline/pdfsetup.sty
The file was addedthys/Flow_Networks/output/outline/railsetup.sty
The file was addedthys/Flow_Networks/output/outline/root.aux
The file was addedthys/Flow_Networks/output/outline/root.bbl
The file was addedthys/Flow_Networks/output/outline/root.bib
The file was addedthys/Flow_Networks/output/outline/root.blg
The file was addedthys/Flow_Networks/output/outline/root.log
The file was addedthys/Flow_Networks/output/outline/root.out
The file was addedthys/Flow_Networks/output/outline/root.pdf
The file was addedthys/Flow_Networks/output/outline/root.tex
The file was addedthys/Flow_Networks/output/outline/root.toc
The file was addedthys/Flow_Networks/output/outline/session.tex
The file was addedthys/Flow_Networks/output/outline/session_graph.pdf
The file was modified thys/ROOTS (diff)