I

iron lambda

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jan 22, 2025 — Jan 22, 2026 Showing page 7 of 11 Search / Filter on:
SystemF2Effect: finish maskOnT_subsT	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: do maskOnTs lemmas	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: finish maskOnVarT_liftTT	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: fix admits in Preservation / SfRegionPop	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: finish bunchT lemmas	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: rename KIND -> KindT	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: move KIND judge	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: fix SubsT lemmas	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: split SubsVisibleT into own module	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: unbreak preservation	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: fixup uses of maskOnVarT	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: fixup mask	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: bunchT/flattenT lemmas	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: add type utils	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: in progress redoing masking	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: move modules around	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: cleanups	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: work on subsT_maskOnCapT via maskOnCapTs	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: more on EquivTs	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: work on EquivTs / SubsTs	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: feeble hacks on preservation	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: redo EquivT and SubsT to require related types to be well kinded	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: fixing closedT goals in preservation SfRegionNew	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: finish preservation for SfRegionPop	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: sort out store well formedness relations	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: show new region handles not in exisitng frame stack	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: unbreak progress	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: cleaning up allocRegion	Ben Lippmeier	More...				almost 13 years ago
Shift max lemmas to base library	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: isolate region phase change for effects	Ben Lippmeier	More...				almost 13 years ago

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