projects / coq-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
reshuffle definitions in an attempt to iron out inter-file dependenceies
2011-03-15 Adam Megaczreshuffle definitions in an attempt to iron out inter...
commit | commitdiff | tree
2011-03-14 Adam Megaczadd support for CSP in HaskCore+HaskWeak
 commit | commitdiff | tree
2011-03-14 Adam Megaczremove dead code from HaskWeak
 commit | commitdiff | tree
2011-03-14 Adam Megaczeliminate ext_tree_{left,right} keywords
 commit | commitdiff | tree
2011-03-14 Adam Megaczmore formatting fixes
 commit | commitdiff | tree
2011-03-14 Adam Megaczformatting fixes
 commit | commitdiff | tree
2011-03-14 Adam Megaczminor cleanups, deleted dead code, eliminated use of...
commit | commitdiff | tree
2011-03-14 Adam Megaczfix sortAlts so it actually does something
 commit | commitdiff | tree
2011-03-14 Adam Megaczadd tutorial.coqpass to gitignore
 commit | commitdiff | tree
2011-03-14 Adam Megaczadd tutorial to the repository
 commit | commitdiff | tree
2011-03-14 Adam Megaczrename weakTypeToType'' to weakTypeToTypeOfKind
 commit | commitdiff | tree
2011-03-14 Adam Megaczrevise tyFunKind to use splitKind
 commit | commitdiff | tree
2011-03-14 Adam Megaczadd splitKind to HaskKind
 commit | commitdiff | tree
2011-03-14 Adam Megaczfix ToString instance for Kind
 commit | commitdiff | tree
2011-03-14 Adam Megaczminor cleanups in HaskStrongToWeak
 commit | commitdiff | tree
2011-03-14 Adam Megaczinclude URL for trfrac.sty and mathpartir in LaTeX...
commit | commitdiff | tree
2011-03-14 Adam Megaczfirst pass at proper handling of coercions in HaskWeak
 commit | commitdiff | tree
2011-03-14 Adam Megaczbetter error reporting in HaskWeakToStrong
 commit | commitdiff | tree
2011-03-14 Adam Megaczbetter error reporting in Extraction.v
 commit | commitdiff | tree
2011-03-14 Adam Megaczclose numerous holes in HaskStrongToProof
 commit | commitdiff | tree
2011-03-14 Adam Megaczmajor revision of HaskWeakToStrong, put phi/psi on...
commit | commitdiff | tree
2011-03-14 Adam Megaczfix spelling error in HaskWeakToCore
 commit | commitdiff | tree
2011-03-14 Adam Megaczremove weakTypeOfWeakExpr and replaceWeakTypeVar, no...
commit | commitdiff | tree
2011-03-14 Adam Megaczstore the scrutinee CoreVar in WeakExpr Case to simplify...
commit | commitdiff | tree
2011-03-14 Adam Megaczstore the magic CoreVar for hetmet brak/esc in WeakExpr...
commit | commitdiff | tree
2011-03-14 Adam Megaczdetect (->) TyCon and substitute FunTy in WeakToCore
 commit | commitdiff | tree
2011-03-14 Adam Megaczfix bugs in LaTeX output
 commit | commitdiff | tree
2011-03-14 Adam MegaczToString instance for HaskCore
 commit | commitdiff | tree
2011-03-14 Adam MegaczGeneral.addErrorMessage, orErrorBindWithMessage
 commit | commitdiff | tree
2011-03-14 Adam Megaczmove eol:string to General.v
 commit | commitdiff | tree
2011-03-13 Adam Megaczrestore HaskWeakToStrong functionality that I broke...
commit | commitdiff | tree
2011-03-13 Adam MegaczRemove unnecessary coreVar_eq_refl axiom
 commit | commitdiff | tree
2011-03-13 Adam MegaczRename Extraction.fail to Extraction.Prelude_error
 commit | commitdiff | tree
2011-03-13 Adam MegaczEliminate the need for WeakVar decidable equality axiom
 commit | commitdiff | tree
2011-03-12 Adam Megaczupdate push-url in Makefile
 commit | commitdiff | tree
2011-03-12 Adam MegaczMake the HaskStrong type representation Kind-indexed...
commit | commitdiff | tree
2011-03-09 Adam Megaczmore Makefile updates
 commit | commitdiff | tree
2011-03-07 Adam MegaczMakefile updates
 commit | commitdiff | tree
2011-03-07 Adam Megaczmake latex output use the preview package to set the...
commit | commitdiff | tree
2011-03-07 Adam Megaczadd HaskProofToStrong skeleton implementation
 commit | commitdiff | tree
2011-03-07 Adam Megaczadd HaskStrongToWeak
 commit | commitdiff | tree
2011-03-07 Adam Megaczadd HaskStrongToProof
 commit | commitdiff | tree
2011-03-07 Adam Megaczadd HaskWeakToStrong
 commit | commitdiff | tree
2011-03-07 Adam Megaczgive HaskWeak its own type representation, fix numerous...
commit | commitdiff | tree
2011-03-07 Adam Megaczbetter names for the auxiliary CaseBranch records
 commit | commitdiff | tree
2011-03-07 Adam Megaczseparate type/coer/expr variables in HaskWeak case...
commit | commitdiff | tree
2011-03-07 Adam Megaczstore variables in ELetRecBindings rather than its...
commit | commitdiff | tree
2011-03-07 Adam Megaczadd HaskWeakToCore
 commit | commitdiff | tree
2011-03-07 Adam Megaczadd proper proofs of the fact that every rule has exactly...
commit | commitdiff | tree
2011-03-07 Adam MegaczChanged WEBrak/WEEsc to store a CoreType
 commit | commitdiff | tree
2011-03-07 Adam MegaczAdded WeakVar, a separate variable representation for...
commit | commitdiff | tree
2011-03-07 Adam Megaczadded "publish" target to regenerate tex/pdf code
 commit | commitdiff | tree
2011-03-07 Adam Megaczadded HaskCoreToWeak
 commit | commitdiff | tree
2011-03-07 Adam Megaczcleaned up lots of FIXMEs in ProofToLatex
 commit | commitdiff | tree
2011-03-02 Adam MegaczInitial checkin of Coq-in-GHC code
 commit | commitdiff | tree
Coq proofs and code accompanying the HetMet extensions for GHC