GitHub - digama0/kremlin: Lean port of the CompCert project in Coq, for the KreMLin compiler

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
archi		archi
.gitignore		.gitignore
archi.lean		archi.lean
ast.lean		ast.lean
clight.lean		clight.lean
cminor.lean		cminor.lean
cop.lean		cop.lean
ctypes.lean		ctypes.lean
errors.lean		errors.lean
events.lean		events.lean
floats.lean		floats.lean
flocq.lean		flocq.lean
globalenvs.lean		globalenvs.lean
integers.lean		integers.lean
lib.lean		lib.lean
linking.lean		linking.lean
maps.lean		maps.lean
memdata.lean		memdata.lean
memory.lean		memory.lean
switch.lean		switch.lean
values.lean		values.lean
word.lean		word.lean