max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Lean/Compiler/IR
History
Leonardo de Moura 3896244c55 chore: cleanup
2022-07-25 22:39:56 -07:00
..
Basic.lean chore: cleanup 2022-07-25 22:39:56 -07:00
Borrow.lean chore: cleanup 2022-07-25 22:39:56 -07:00
Boxing.lean chore: cleanup 2022-07-25 22:39:56 -07:00
Checker.lean chore: cleanup 2022-07-25 22:39:56 -07:00
CompilerM.lean chore: cleanup 2022-07-25 22:39:56 -07:00
CtorLayout.lean feat: replace constant with opaque 2022-06-14 17:02:59 -07:00
ElimDeadBranches.lean chore: cleanup 2022-07-25 22:39:56 -07:00
ElimDeadVars.lean chore: cleanup 2022-07-25 22:39:56 -07:00
EmitC.lean chore: cleanup 2022-07-25 22:39:56 -07:00
EmitUtil.lean chore: cleanup 2022-07-25 22:39:56 -07:00
ExpandResetReuse.lean chore: cleanup 2022-07-25 22:39:56 -07:00
Format.lean chore: unused variables 2022-06-07 17:54:10 -07:00
FreeVars.lean chore: cleanup 2022-07-25 22:39:56 -07:00
LiveVars.lean chore: convert doc/mod comments from /- to /--//-! (#1354) 2022-07-22 12:05:31 -07:00
NormIds.lean chore: cleanup 2022-07-25 22:39:56 -07:00
PushProj.lean chore: cleanup 2022-07-25 22:39:56 -07:00
RC.lean chore: cleanup 2022-07-25 22:39:56 -07:00
ResetReuse.lean chore: cleanup 2022-07-25 22:39:56 -07:00
SimpCase.lean chore: cleanup 2022-07-25 22:39:56 -07:00
Sorry.lean chore: cleanup 2022-07-25 22:39:56 -07:00
UnboxResult.lean chore: cleanup 2022-01-26 09:18:17 -08:00