descriptionMirror of
last changeTue, 3 Feb 2015 12:56:38 +0000 (12:56 +0000)
2015-02-03 Joachim BreitnerAdd a drop rule to SestoftGC master
2015-01-28 Joachim BreitnerFix end-to-end proof to finally obtain the unmodified...
2015-01-27 Joachim BreitnerRemove some dead code
2015-01-26 Joachim BreitnerCorrectness via card, ugly proof from GCstep to step...
2015-01-20 Joachim BreitnerNo need for heap_upds_ok in EtaExpandCorrect
2015-01-20 Joachim BreitnerSeparate Arity consistency from Cardinality consistency
2015-01-16 Joachim BreitnerFinish CardinalityetaExpandCorrect with IfThenElse
2015-01-16 Joachim BreitnerSwitch to Bool b; prepare CardinalityetaExpandCorrect...
2015-01-16 Joachim BreitnerPrepare CardinalityEtaExpand for a stack with expressions
2015-01-15 Joachim BreitnerUse isVal everywhere
2015-01-15 Joachim BreitnerAdd Null and (e ? e : e)
2015-01-15 Joachim BreitnerGet rid of GVar detour
2015-01-15 Joachim BreitnerForgotten theory before-adding-ifthenelse
2015-01-15 Joachim BreitnerAdd forgotten ArityEtaExpand
2015-01-15 Joachim BreitnerMore module splitting
2015-01-14 Joachim BreitnerAvoid theory-level interpretation
6 years ago before-adding-ifthenelse before-adding-ifthenelse
8 years ago JFP-Submission JFP-Submission
8 years ago AFP_submission2 AFP_submission2
6 years ago master