| .. |
|
IR
|
feat: relaxed reset/reuse in the code generator (#4100)
|
2024-05-07 22:08:32 +00:00 |
|
LCNF
|
fix: do not lift (<- ...) over pure if-then-else (#3820)
|
2024-04-01 21:33:59 +00:00 |
|
AtMostOnce.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
BorrowedAnnotation.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
ClosedTermCache.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
ConstFolding.lean
|
fix: miscompilation in constant folding (#4311)
|
2024-05-31 04:24:45 +00:00 |
|
CSimpAttr.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
ExportAttr.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
ExternAttr.lean
|
feat: display diagnostic information at term and tactic set_option diagnostics true (#4048)
|
2024-05-01 22:47:57 +00:00 |
|
FFI.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
ImplementedByAttr.lean
|
feat: reserved names (#3675)
|
2024-03-15 00:33:22 +00:00 |
|
InitAttr.lean
|
fix: allow multiple declareBuiltin per declaration
|
2024-05-23 17:23:39 +02:00 |
|
InlineAttrs.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
IR.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
LCNF.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Main.lean
|
feat: trace.profiler export to Firefox Profiler (#3801)
|
2024-04-15 12:13:14 +00:00 |
|
NameMangling.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
NeverExtractAttr.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
NoncomputableAttr.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Old.lean
|
feat: propagate maxHeartbeats to kernel (#4113)
|
2024-05-09 17:44:19 +00:00 |
|
Options.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Specialize.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
