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 cf3b8d4eb4 chore: cleanup 
Make the code style more uniform.
We still have a lot of leftovers from the old frontend.
2022-01-26 09:18:17 -08:00
..
Basic.lean chore: cleanup 2022-01-26 09:18:17 -08:00
Borrow.lean chore: cleanup 2022-01-26 09:18:17 -08:00
Boxing.lean chore: cleanup 2022-01-26 09:18:17 -08:00
Checker.lean chore: remove when and «unless» 2021-03-20 18:52:18 -07:00
CompilerM.lean chore: cleanup 2022-01-26 09:18:17 -08:00
CtorLayout.lean chore: update structure, class, inductive 2020-11-27 15:09:30 -08:00
ElimDeadBranches.lean chore: cleanup 2022-01-26 09:18:17 -08:00
ElimDeadVars.lean chore: cleanup 2022-01-26 09:18:17 -08:00
EmitC.lean chore: cleanup 2022-01-26 09:18:17 -08:00
EmitUtil.lean chore: cleanup 2022-01-26 09:18:17 -08:00
ExpandResetReuse.lean chore: cleanup 2022-01-26 09:18:17 -08:00
Format.lean chore: fix codebase 2021-12-10 13:12:09 -08:00
FreeVars.lean chore: cleanup 2022-01-26 09:18:17 -08:00
LiveVars.lean chore: remove some [specialize] annotations 2022-01-18 09:24:06 -08:00
NormIds.lean chore: cleanup 2022-01-26 09:18:17 -08:00
PushProj.lean chore: cleanup 2022-01-26 09:18:17 -08:00
RC.lean chore: cleanup 2022-01-26 09:18:17 -08:00
ResetReuse.lean chore: cleanup 2022-01-26 09:18:17 -08:00
SimpCase.lean chore: cleanup 2022-01-26 09:18:17 -08:00
Sorry.lean fix: do not evaluate code containing sorry 2021-01-26 15:01:53 -08:00
UnboxResult.lean chore: cleanup 2022-01-26 09:18:17 -08:00