Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 22, 2023

• fix: PackMutual: Eta-Expand as needed (leanprover#2902)

  Show description for 260eaeb
  nomeata

  authored
  260eaeb

  Copy full SHA for 260eaeb

Commits on May 31, 2023

• chore: expand docstring for TransformStep.visit

  leodemoura

  committed
  e04d67f

  Copy full SHA for e04d67f

Commits on Sep 14, 2022

• chore: use new comment syntax

  

  gebner

  authored and

  leodemoura

  committed
  f1b5fa5

  Copy full SHA for f1b5fa5

Commits on Aug 26, 2022

• fix: Core.transform API and uses

  

  Kha

  authored and

  leodemoura

  committed
  e81ba95

  Copy full SHA for e81ba95

Commits on Jul 11, 2022

• refactor: use computed fields for Expr

  

  gebner

  authored and

  leodemoura

  committed
  a8cab84

  Copy full SHA for a8cab84

Commits on Jun 18, 2022

• fix: traverseChildrenWithPos bug

  

  EdAyers

  authored and

  leodemoura

  committed
  0707e4d

  Copy full SHA for 0707e4d

• feat: with pos expr traversal functions

  

  EdAyers

  authored and

  leodemoura

  committed
  0e84f67

  Copy full SHA for 0e84f67

• refactor: more extract methods from transform

  

  EdAyers

  authored and

  leodemoura

  committed
  562070f

  Copy full SHA for 562070f

• refactor: extract methods from Lean.Meta.transform

  Show description for 8311c88
  

  EdAyers

  authored and

  leodemoura

  committed
  8311c88

  Copy full SHA for 8311c88

Commits on Jun 8, 2022

• chore: unused variables

  leodemoura

  committed
  041827b

  Copy full SHA for 041827b

Commits on Jun 6, 2022

• doc: fix transform docstring

  Vtec234

  authored
  5b13a49

  Copy full SHA for 5b13a49

Commits on May 31, 2022

• feat: zetaReduce should expand nested let-expressions too

  leodemoura

  committed
  704242f

  Copy full SHA for 704242f

• feat: add usedLetOnly parameter to Meta.transform

  leodemoura

  committed
  d8aab85

  Copy full SHA for d8aab85

Commits on Apr 8, 2022

• fix: pattern hover information

  Show description for 3cf425b
  leodemoura

  committed
  3cf425b

  Copy full SHA for 3cf425b

Commits on Mar 16, 2022

• perf: add InstantiateLevelCaches for types and values at CoreM

  leodemoura

  committed
  0bd9de1

  Copy full SHA for 0bd9de1

Commits on Feb 23, 2022

• fix: unfold auxiliary theorems created by decreasing_tactic

  leodemoura

  committed
  dbe9bf6

  Copy full SHA for dbe9bf6

Commits on Feb 9, 2022

• fix: preserve unused let-decls at Meta.transform

  leodemoura

  committed
  8fbe706

  Copy full SHA for 8fbe706

Commits on May 5, 2021

• fix: another instance of the binder cache issue

  Show description for 660c498
  leodemoura

  committed
  660c498

  Copy full SHA for 660c498

Commits on Jan 17, 2021

• fix: make Meta.transform use matching aux functions

  Show description for 65c0c78
  

  zygi

  authored and

  Kha

  committed
  65c0c78

  Copy full SHA for 65c0c78

Commits on Dec 31, 2020

• feat: expand let-decls at decide!

  leodemoura

  committed
  90428cc

  Copy full SHA for 90428cc

Commits on Dec 13, 2020

• feat: add betaReduce

  leodemoura

  committed
  f345c8c

  Copy full SHA for f345c8c

Commits on Dec 7, 2020

• chore: change checkCache type

  leodemoura

  committed
  265b757

  Copy full SHA for 265b757

Commits on Nov 27, 2020

• chore: update structure, class, inductive

  leodemoura

  committed
  0869f38

  Copy full SHA for 0869f38

Commits on Nov 19, 2020

• feat: use |>.

  leodemoura

  committed
  f67c931

  Copy full SHA for f67c931

• chore: use :=

  leodemoura

  committed
  c305c26

  Copy full SHA for c305c26

• feat: add Core.transform

  leodemoura

  committed
  45cd9fe

  Copy full SHA for 45cd9fe

• feat: add transform

  leodemoura

  committed
  83deff4

  Copy full SHA for 83deff4

Loading