Commits

Branch selector

 master

User selector

ejgallego

Datepicker

All time

Commit History

Commits on Jun 22, 2020

• Merge PR #12546: [ci] Use a tested branch of Perennial

  Show description for 257564b
  ejgallego

  committed
  257564b

  Copy full SHA for 257564b

Commits on Jun 13, 2020

• [toplevel] Annotate tailcall functions

  Show description for ce26ccf
  ejgallego

  committed
  ce26ccf

  Copy full SHA for ce26ccf

Commits on Jun 11, 2020

• [test-suite] [stm] Interactive test case for fail-on-qed.

  ejgallego

  committed
  213c928

  Copy full SHA for 213c928

• [stm] Simplify logic involving forced futures.

  Show description for 558b24c
  ejgallego

  committed
  558b24c

  Copy full SHA for 558b24c

• [declare] Remove some unused `fix_exn`

  Show description for 0e2897d
  ejgallego

  committed
  0e2897d

  Copy full SHA for 0e2897d

• Merge PR #12481: Minor improvements to the sections on basics and sorts.

  Show description for 55d1ea3
  ejgallego

  committed
  55d1ea3

  Copy full SHA for 55d1ea3

• Merge PR #12492: Fix Windows addons.

  Show description for 965c095
  ejgallego

  committed
  965c095

  Copy full SHA for 965c095

• [dune] [dbg] Fix coqide target after CoqIDE move.

  Show description for 7fb7c9e
  ejgallego

  committed
  7fb7c9e

  Copy full SHA for 7fb7c9e

Commits on Jun 8, 2020

• [ci] [overlays] Pin unicoq to a stable version.

  Show description for 6e09f3a
  ejgallego

  committed
  6e09f3a

  Copy full SHA for 6e09f3a

• Merge PR #12480: Don't suggest Proof using when no section variables

  Show description for c0f4d0f
  ejgallego

  committed
  c0f4d0f

  Copy full SHA for c0f4d0f

• Merge PR #12451: Fix Flocq build on Windows.

  ejgallego

  committed
  61744ac

  Copy full SHA for 61744ac

Commits on Jun 5, 2020

• Merge PR #12450: Document known issue of Proof <term> with PG.

  Show description for e9bba6f
  ejgallego

  committed
  e9bba6f

  Copy full SHA for e9bba6f

• Merge PR #12460: Add remaining 8.12+beta1 changelog entries.

  Show description for 2f2d21a
  ejgallego

  committed
  2f2d21a

  Copy full SHA for 2f2d21a

• Merge PR #12459: Document incompatibility with Sphinx 3.

  Show description for e36b1c2
  ejgallego

  committed
  e36b1c2

  Copy full SHA for e36b1c2

• Merge PR #12437: Fix ONLY_WINDOWS in .gitlab-ci.yml.

  Show description for 7bfd2bf
  ejgallego

  committed
  7bfd2bf

  Copy full SHA for 7bfd2bf

• Merge PR #12397: Fix #12280: do not use xindy to avoid build failures on some machines.

  Show description for c937f72
  ejgallego

  committed
  c937f72

  Copy full SHA for c937f72

• Merge PR #12456: Fix version switcher when building with Dune.

  Show description for de43053
  ejgallego

  committed
  de43053

  Copy full SHA for de43053

Commits on Jun 3, 2020

• [declare] Hide internals of variable declaration entries.

  Show description for 6fe12fd
  ejgallego

  committed
  6fe12fd

  Copy full SHA for 6fe12fd

Commits on Jun 2, 2020

• Merge PR #11974: Require in Section: warning is now about fragility not deprecation.

  Show description for d495815
  ejgallego

  committed
  d495815

  Copy full SHA for d495815

Commits on Jun 1, 2020

• Merge PR #12396: Release notes 8.12

  Show description for a1fa186
  ejgallego

  committed
  a1fa186

  Copy full SHA for a1fa186

• Merge PR #12422: Fixes #12418: an assert false in inference of return clause

  Show description for 558e20c
  ejgallego

  committed
  558e20c

  Copy full SHA for 558e20c

Commits on May 29, 2020

• Merge PR #12421: Fixes for compilation without native dynlink

  Show description for d75b889
  ejgallego

  committed
  d75b889

  Copy full SHA for d75b889

Commits on May 27, 2020

• Merge PR #12408: Fix output tests for location errors when running in async mode.

  Show description for 35e1757
  ejgallego

  committed
  35e1757

  Copy full SHA for 35e1757

Commits on May 26, 2020

• [declare] Split univs_poly_private in close_proof

  Show description for 288110c
  ejgallego

  committed
  288110c

  Copy full SHA for 288110c

• [declare] Factor common universe computation in close proof.

  ejgallego

  committed
  afa3d2f

  Copy full SHA for afa3d2f

• [declare] Split univs_deferred in close_proof

  Show description for 7661029
  ejgallego

  committed
  7661029

  Copy full SHA for 7661029

• [declare] Factor out universe computation in close_proof

  Show description for 3b38364
  ejgallego

  committed
  3b38364

  Copy full SHA for 3b38364

• [declare] Nit on errors.

  ejgallego

  committed
  e1a3216

  Copy full SHA for e1a3216

• [declare] Turn restrict_ucontext hack into an internal parameter

  Show description for d9d4dcb
  ejgallego

  committed
  d9d4dcb

  Copy full SHA for d9d4dcb

• [nit] Remove unused exported error message in obligations

  ejgallego

  committed
  baef982

  Copy full SHA for baef982

• [declare] Don't expose internal parameter obls

  ejgallego

  committed
  09891ac

  Copy full SHA for 09891ac

• [declare] Simplify exported type of definition_entry

  Show description for 946c6c7
  ejgallego

  committed
  946c6c7

  Copy full SHA for 946c6c7

Commits on May 20, 2020

• [obligations] [nit] Refactor obligation printing.

  ejgallego

  committed
  e0dc8cb

  Copy full SHA for e0dc8cb

• [obligations] `declare_obligation` now takes an `UState.t`

  Show description for 7db54ab
  ejgallego

  committed
  7db54ab

  Copy full SHA for 7db54ab

• [declare] [nit] Use proper type alias for in ProgramDecl interface

  ejgallego

  committed
  bb46ed3

  Copy full SHA for bb46ed3

Pagination

Previous

Next