Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 11, 2024

• Merge PR coq#19513: Fix -profile with par:, pass profiling data back to main thread and add profile entries for par: steps

  Show description for a37a2e4
  

  coqbot-app[bot]

  and

  gares

  authored
  a37a2e4

  Copy full SHA for a37a2e4

• Merge PR coq#19426: Factorize handling of control flags between synterp and interp + use control flags in stm close_proof calls

  Show description for 818fc99
  

  coqbot-app[bot]

  and

  gares

  authored
  818fc99

  Copy full SHA for 818fc99

Commits on Sep 9, 2024

• Add profile entry for par: running tactic and merging back results

  SkySkimmer

  committed
  fda399c

  Copy full SHA for fda399c

• AsyncTaskQueue pass profiling information back to main thread when enabled

  SkySkimmer

  committed
  b5938de

  Copy full SHA for b5938de

• Rename Coq requirement prefix to Stdlib

  Show description for 2384d0b
  proux01

  committed
  2384d0b

  Copy full SHA for 2384d0b

Commits on Sep 6, 2024

• Fix -profile with par:

  Show description for 2074923
  SkySkimmer

  committed
  2074923

  Copy full SHA for 2074923

Commits on Jul 28, 2024

• Use vernac controls in stm close_proof calls

  Show description for 2eafa69
  SkySkimmer

  committed
  2eafa69

  Copy full SHA for 2eafa69

Commits on Jul 22, 2024

• Rename Evd.evar_universe_context -> ustate

  SkySkimmer

  committed
  6fcbadd

  Copy full SHA for 6fcbadd

Commits on Jun 23, 2024

• [quickfix] warnings and errors can carry a qf in the vscode sense

  gares

  committed
  de56ec4

  Copy full SHA for de56ec4

Commits on Jun 11, 2024

• [vernacstate] Remove Vernacstate.Parser.t

  Show description for 57220f5
  ejgallego

  committed
  57220f5

  Copy full SHA for 57220f5

Commits on Jun 8, 2024

• [vernacstate] Remove duplicate copy of the parsing state.

  Show description for 5cd49bb
  ejgallego

  committed
  5cd49bb

  Copy full SHA for 5cd49bb

Commits on Jun 3, 2024

• [coqinit] Capture .vo access also in init routine.

  ejgallego

  committed
  a86417e

  Copy full SHA for a86417e

• [library] Remove loadpath abstraction in favor of the upper layers.

  Show description for d6ad8d2
  

  ejgallego

  and

  SkySkimmer

  committed
  d6ad8d2

  Copy full SHA for d6ad8d2

• [library] Allow require to load libraries from memory.

  Show description for ffd0e06
  ejgallego

  committed
  ffd0e06

  Copy full SHA for ffd0e06

Commits on Apr 19, 2024

• Remove Declare.return_partial_proof

  Show description for 970b051
  SkySkimmer

  committed
  970b051

  Copy full SHA for 970b051

Commits on Apr 11, 2024

• [stm] Remove support for .vio files

  Show description for 066a49c
  ejgallego

  committed
  066a49c

  Copy full SHA for 066a49c

Commits on Apr 5, 2024

• Update comment in stm

  SkySkimmer

  committed
  d39d3b4

  Copy full SHA for d39d3b4

• Push Library.indirect_accessor references up in the call stack

  SkySkimmer

  committed
  5fee6b4

  Copy full SHA for 5fee6b4

Commits on Mar 29, 2024

• Regular error for unknown state in BackTo

  Show description for 77ffac0
  SkySkimmer

  committed
  77ffac0

  Copy full SHA for 77ffac0

Commits on Feb 21, 2024

• Add an indirection in VM bytecode stored in kernel environments.

  Show description for e6535d4
  ppedrot

  committed
  e6535d4

  Copy full SHA for e6535d4

Commits on Jan 24, 2024

• Remove Dyn.anonymous

  Show description for b7a6641
  SkySkimmer

  committed
  b7a6641

  Copy full SHA for b7a6641

Commits on Dec 11, 2023

• [build] Bump minimal dune version to 3.6

  Show description for fe6c4e1
  ejgallego

  committed
  fe6c4e1

  Copy full SHA for fe6c4e1

Commits on Nov 23, 2023

• Stronger disambiguation of vernac extension names.

  Show description for 704767c
  ppedrot

  committed
  704767c

  Copy full SHA for 704767c

Commits on Nov 6, 2023

• Move universe polymorphism APIs to new file UVars before sort poly

  Show description for f01b168
  SkySkimmer

  committed
  f01b168

  Copy full SHA for f01b168

Commits on Jul 10, 2023

• Merge PR coq#17638: Guard many unguarded try..with expressions

  Show description for f53426c
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  f53426c

  Copy full SHA for f53426c

Commits on Jun 19, 2023

• [build] Avoid conflict between library and module name in case-insensitive FS

  Show description for a08da83
  

  ejgallego

  and

  SkySkimmer

  committed
  a08da83

  Copy full SHA for a08da83

Commits on Jun 16, 2023

• [stm] fix regression introduced in de2d782

  Show description for d4881af
  gares

  committed
  d4881af

  Copy full SHA for d4881af

Commits on Jun 6, 2023

• Merge PR coq#17690: Fix filtering of time-file option in async spawning

  Show description for 3d22782
  

  coqbot-app[bot]

  and

  Alizter

  authored
  3d22782

  Copy full SHA for 3d22782

• Merge PR coq#17605: Fix inverted logic in Summary.ref ~local:true

  Show description for 9a7ecbf
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  9a7ecbf

  Copy full SHA for 9a7ecbf

Commits on Jun 5, 2023

• Cleanup declare_X_option_and_ref APIs

  Show description for bd8b848
  SkySkimmer

  committed
  bd8b848

  Copy full SHA for bd8b848

• Fix filtering of time-file option in async spawning

  Show description for b2d4e53
  SkySkimmer

  committed
  b2d4e53

  Copy full SHA for b2d4e53

Commits on Jun 2, 2023

• Merge PR coq#17650: Preserve location of errors with async proofs on

  Show description for dceee1b
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  dceee1b

  Copy full SHA for dceee1b

Commits on May 31, 2023

• Use strbrk and quote in undo-batch-mode WARNING

  Show description for 536e70d
  SkySkimmer

  committed
  536e70d

  Copy full SHA for 536e70d

Commits on May 26, 2023

• Remove low-value warning categories

  SkySkimmer

  committed
  805fdc3

  Copy full SHA for 805fdc3

• Revised warning API: warnings can have multiple categories

  Show description for 8fcbbb4
  SkySkimmer

  committed
  8fcbbb4

  Copy full SHA for 8fcbbb4

Pagination

Previous

Next