GitHub - briangmilnes/CycloneTwelfSemantics

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
frozen-before-loc		frozen-before-loc
README.txt		README.txt
ak.elf		ak.elf
assgn.elf		assgn.elf
canonical_forms.elf		canonical_forms.elf
commuting_substitutions.elf		commuting_substitutions.elf
context_weakening.elf		context_weakening.elf
cyclone.cfg		cyclone.cfg
cyclone.tag		cyclone.tag
dynamic_semantics.elf		dynamic_semantics.elf
formal-syntax.elf		formal-syntax.elf
getset.elf		getset.elf
gettype.elf		gettype.elf
heap.elf		heap.elf
heap_object_safety.elf		heap_object_safety.elf
heap_weakening.elf		heap_weakening.elf
htyp.elf		htyp.elf
k.elf		k.elf
l.elf		l.elf
ltyp.elf		ltyp.elf
nat.elf		nat.elf
path_extension.elf		path_extension.elf
prog.elf		prog.elf
r.elf		r.elf
refp.elf		refp.elf
representation.txt		representation.txt
ret.elf		ret.elf
return_presevation.elf		return_presevation.elf
rtyp.elf		rtyp.elf
s.elf		s.elf
static_semantics.elf		static_semantics.elf
styp.elf		styp.elf
substitution.elf		substitution.elf
term_preservation.elf		term_preservation.elf
term_progress.elf		term_progress.elf
term_weakening.elf		term_weakening.elf
type_safety.elf		type_safety.elf
upsilon.elf		upsilon.elf
useless_substitution.elf		useless_substitution.elf
value.elf		value.elf
wf.elf		wf.elf

Repository files navigation

 An attempt at getting Twelf semantics for Dan Grossman's Thesis part 1.

No description, website, or topics provided.

No releases published

No packages published