Summary
- Flow_Networks and Prpu_Maxflow ported to devel
- merged
- SELECT and OBTAIN already defined upstream
- remove generated document output
- merged from afp-2016-1
- forgot web file
- New entry Buffon's Needle
- punctuation in the abstract
- Prpu_Maxflow entry!
- Prpu_Maxflow website
- new entry Prpu_Maxflow
- added missing file
- Flow_Networks webpage
- Merge
- New entry Flow_Networks
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 removed | thys/Flow_Networks/Lib/DRAT_Misc.thy |
The file was removed | thys/Flow_Networks/Lib/Refine_Monadic_Syntax_Sugar.thy |
The file was modified | thys/Flow_Networks/Lib/DRAT_Misc.thy (diff) |
The file was removed | thys/Flow_Networks/output/document.pdf |
The file was removed | thys/Flow_Networks/output/document/Augmenting_Flow.tex |
The file was removed | thys/Flow_Networks/output/document/Augmenting_Path.tex |
The file was removed | thys/Flow_Networks/output/document/Ford_Fulkerson.tex |
The file was removed | thys/Flow_Networks/output/document/Graph.tex |
The file was removed | thys/Flow_Networks/output/document/Graph_Impl.tex |
The file was removed | thys/Flow_Networks/output/document/NetCheck.tex |
The file was removed | thys/Flow_Networks/output/document/Network.tex |
The file was removed | thys/Flow_Networks/output/document/Network_Impl.tex |
The file was removed | thys/Flow_Networks/output/document/Residual_Graph.tex |
The file was removed | thys/Flow_Networks/output/document/comment.sty |
The file was removed | thys/Flow_Networks/output/document/isabelle.sty |
The file was removed | thys/Flow_Networks/output/document/isabellesym.sty |
The file was removed | thys/Flow_Networks/output/document/isabelletags.sty |
The file was removed | thys/Flow_Networks/output/document/pdfsetup.sty |
The file was removed | thys/Flow_Networks/output/document/railsetup.sty |
The file was removed | thys/Flow_Networks/output/document/root.aux |
The file was removed | thys/Flow_Networks/output/document/root.bbl |
The file was removed | thys/Flow_Networks/output/document/root.bib |
The file was removed | thys/Flow_Networks/output/document/root.blg |
The file was removed | thys/Flow_Networks/output/document/root.log |
The file was removed | thys/Flow_Networks/output/document/root.out |
The file was removed | thys/Flow_Networks/output/document/root.pdf |
The file was removed | thys/Flow_Networks/output/document/root.tex |
The file was removed | thys/Flow_Networks/output/document/root.toc |
The file was removed | thys/Flow_Networks/output/document/session.tex |
The file was removed | thys/Flow_Networks/output/document/session_graph.pdf |
The file was removed | thys/Flow_Networks/output/outline.pdf |
The file was removed | thys/Flow_Networks/output/outline/Augmenting_Flow.tex |
The file was removed | thys/Flow_Networks/output/outline/Augmenting_Path.tex |
The file was removed | thys/Flow_Networks/output/outline/Ford_Fulkerson.tex |
The file was removed | thys/Flow_Networks/output/outline/Graph.tex |
The file was removed | thys/Flow_Networks/output/outline/Graph_Impl.tex |
The file was removed | thys/Flow_Networks/output/outline/NetCheck.tex |
The file was removed | thys/Flow_Networks/output/outline/Network.tex |
The file was removed | thys/Flow_Networks/output/outline/Network_Impl.tex |
The file was removed | thys/Flow_Networks/output/outline/Residual_Graph.tex |
The file was removed | thys/Flow_Networks/output/outline/comment.sty |
The file was removed | thys/Flow_Networks/output/outline/isabelle.sty |
The file was removed | thys/Flow_Networks/output/outline/isabellesym.sty |
The file was removed | thys/Flow_Networks/output/outline/isabelletags.sty |
The file was removed | thys/Flow_Networks/output/outline/pdfsetup.sty |
The file was removed | thys/Flow_Networks/output/outline/railsetup.sty |
The file was removed | thys/Flow_Networks/output/outline/root.aux |
The file was removed | thys/Flow_Networks/output/outline/root.bbl |
The file was removed | thys/Flow_Networks/output/outline/root.bib |
The file was removed | thys/Flow_Networks/output/outline/root.blg |
The file was removed | thys/Flow_Networks/output/outline/root.log |
The file was removed | thys/Flow_Networks/output/outline/root.out |
The file was removed | thys/Flow_Networks/output/outline/root.pdf |
The file was removed | thys/Flow_Networks/output/outline/root.tex |
The file was removed | thys/Flow_Networks/output/outline/root.toc |
The file was removed | thys/Flow_Networks/output/outline/session.tex |
The file was removed | thys/Flow_Networks/output/outline/session_graph.pdf |
The file was added | web/entries/Buffons_Needle.shtml |
The file was added | thys/Buffons_Needle/Buffons_Needle.thy |
The file was added | thys/Buffons_Needle/ROOT |
The file was added | thys/Buffons_Needle/document/root.bib |
The file was added | thys/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) |
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) |
The file was added | web/entries/Prpu_Maxflow.shtml |
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) |
The file was added | thys/Prpu_Maxflow/Fifo_Push_Relabel.thy |
The file was added | thys/Prpu_Maxflow/Fifo_Push_Relabel_Impl.thy |
The file was added | thys/Prpu_Maxflow/Generated_Code_Test.thy |
The file was added | thys/Prpu_Maxflow/Generic_Push_Relabel.thy |
The file was added | thys/Prpu_Maxflow/Graph_Topological_Ordering.thy |
The file was added | thys/Prpu_Maxflow/Prpu_Common_Impl.thy |
The file was added | thys/Prpu_Maxflow/Prpu_Common_Inst.thy |
The file was added | thys/Prpu_Maxflow/ROOT |
The file was added | thys/Prpu_Maxflow/Relabel_To_Front.thy |
The file was added | thys/Prpu_Maxflow/Relabel_To_Front_Impl.thy |
The file was added | thys/Prpu_Maxflow/document/root.bib |
The file was added | thys/Prpu_Maxflow/document/root.tex |
The file was modified | thys/ROOTS (diff) |
The file was added | web/entries/Flow_Networks.shtml |
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) |
The file was added | thys/Flow_Networks/Augmenting_Flow.thy |
The file was added | thys/Flow_Networks/Augmenting_Path.thy |
The file was added | thys/Flow_Networks/Ford_Fulkerson.thy |
The file was added | thys/Flow_Networks/Graph.thy |
The file was added | thys/Flow_Networks/Graph_Impl.thy |
The file was added | thys/Flow_Networks/Lib/DRAT_Misc.thy |
The file was added | thys/Flow_Networks/Lib/Fofu_Abs_Base.thy |
The file was added | thys/Flow_Networks/Lib/Fofu_Impl_Base.thy |
The file was added | thys/Flow_Networks/Lib/Refine_Add_Fofu.thy |
The file was added | thys/Flow_Networks/Lib/Refine_Monadic_Syntax_Sugar.thy |
The file was added | thys/Flow_Networks/NetCheck.thy |
The file was added | thys/Flow_Networks/Network.thy |
The file was added | thys/Flow_Networks/Network_Impl.thy |
The file was added | thys/Flow_Networks/ROOT |
The file was added | thys/Flow_Networks/Residual_Graph.thy |
The file was added | thys/Flow_Networks/document/root.bib |
The file was added | thys/Flow_Networks/document/root.tex |
The file was added | thys/Flow_Networks/output/document.pdf |
The file was added | thys/Flow_Networks/output/document/Augmenting_Flow.tex |
The file was added | thys/Flow_Networks/output/document/Augmenting_Path.tex |
The file was added | thys/Flow_Networks/output/document/Ford_Fulkerson.tex |
The file was added | thys/Flow_Networks/output/document/Graph.tex |
The file was added | thys/Flow_Networks/output/document/Graph_Impl.tex |
The file was added | thys/Flow_Networks/output/document/NetCheck.tex |
The file was added | thys/Flow_Networks/output/document/Network.tex |
The file was added | thys/Flow_Networks/output/document/Network_Impl.tex |
The file was added | thys/Flow_Networks/output/document/Residual_Graph.tex |
The file was added | thys/Flow_Networks/output/document/comment.sty |
The file was added | thys/Flow_Networks/output/document/isabelle.sty |
The file was added | thys/Flow_Networks/output/document/isabellesym.sty |
The file was added | thys/Flow_Networks/output/document/isabelletags.sty |
The file was added | thys/Flow_Networks/output/document/pdfsetup.sty |
The file was added | thys/Flow_Networks/output/document/railsetup.sty |
The file was added | thys/Flow_Networks/output/document/root.aux |
The file was added | thys/Flow_Networks/output/document/root.bbl |
The file was added | thys/Flow_Networks/output/document/root.bib |
The file was added | thys/Flow_Networks/output/document/root.blg |
The file was added | thys/Flow_Networks/output/document/root.log |
The file was added | thys/Flow_Networks/output/document/root.out |
The file was added | thys/Flow_Networks/output/document/root.pdf |
The file was added | thys/Flow_Networks/output/document/root.tex |
The file was added | thys/Flow_Networks/output/document/root.toc |
The file was added | thys/Flow_Networks/output/document/session.tex |
The file was added | thys/Flow_Networks/output/document/session_graph.pdf |
The file was added | thys/Flow_Networks/output/outline.pdf |
The file was added | thys/Flow_Networks/output/outline/Augmenting_Flow.tex |
The file was added | thys/Flow_Networks/output/outline/Augmenting_Path.tex |
The file was added | thys/Flow_Networks/output/outline/Ford_Fulkerson.tex |
The file was added | thys/Flow_Networks/output/outline/Graph.tex |
The file was added | thys/Flow_Networks/output/outline/Graph_Impl.tex |
The file was added | thys/Flow_Networks/output/outline/NetCheck.tex |
The file was added | thys/Flow_Networks/output/outline/Network.tex |
The file was added | thys/Flow_Networks/output/outline/Network_Impl.tex |
The file was added | thys/Flow_Networks/output/outline/Residual_Graph.tex |
The file was added | thys/Flow_Networks/output/outline/comment.sty |
The file was added | thys/Flow_Networks/output/outline/isabelle.sty |
The file was added | thys/Flow_Networks/output/outline/isabellesym.sty |
The file was added | thys/Flow_Networks/output/outline/isabelletags.sty |
The file was added | thys/Flow_Networks/output/outline/pdfsetup.sty |
The file was added | thys/Flow_Networks/output/outline/railsetup.sty |
The file was added | thys/Flow_Networks/output/outline/root.aux |
The file was added | thys/Flow_Networks/output/outline/root.bbl |
The file was added | thys/Flow_Networks/output/outline/root.bib |
The file was added | thys/Flow_Networks/output/outline/root.blg |
The file was added | thys/Flow_Networks/output/outline/root.log |
The file was added | thys/Flow_Networks/output/outline/root.out |
The file was added | thys/Flow_Networks/output/outline/root.pdf |
The file was added | thys/Flow_Networks/output/outline/root.tex |
The file was added | thys/Flow_Networks/output/outline/root.toc |
The file was added | thys/Flow_Networks/output/outline/session.tex |
The file was added | thys/Flow_Networks/output/outline/session_graph.pdf |
The file was modified | thys/ROOTS (diff) |