git.megacz.com Git - coq-hetmet.git/history

2011-05-28	Adam Megacz	rename constructors of Arrange to start with A instead...	blob \| commitdiff
2011-05-27	Adam Megacz	add commented-out/incomplete implementation of simplify...	blob \| commitdiff \| diff to current
2011-05-26	Adam Megacz	note to self in HaskWeak	blob \| commitdiff \| diff to current
2011-05-09	Adam Megacz	split HaskLiteralsAndTyCons into two files	blob \| commitdiff \| diff to current
2011-03-15	Adam Megacz	reshuffle definitions in an attempt to iron out inter...	blob \| commitdiff \| diff to current
2011-03-14	Adam Megacz	add support for CSP in HaskCore+HaskWeak	blob \| commitdiff \| diff to current
2011-03-14	Adam Megacz	remove dead code from HaskWeak	blob \| commitdiff \| diff to current
2011-03-14	Adam Megacz	remove weakTypeOfWeakExpr and replaceWeakTypeVar, no...	blob \| commitdiff \| diff to current
2011-03-14	Adam Megacz	store the scrutinee CoreVar in WeakExpr Case to simplif...	blob \| commitdiff \| diff to current
2011-03-14	Adam Megacz	store the magic CoreVar for hetmet brak/esc in WeakExpr...	blob \| commitdiff \| diff to current
2011-03-13	Adam Megacz	restore HaskWeakToStrong functionality that I broke...	blob \| commitdiff \| diff to current
2011-03-13	Adam Megacz	Eliminate the need for WeakVar decidable equality axiom	blob \| commitdiff \| diff to current
2011-03-12	Adam Megacz	Make the HaskStrong type representation Kind-indexed...	blob \| commitdiff \| diff to current
2011-03-07	Adam Megacz	give HaskWeak its own type representation, fix numerous...	blob \| commitdiff \| diff to current
2011-03-07	Adam Megacz	separate type/coer/expr variables in HaskWeak case...	blob \| commitdiff \| diff to current
2011-03-07	Adam Megacz	Changed WEBrak/WEEsc to store a CoreType	blob \| commitdiff \| diff to current
2011-03-07	Adam Megacz	Added WeakVar, a separate variable representation for...	blob \| commitdiff \| diff to current
2011-03-02	Adam Megacz	Initial checkin of Coq-in-GHC code	blob \| commitdiff \| diff to current

Coq proofs and code accompanying the HetMet extensions for GHC

RSS Atom