Commits

Branch selector

 mastermirror

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 13, 2020

• Merge PR #11285: fix #11279. Specialize h no longer expands letins in the type of h.

  Show description for 7cde333
  ppedrot

  committed
  7cde333

  Copy full SHA for 7cde333

• Merge PR #11280: Fix #11195 and add other improvements: try loading .vio (and not just…

  Show description for 7d81f23
  ppedrot

  committed
  7d81f23

  Copy full SHA for 7d81f23

Commits on Jan 12, 2020

• fix #11279. Specialize h no longer expands letins in the type of h.

  Show description for 8792f98
  Matafou

  committed
  8792f98

  Copy full SHA for 8792f98

Commits on Jan 11, 2020

• Merge PR #11367: Minor cleanup of indtypes/indtyping

  Show description for cea51c8
  ppedrot

  committed
  cea51c8

  Copy full SHA for cea51c8

• Merge PR #11349: [refman] [changelog] Announce omega replacement.

  Show description for 8a5e3cd
  ppedrot

  committed
  8a5e3cd

  Copy full SHA for 8a5e3cd

Commits on Jan 10, 2020

• Merge PR #11387: [refman] missing space in "Controlling the locality of commands"

  Show description for ba6ea75
  Zimmi48

  committed
  ba6ea75

  Copy full SHA for ba6ea75

• Merge PR #11385: Add badges for Docker Hub and coqorg/coq:latest version

  Show description for 68f6523
  Zimmi48

  committed
  68f6523

  Copy full SHA for 68f6523

• missing space

  olaure01

  committed
  1c950aa

  Copy full SHA for 1c950aa

• Merge PR #11384: Fix build after merge of #11164

  Show description for 620986f
  ppedrot

  committed
  620986f

  Copy full SHA for 620986f

Commits on Jan 9, 2020

• Merge PR #11371: [merge script] Never bypass outdated branch sanity check.

  Show description for b9f1d79
  JasonGross

  committed
  b9f1d79

  Copy full SHA for b9f1d79

• Add badges for Docker Hub and coqorg/coq:latest version

  erikmd

  committed
  9d6a71f

  Copy full SHA for 9d6a71f

• Fix build after merge of #11164

  SkySkimmer

  committed
  cf5f6b5

  Copy full SHA for cf5f6b5

• Merge PR #11164: [CS] allow Let variable to be canonical

  Show description for a9a06ff
  ppedrot

  committed
  a9a06ff

  Copy full SHA for a9a06ff

Commits on Jan 8, 2020

• Merge PR #11375: Add note about default goal selector next to bullet docs

  Show description for c372167
  Zimmi48

  committed
  c372167

  Copy full SHA for c372167

• Merge PR #11378: let CI test bedrock2's 'tested' branch instead of 'master'

  Show description for 4c06f29
  Zimmi48

  committed
  4c06f29

  Copy full SHA for 4c06f29

• let CI test bedrock2's 'tested' branch instead of 'master'

  samuelgruetter

  committed
  ca79657

  Copy full SHA for ca79657

• Add note about default goal selector next to bullet docs

  Show description for f6d4484
  SkySkimmer

  committed
  f6d4484

  Copy full SHA for f6d4484

• replace deprecated -quick with -vio in the test suite

  gares

  committed
  e4c7359

  Copy full SHA for e4c7359

• [refman] [changelog] Announce omega replacement.

  Zimmi48

  committed
  df452a6

  Copy full SHA for df452a6

• Merge PR #11341: Add non-utf8 timing test

  Show description for 3cdbd61
  ppedrot

  committed
  3cdbd61

  Copy full SHA for 3cdbd61

Commits on Jan 7, 2020

• [merge script] Never bypass outdated branch sanity check.

  Show description for d8d5631
  Zimmi48

  committed
  d8d5631

  Copy full SHA for d8d5631

• Merge PR #11245: [tools] Remove support for python2

  Show description for cfc41cb
  Zimmi48

  committed
  cfc41cb

  Copy full SHA for cfc41cb

• Merge PR #11369: [refman] Correct manual about implicit parameters in inductives

  Show description for 15d28e0
  Zimmi48

  committed
  15d28e0

  Copy full SHA for 15d28e0

• Merge PR #11317: Fix #11140: Bidirectionality hints perform (surprising?) simplification

  Show description for 1fc71f3
  gares

  committed
  1fc71f3

  Copy full SHA for 1fc71f3

• Correct manual about implicit parameters in inductives.

  SimonBoulier

  committed
  58d7a14

  Copy full SHA for 58d7a14

• cleanup: do not use recargs when computing the reloc table for ctors

  Show description for e1da46b
  SkySkimmer

  committed
  e1da46b

  Copy full SHA for e1da46b

• minor cleanup template_polymorphic_univs: check_levels returns bool

  SkySkimmer

  committed
  1220aab

  Copy full SHA for 1220aab

• [coercions] more precise type for coercion traces

  maximedenes

  committed
  7b04bad

  Copy full SHA for 7b04bad

Commits on Jan 6, 2020

• doc: mention limitation of bidi hints vs program

  Show description for 0d73faf
  

  SkySkimmer

  authored and

  maximedenes

  committed
  0d73faf

  Copy full SHA for 0d73faf

• Fix #11140: Bidirectionality hints perform (surprising?) simplification

  Show description for 15ec807
  

  maximedenes

  and

  SkySkimmer

  committed
  15ec807

  Copy full SHA for 15ec807

• Merge PR #11361: Fix #11360: discharge of template inductive with param only use of var

  Show description for a7de863
  ppedrot

  committed
  a7de863

  Copy full SHA for a7de863

• Merge PR #11340: [refman] Fix bad quoting practice leftover from Sphinx migration.

  Show description for 1630da9
  cpitclaudel

  committed
  1630da9

  Copy full SHA for 1630da9

• Merge PR #11211: Fixing status reporting for complexity tests

  Show description for 9512421
  SkySkimmer

  committed
  9512421

  Copy full SHA for 9512421

• Fix #11360: discharge of template inductive with param only use of var

  SkySkimmer

  committed
  54986ed

  Copy full SHA for 54986ed

Commits on Jan 4, 2020

• Fixing status reporting for complexity tests.

  Show description for 4541dab
  herbelin

  committed
  4541dab

  Copy full SHA for 4541dab

Pagination

Previous

Next