Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged from SF repository which should not be writable
  2. Small improvements to Call_Arity and Launchbury While preparing my doctoral thesis, I touched a few parts of these theories, mostly improving the presentation and polishing it a bit. This merges these changes back into the AFP, so that they correspond to what I published at http://www.joachim-breitner.de/thesis/
  3. Call_Arity: Update bibliography as my paper got accepted at Haskell'15.
Changeset 6630:6b558d4b863d by kleing:
merged from SF repository which should not be writable
Changeset 6629:977cbf5f3557 by joachim breitner _mail@joachim-breitner.de_:
Small improvements to Call_Arity and Launchbury<br><br>While preparing my doctoral thesis, I touched a few parts of these<br>theories, mostly improving the presentation and polishing it a bit. This<br>merges these changes back into the AFP, so that they correspond to<br>what I published at http://www.joachim-breitner.de/thesis/
The file was modified thys/Call_Arity/Arity.thy (diff)
The file was modified thys/Call_Arity/ArityAnalysisAbinds.thy (diff)
The file was modified thys/Call_Arity/ArityAnalysisCorrDenotational.thy (diff)
The file was modified thys/Call_Arity/ArityAnalysisFix.thy (diff)
The file was modified thys/Call_Arity/ArityAnalysisSig.thy (diff)
The file was modified thys/Call_Arity/ArityTransform.thy (diff)
The file was modified thys/Call_Arity/CallArityEnd2EndSafe.thy (diff)
The file was modified thys/Call_Arity/CoCallAnalysisBinds.thy (diff)
The file was modified thys/Call_Arity/CoCallAnalysisImpl.thy (diff)
The file was modified thys/Call_Arity/CoCallAnalysisSig.thy (diff)
The file was modified thys/Call_Arity/CoCallAritySig.thy (diff)
The file was modified thys/Call_Arity/CoCallFix.thy (diff)
The file was modified thys/Call_Arity/CoCallGraph-TTree.thy (diff)
The file was modified thys/Call_Arity/CoCallGraph.thy (diff)
The file was modified thys/Call_Arity/CoCallImplSafe.thy (diff)
The file was modified thys/Call_Arity/CoCallImplTTreeSafe.thy (diff)
The file was modified thys/Call_Arity/Sestoft.thy (diff)
The file was modified thys/Call_Arity/TTree-HOLCF.thy (diff)
The file was modified thys/Call_Arity/TTree.thy (diff)
The file was modified thys/Call_Arity/TransformTools.thy (diff)
The file was modified thys/Call_Arity/document/root.tex (diff)
The file was modified thys/Launchbury/AList-Utils.thy (diff)
The file was modified thys/Launchbury/Abstract-Denotational-Props.thy (diff)
The file was modified thys/Launchbury/AbstractDenotational.thy (diff)
The file was modified thys/Launchbury/C-Meet.thy (diff)
The file was modified thys/Launchbury/C-restr.thy (diff)
The file was modified thys/Launchbury/C.thy (diff)
The file was modified thys/Launchbury/CValue-Nominal.thy (diff)
The file was modified thys/Launchbury/CValue.thy (diff)
The file was modified thys/Launchbury/CorrectnessOriginal.thy (diff)
The file was modified thys/Launchbury/CorrectnessResourced.thy (diff)
The file was modified thys/Launchbury/Denotational-Related.thy (diff)
The file was modified thys/Launchbury/Denotational.thy (diff)
The file was modified thys/Launchbury/Env.thy (diff)
The file was modified thys/Launchbury/EvalHeap.thy (diff)
The file was modified thys/Launchbury/HOLCF-Meet.thy (diff)
The file was modified thys/Launchbury/HeapSemantics.thy (diff)
The file was modified thys/Launchbury/Launchbury.thy (diff)
The file was modified thys/Launchbury/Nominal-Utils.thy (diff)
The file was modified thys/Launchbury/ResourcedAdequacy.thy (diff)
The file was modified thys/Launchbury/ResourcedDenotational.thy (diff)
The file was modified thys/Launchbury/Substitution.thy (diff)
The file was modified thys/Launchbury/Terms.thy (diff)
The file was modified thys/Launchbury/ValueSimilarity.thy (diff)
The file was modified thys/Launchbury/document/root.tex (diff)
Changeset 6628:75807d535dbd by joachim breitner _mail@joachim-breitner.de_:
Call_Arity: Update bibliography<br><br>as my paper got accepted at Haskell&#039;15.
The file was modified thys/Call_Arity/document/root.bib (diff)
The file was modified thys/Call_Arity/document/root.tex (diff)