Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 21, 2018

• fix(library/init/data/list/basic): list.lt

  leodemoura

  committed
  ceacfa7

  Copy full SHA for ceacfa7

Commits on May 18, 2018

• chore(src/CMakeLists): prepare for next release

  Show description for a4aae53
  Kha

  authored
  a4aae53

  Copy full SHA for a4aae53

Commits on Apr 30, 2018

• chore(README): update README

  leodemoura

  committed
  e181232

  Copy full SHA for e181232

Commits on Apr 28, 2018

• chore(*): release version 3.4.1

  Kha

  committed
  17fe3de

  Copy full SHA for 17fe3de

Commits on Apr 20, 2018

• fix(*): revert broken typed_expr refactorings

  Show description for f59c2f0
  Kha

  committed
  f59c2f0

  Copy full SHA for f59c2f0

Commits on Apr 17, 2018

• chore(*): add note saying 3.4.0 is the last release for the 3.x family

  leodemoura

  committed
  dd6e91f

  Copy full SHA for dd6e91f

Commits on Apr 16, 2018

• chore(*): release version 3.4.0

  leodemoura

  committed
  4be96ea

  Copy full SHA for 4be96ea

• chore(.appveyor.yml): fix non-nightly builds

  Kha

  committed
  d415718

  Copy full SHA for d415718

• fix(library/type_context): unifier failed to solve ?m =?= fun x_1 ... x_n, ?m x_1 ... x_n

  Show description for e676404
  leodemoura

  committed
  e676404

  Copy full SHA for e676404

• fix(library/noncomputable): bug at is_noncomputable

  Show description for 0b5f1f3
  leodemoura

  committed
  0b5f1f3

  Copy full SHA for 0b5f1f3

• chore(tests/lean/run/simp_norm): fix test

  leodemoura

  committed
  169f7f2

  Copy full SHA for 169f7f2

• test(tests/lean/run/parse_match_issue): test for previous commit

  Show description for 00e1dcc
  leodemoura

  committed
  00e1dcc

  Copy full SHA for 00e1dcc

• fix(library/type_context): improve is_def_eq_args

  leodemoura

  committed
  4849274

  Copy full SHA for 4849274

Commits on Apr 14, 2018

• fix(.appveyor.yml): nightly build

  Kha

  committed
  d97d77f

  Copy full SHA for d97d77f

Commits on Apr 13, 2018

• chore(.travis.yml): trigger AppVeyor nightly build from Travis

  Kha

  committed
  ee6f323

  Copy full SHA for ee6f323

Commits on Apr 12, 2018

• fix(init/core): typed_expr should accept Props

  Show description for 92499ba
  Kha

  committed
  92499ba

  Copy full SHA for 92499ba

Commits on Apr 11, 2018

• test(tests/lean/1956): test for leanprover#1956

  leodemoura

  committed
  f863667

  Copy full SHA for f863667

• fix(frontends/lean/definition_cmds): fixes leanprover#1956

  leodemoura

  committed
  e201ee2

  Copy full SHA for e201ee2

Commits on Apr 10, 2018

• chore(library/delayed_abstraction): add missing 'virtual'

  leodemoura

  committed
  d36b859

  Copy full SHA for d36b859

Commits on Apr 9, 2018

• refactor(library/typed_expr): move typed_expr to frontends/lean

  leodemoura

  committed
  c08a3bc

  Copy full SHA for c08a3bc

• refactor(library/typed_expr): do not use macros for implementing typed_expr

  Show description for bcaa0b2
  leodemoura

  committed
  bcaa0b2

  Copy full SHA for bcaa0b2

• chore(*): rename expr_struct_* to expr_*

  Show description for 8dd53cd
  leodemoura

  committed
  8dd53cd

  Copy full SHA for 8dd53cd

• chore(kernel): remove m_hash_alloc field from expressions

  Show description for faf8e02
  leodemoura

  committed
  faf8e02

  Copy full SHA for faf8e02

Commits on Apr 4, 2018

• fix(init/core): remove out_param from has_pow

  Show description for 8f55ec4
  Kha

  committed
  8f55ec4

  Copy full SHA for 8f55ec4

• chore(tests/lean/struct_class): make test less prone to breakage

  Kha

  committed
  3d692c5

  Copy full SHA for 3d692c5

Commits on Apr 2, 2018

• fix(util/numeric/mpbq): remove unimplemented move constructor

  Show description for 96c932a
  Kha

  committed
  96c932a

  Copy full SHA for 96c932a

• chore(library/util): don't hide commit hash for nightlies

  Kha

  committed
  17affbd

  Copy full SHA for 17affbd

Commits on Mar 29, 2018

• fix(library/init/core): closes leanprover#1951

  Show description for d387103
  leodemoura

  committed
  d387103

  Copy full SHA for d387103

• test(tests/lean/1952b): another test for issue leanprover#1952

  Show description for 6e0bf84
  leodemoura

  committed
  6e0bf84

  Copy full SHA for 6e0bf84

• fix(library/type_context): elim_delayed_abstraction must check whether metavariable is already assigned

  Show description for 66e7873
  leodemoura

  committed
  66e7873

  Copy full SHA for 66e7873

• chore(library/compiler/inliner): fix weird include

  leodemoura

  committed
  8e82326

  Copy full SHA for 8e82326

• chore(script/deploy_nightly): show git log

  Kha

  committed
  65cb5e2

  Copy full SHA for 65cb5e2

• chore(script/setup_nightly): fix OS X and repeated nightly builds

  Kha

  committed
  56f823b

  Copy full SHA for 56f823b

Commits on Mar 27, 2018

• refactor(library/init/core,library/init/unit): make unit an abbreviation of punit.{0}

  

  Kha

  authored and

  leodemoura

  committed
  3fefe94

  Copy full SHA for 3fefe94

Commits on Mar 26, 2018

• perf(library/type_context): performance issue when proving equation lemmas

  leodemoura

  committed
  efa9d7e

  Copy full SHA for efa9d7e

Pagination

Previous

Next