Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 5, 2019

• Merge PR #9397: Simplify code for Recordops.cs_pattern_of_constr

  Show description for d9afe70
  mattam82

  committed
  d9afe70

  Copy full SHA for d9afe70

• Merge PR #9472: Add advice and an example to the documentation of fold.

  Show description for af79571
  cpitclaudel

  committed
  af79571

  Copy full SHA for af79571

• Merge PR #9373: Kernel: don't automatically downgrade ill-shaped primitive records

  Show description for b307529
  ppedrot

  committed
  b307529

  Copy full SHA for b307529

• Merge PR #9438: Cleanup universe length for inductives in vconv

  Show description for 38b1682
  ppedrot

  committed
  38b1682

  Copy full SHA for 38b1682

• Merge PR #9396: Skip indirection through Evd for obligation ustate manipulation

  Show description for 9d3394c
  mattam82

  committed
  9d3394c

  Copy full SHA for 9d3394c

• Merge PR #8421: [dune] Fix Dune build in Windows.

  Show description for 740ec84
  Zimmi48

  committed
  740ec84

  Copy full SHA for 740ec84

• Add advice and an example to the documentation of fold.

  Zimmi48

  committed
  3d04d57

  Copy full SHA for 3d04d57

Commits on Feb 4, 2019

• Merge PR #9470: the default branch of Mtac2 changed to master

  Show description for 5c1d7fc
  ejgallego

  committed
  5c1d7fc

  Copy full SHA for 5c1d7fc

• Merge PR #9468: Remove AppVeyor: superseded by Azure.

  Show description for f177aa5
  ejgallego

  committed
  f177aa5

  Copy full SHA for f177aa5

• the default branch of Mtac2 changed to master

  beta-ziliani

  committed
  402458b

  Copy full SHA for 402458b

• [dune] Fix Dune build in Windows.

  Show description for 0439543
  ejgallego

  committed
  0439543

  Copy full SHA for 0439543

• Remove AppVeyor: superseded by Azure.

  Zimmi48

  committed
  5cf7224

  Copy full SHA for 5cf7224

• Merge PR #6914: Primitive integers

  Show description for c70412e
  ppedrot

  committed
  c70412e

  Copy full SHA for c70412e

• Merge PR #9317: Restrict universes in records.

  Show description for 720ee27
  ppedrot

  committed
  720ee27

  Copy full SHA for 720ee27

• Merge PR #9144: Fixes #4633: clearer message unknown existential

  Show description for d5722a2
  ppedrot

  committed
  d5722a2

  Copy full SHA for d5722a2

• Merge PR #9409: Move non-primitive-record warning to declare_mutual_inductive_with_eliminations

  Show description for 8e73ceb
  ppedrot

  committed
  8e73ceb

  Copy full SHA for 8e73ceb

• Merge PR #9437: Comment universe operations in Classes.context

  Show description for 4fdbf90
  ppedrot

  committed
  4fdbf90

  Copy full SHA for 4fdbf90

• Merge PR #9386: Pass some files to strict focusing mode.

  Show description for 79c87ab
  ppedrot

  committed
  79c87ab

  Copy full SHA for 79c87ab

• Overlays.

  

  maximedenes

  authored and

  vbgl

  committed
  191e253

  Copy full SHA for 191e253

• Primitive integers

  Show description for e43b176
  

  3 peoplecommitted
  e43b176

  Copy full SHA for e43b176

• Dockerfile: update menhir from 20180530 to 20181113

  vbgl

  committed
  a1b7f53

  Copy full SHA for a1b7f53

• Merge PR #9368: Discard argument names of section variables on section close

  Show description for 127f1fe
  ppedrot

  committed
  127f1fe

  Copy full SHA for 127f1fe

• Merge PR #8690: [toplevel] Split interactive toplevel and compiler binaries.

  Show description for 129d475
  maximedenes

  committed
  129d475

  Copy full SHA for 129d475

• Merge PR #9426: [test-suite] Fix display of check.

  Show description for 0be49a4
  gares

  committed
  0be49a4

  Copy full SHA for 0be49a4

• Merge PR #9454: Fix off-by-one error in nat syntax warnings

  Show description for 2de5a4b
  ppedrot

  committed
  2de5a4b

  Copy full SHA for 2de5a4b

• Merge PR #9452: [proof] optimize proof always works on incomplete proofs

  Show description for 6adc576
  ppedrot

  committed
  6adc576

  Copy full SHA for 6adc576

• Merge PR #9461: Fix default goal selector error message.

  Show description for 019123c
  ppedrot

  committed
  019123c

  Copy full SHA for 019123c

• Merge PR #9291: Do not take universes into account in lia reification.

  Show description for a5f260d
  fajb

  committed
  a5f260d

  Copy full SHA for a5f260d

Commits on Feb 2, 2019

• Merge PR #9250: coqchk: fix check for kelim with functors

  Show description for 8eeb5d6
  ppedrot

  committed
  8eeb5d6

  Copy full SHA for 8eeb5d6

• Merge PR #9395: Global [open Univ] in UState

  Show description for 0d4b9df
  ppedrot

  committed
  0d4b9df

  Copy full SHA for 0d4b9df

Commits on Feb 1, 2019

• Fix default goal selector error message.

  SkySkimmer

  committed
  9b39f65

  Copy full SHA for 9b39f65

• Merge PR #8062: Add Z.div_mod_to_quot_rem tactic, put it in zify

  Show description for f4cf212
  vbgl

  committed
  f4cf212

  Copy full SHA for f4cf212

• [toplevel] Split interactive toplevel and compiler binaries.

  Show description for 103f59e
  ejgallego

  committed
  103f59e

  Copy full SHA for 103f59e

• Merge PR #9415: Simplify the GitHub issue template

  Show description for 506136d
  maximedenes

  committed
  506136d

  Copy full SHA for 506136d

• Merge PR #9095: [toplevel] Deprecate `-compile` flag in favor of `coqc`

  Show description for aa2394d
  maximedenes

  committed
  aa2394d

  Copy full SHA for aa2394d

Pagination

Previous

Next