Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 4, 2021

• Merge PR #13897: Cleanup internal hint locality handling

  Show description for 3b3b381
  coqbot-app[bot]

  authored
  3b3b381

  Copy full SHA for 3b3b381

• Cleanup internal hint locality handling

  Show description for d906410
  SkySkimmer

  committed
  d906410

  Copy full SHA for d906410

Commits on Mar 3, 2021

• Merge PR #12567: [build] Split stdlib to it's own package.

  Show description for bb4e1a7
  coqbot-app[bot]

  authored
  bb4e1a7

  Copy full SHA for bb4e1a7

• [build] Split stdlib to it's own opam package.

  Show description for ab98d84
  ejgallego

  committed
  ab98d84

  Copy full SHA for ab98d84

Commits on Mar 2, 2021

• Merge PR #13889: Dead code elimination: not reducible error message is never raised.

  Show description for a5bea62
  coqbot-app[bot]

  authored
  a5bea62

  Copy full SHA for a5bea62

• Merge PR #13891: Simplify installation instructions in README.

  Show description for 0b08ab5
  coqbot-app[bot]

  authored
  0b08ab5

  Copy full SHA for 0b08ab5

• Simplify wording.

  Show description for b54ead9
  

  Zimmi48

  and

  jfehrle

  authored
  b54ead9

  Copy full SHA for b54ead9

• Simplify installation instructions in README.

  Show description for 029e32f
  Zimmi48

  committed
  029e32f

  Copy full SHA for 029e32f

• Dead code elimination: not reducible error message is never raised.

  Zimmi48

  committed
  24fc983

  Copy full SHA for 24fc983

Commits on Feb 28, 2021

• Merge PR #13853: Delay the dynamic linking of native-code libraries until native_compute is called.

  Show description for ef22a5a
  ppedrot

  committed
  ef22a5a

  Copy full SHA for ef22a5a

• Merge PR #13886: Correct broken link.

  Show description for 7b32635
  coqbot-app[bot]

  authored
  7b32635

  Copy full SHA for 7b32635

• Fix link of default_bindings.

  shenlebantongying

  authored
  ddd4ffe

  Copy full SHA for ddd4ffe

Commits on Feb 27, 2021

• Merge PR #13876: [coqc] Don't allow to pass more than one file to coqc

  Show description for ca38bf5
  coqbot-app[bot]

  authored
  ca38bf5

  Copy full SHA for ca38bf5

• Merge PR #13559: Signed primitive integers

  Show description for 3915bc9
  coqbot-app[bot]

  authored
  3915bc9

  Copy full SHA for 3915bc9

Commits on Feb 26, 2021

• [coqc] Don't allow to pass more than one file to coqc

  Show description for 1cffe2f
  ejgallego

  committed
  1cffe2f

  Copy full SHA for 1cffe2f

• Merge PR #13884: CI Windows: adjust branch name to Coq Platform branch renaming

  Show description for 1e54fe5
  coqbot-app[bot]

  authored
  1e54fe5

  Copy full SHA for 1e54fe5

• Merge PR #13883: Expose Top_printers.econstr_display

  Show description for 4d93ceb
  coqbot-app[bot]

  authored
  4d93ceb

  Copy full SHA for 4d93ceb

• CI Windows: adjust branch name to Coq Platform branch renaming

  MSoegtropIMC

  committed
  6c14324

  Copy full SHA for 6c14324

• Expose Top_printers.econstr_display

  SkySkimmer

  committed
  3abde17

  Copy full SHA for 3abde17

• Signed primitive integers

  Show description for 4302a75
  ana-borges

  committed
  4302a75

  Copy full SHA for 4302a75

• Merge PR #13869: Use make_case_or_project in auto_ind_decl

  Show description for 15074f1
  ppedrot

  committed
  15074f1

  Copy full SHA for 15074f1

• Merge PR #13676: Protect caml_process_pending_actions_exn with caml_something_to_do.

  Show description for c7c155c
  ppedrot

  committed
  c7c155c

  Copy full SHA for c7c155c

• Merge PR #13868: Make genOpcodeFiles.ml handle opcode arity.

  Show description for e494ea6
  ppedrot

  committed
  e494ea6

  Copy full SHA for e494ea6

• Delay the dynamic linking of native-code libraries until native_compute is called (fix #13849).

  Show description for 94319a5
  silene

  committed
  94319a5

  Copy full SHA for 94319a5

Commits on Feb 25, 2021

• Merge PR #13393: [proof using] Remove duplicate code, refactor.

  Show description for 7b2cab9
  coqbot-app[bot]

  authored
  7b2cab9

  Copy full SHA for 7b2cab9

• [proof using] Remove duplicate code, refactor.

  Show description for d866ed9
  ejgallego

  committed
  d866ed9

  Copy full SHA for d866ed9

• Merge PR #13202: Infrastructure for fine-grained debug flags

  Show description for 24e94b3
  coqbot-app[bot]

  authored
  24e94b3

  Copy full SHA for 24e94b3

• Merge PR #13863: Get rid of the compilation date from the binaries to make them more stable.

  Show description for 6ef58b0
  coqbot-app[bot]

  authored
  6ef58b0

  Copy full SHA for 6ef58b0

• Merge PR #13080: Ascii: add leb and ltb

  Show description for 87fc1db
  coqbot-app[bot]

  authored
  87fc1db

  Copy full SHA for 87fc1db

• Merge PR #13738: Make sure Ltac2 get cleaned too.

  Show description for 26439e3
  coqbot-app[bot]

  authored
  26439e3

  Copy full SHA for 26439e3

Commits on Feb 24, 2021

• Overlay for Set Debug

  SkySkimmer

  committed
  0772562

  Copy full SHA for 0772562

• Infrastructure for fine-grained debug flags

  

  maximedenes

  authored and

  SkySkimmer

  committed
  068031f

  Copy full SHA for 068031f

Commits on Feb 23, 2021

• Print anomaly labels regardless of -debug, and never print user_err labels

  SkySkimmer

  committed
  264aba2

  Copy full SHA for 264aba2

• Merge PR #13880: Fix the release process checklist with respect to the refman update.

  Show description for 1c80a79
  coqbot-app[bot]

  authored
  1c80a79

  Copy full SHA for 1c80a79

Commits on Feb 22, 2021

• Fix the release process checklist with respect to the refman update.

  Zimmi48

  committed
  16b04b0

  Copy full SHA for 16b04b0

Pagination

Previous

Next