I

iron lambda

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 6 hours ago. based on code collected about 6 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Dec 30, 2024 — Dec 30, 2025 Showing page 9 of 11 Search / Filter on:
SystemF2Effect: fix lemma for maskOnVar	Ben Lippmeier	More...				almost 13 years ago
Unbreak other languages after norm tactic changes	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: get it building again	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: in progress wibbling tactics	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: refactor how normalisation tactics work	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: finish mask_liftTT	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: more on maskOnVar lemmas	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: more work on masking lemmas	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: fix XUse case in weak ki env	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: fix admits in type_kind	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: do mask_kind	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: admit out missing things	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: add preservation of kind under masking	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: add MaskOnCap	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: cut crap out of mask lemma	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: adding effect masking	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: factor out types of primops into their own function	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: requre region cap to be in store props in kind judgement	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: add store properties to kind judgement	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: use type level capabilities instead of TyConRegion	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: fix preservation when reading store bindings	Ben Lippmeier	More...				almost 13 years ago
Fix admits in Preservation	Ben Lippmeier	More...				almost 13 years ago
Comments only	Ben Lippmeier	More...				almost 13 years ago
Fix admits in type_kind_effect	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: fix admits in type subst	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: do liftTT_substTT lemma	Ben Lippmeier	More...				almost 13 years ago
Simple beluga: start reduction	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: work on horrow show lowerTT lemmas	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: Finish Preservation / EsAlloc	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: rubbish proof for lowerTT_liftTT_some	Ben Lippmeier	More...				almost 13 years ago

←
1
2
3
4
5
6
7
8
9
10
11
→