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

projects / coq-hetmet.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 8282f5a) | patch

author	Adam Megacz <megacz@cs.berkeley.edu>
	Mon, 7 Mar 2011 13:41:46 +0000 (05:41 -0800)
committer	Adam Megacz <megacz@cs.berkeley.edu>
	Mon, 7 Mar 2011 13:41:46 +0000 (05:41 -0800)
commit	bcb16a7fa1ff772f12807c4587609fd756b7762e
tree	e782258469ccc4e1242a6a62f4b2e9f3d8eba5d0	tree \| snapshot
parent	8282f5a7639dbe862bba29d3170d58b81bbb1446	commit \| diff

give HaskWeak its own type representation, fix numerous bugs

19 files changed:

Makefile		diff \| blob \| history
src/General.v		diff \| blob \| history
src/HaskCore.v		diff \| blob \| history
src/HaskCoreLiterals.v	[moved from src/HaskLiterals.v with 74% similarity]	diff \| blob \| history
src/HaskCoreToWeak.v		diff \| blob \| history
src/HaskCoreTypes.v		diff \| blob \| history
src/HaskCoreVars.v		diff \| blob \| history
src/HaskGeneral.v	[deleted file]	blob \| history
src/HaskKinds.v	[new file with mode: 0644]	blob
src/HaskProof.v		diff \| blob \| history
src/HaskProofToLatex.v		diff \| blob \| history
src/HaskStrong.v		diff \| blob \| history
src/HaskStrongTypes.v		diff \| blob \| history
src/HaskWeak.v		diff \| blob \| history
src/HaskWeakToCore.v		diff \| blob \| history
src/HaskWeakTypes.v	[new file with mode: 0644]	blob
src/HaskWeakVars.v		diff \| blob \| history
src/Main.v	[deleted file]	blob \| history
src/Preamble.v		diff \| blob \| history

Coq proofs and code accompanying the HetMet extensions for GHC