git.megacz.com Git - coq-hetmet.git/commit - src/HaskProof.v

projects / coq-hetmet.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 24445b5) | patch

author	Adam Megacz <megacz@cs.berkeley.edu>
	Tue, 15 Mar 2011 00:40:24 +0000 (17:40 -0700)
committer	Adam Megacz <megacz@cs.berkeley.edu>
	Tue, 15 Mar 2011 00:40:24 +0000 (17:40 -0700)
commit	2ec43bc871b579bac89707988c4855ee1d6c8eda
tree	86f019433fad574d47ead970d8483cf307022e9c	tree \| snapshot
parent	24445b56cb514694c603c342d77cbc8329a4b0aa	commit \| diff

reshuffle definitions in an attempt to iron out inter-file dependenceies

17 files changed:

src/Extraction.v		diff \| blob \| history
src/HaskCore.v		diff \| blob \| history
src/HaskCoreToWeak.v		diff \| blob \| history
src/HaskCoreTypes.v		diff \| blob \| history
src/HaskCoreVars.v		diff \| blob \| history
src/HaskLiteralsAndTyCons.v	[moved from src/HaskCoreLiterals.v with 74% similarity]	diff \| blob \| history
src/HaskProof.v		diff \| blob \| history
src/HaskProofToLatex.v		diff \| blob \| history
src/HaskStrong.v		diff \| blob \| history
src/HaskStrongToProof.v		diff \| blob \| history
src/HaskStrongToWeak.v		diff \| blob \| history
src/HaskStrongTypes.v		diff \| blob \| history
src/HaskWeak.v		diff \| blob \| history
src/HaskWeakToCore.v		diff \| blob \| history
src/HaskWeakToStrong.v		diff \| blob \| history
src/HaskWeakTypes.v		diff \| blob \| history
src/HaskWeakVars.v		diff \| blob \| history

Coq proofs and code accompanying the HetMet extensions for GHC