Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 16, 2022

• Merge PR #16021: Unification.make_pattern_test: use newer evar map instead of older

  Show description for 2dbc155
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  2dbc155

  Copy full SHA for 2dbc155

Commits on May 15, 2022

• Merge PR #16014: Fix coqdep on import categories and filters in Require

  Show description for 0cdeb4d
  

  coqbot-app[bot]

  and

  Alizter

  authored
  0cdeb4d

  Copy full SHA for 0cdeb4d

Commits on May 14, 2022

• Unification.make_pattern_test: use newer evar map instead of older

  Show description for 82fa97e
  SkySkimmer

  committed
  82fa97e

  Copy full SHA for 82fa97e

• Merge PR #15912: [coqide] Fix code to display goal in both top script and current script buffers

  Show description for 7a0c611
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  7a0c611

  Copy full SHA for 7a0c611

• Merge PR #15996: Convert byte offset to char offset efficiently

  Show description for 87f46d4
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  87f46d4

  Copy full SHA for 87f46d4

Commits on May 13, 2022

• Merge PR #16018: Fix typo in reverse coercions changelog

  Show description for cf60d94
  

  coqbot-app[bot]

  and

  Alizter

  authored
  cf60d94

  Copy full SHA for cf60d94

• Fix typo in reverse coercions changelog

  SkySkimmer

  committed
  cc1f8c7

  Copy full SHA for cc1f8c7

Commits on May 12, 2022

• Fix coqdep on import categories and filters in Require

  Show description for 22fe0b0
  SkySkimmer

  committed
  22fe0b0

  Copy full SHA for 22fe0b0

Commits on May 11, 2022

• Merge PR #16011: Bump the menhir tag in CI.

  Show description for 252a9a2
  

  coqbot-app[bot]

  and

  Alizter

  authored
  252a9a2

  Copy full SHA for 252a9a2

• Merge PR #16005: Document zarith 1.12 version bump.

  Show description for f11a04a
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  f11a04a

  Copy full SHA for f11a04a

• Merge PR #15896: Reduce the amount of useless typing in Equality.

  Show description for 47e17c8
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  47e17c8

  Copy full SHA for 47e17c8

• Merge PR #15970: Abstract away the type of matching contexts.

  Show description for c991201
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  c991201

  Copy full SHA for c991201

• Merge PR #16003: [coqdep] Fix Unix stat errors and some cleanup

  Show description for f5510a1
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  f5510a1

  Copy full SHA for f5510a1

• Merge PR #15971: [build] Don't use .exe for binaries in Cygwin

  Show description for 0afe3b7
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  0afe3b7

  Copy full SHA for 0afe3b7

• Bump the menhir tag in CI.

  ppedrot

  committed
  8371e6e

  Copy full SHA for 8371e6e

Commits on May 10, 2022

• Merge PR #15982: Small cleanups

  Show description for ae78f28
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  ae78f28

  Copy full SHA for ae78f28

• Merge PR #15333: Replace Pervasives with Stdlib in nat extraction

  Show description for 4927b82
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  4927b82

  Copy full SHA for 4927b82

• Wording suggestion.

  Show description for 1249fab
  

  Zimmi48

  and

  jfehrle

  authored
  1249fab

  Copy full SHA for 1249fab

• Replace Pervasives with Stdlib in nat extraction.

  

  rudynicolop

  authored and

  ppedrot

  committed
  9c5eaeb

  Copy full SHA for 9c5eaeb

• Merge PR #16008: [native compiler] Don't search for coqlib too eagerly.

  Show description for 7fcde71
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  7fcde71

  Copy full SHA for 7fcde71

Commits on May 9, 2022

• Convert byte offset to char offset efficiently

  jfehrle

  committed
  20ba4b0

  Copy full SHA for 20ba4b0

• [native compiler] Don't search for coqlib too eagerly.

  Show description for 4d4c1ac
  ejgallego

  committed
  4d4c1ac

  Copy full SHA for 4d4c1ac

• [build] Don't use .exe for binaries in Cygwin

  Show description for 59ca3ec
  ejgallego

  committed
  59ca3ec

  Copy full SHA for 59ca3ec

• Merge PR #15945: Import categories for all importing commands and import filters for Require

  Show description for a0bbf3e
  

  coqbot-app[bot]

  and

  Alizter

  authored
  a0bbf3e

  Copy full SHA for a0bbf3e

• Remove outdated comment

  Show description for 228208e
  SkySkimmer

  committed
  228208e

  Copy full SHA for 228208e

• Other changes required by the zarith version bump.

  Zimmi48

  committed
  36c0573

  Copy full SHA for 36c0573

• Remove unused definitions in nativecode.ml

  SkySkimmer

  committed
  77053ba

  Copy full SHA for 77053ba

• Simpler error handling in coqwc

  SkySkimmer

  committed
  726b945

  Copy full SHA for 726b945

• Remove dummy warning disable attribute

  Show description for 4a26bc2
  SkySkimmer

  committed
  4a26bc2

  Copy full SHA for 4a26bc2

• Overlay for #15945

  SkySkimmer

  committed
  bba1856

  Copy full SHA for bba1856

• Changelog for #15945

  SkySkimmer

  committed
  966cc23

  Copy full SHA for 966cc23

• Edit/update grammar

  

  jfehrle

  authored and

  SkySkimmer

  committed
  473839a

  Copy full SHA for 473839a

• Import filters for Require

  Show description for 65177db
  SkySkimmer

  committed
  65177db

  Copy full SHA for 65177db

• Import categories for everything that can import (except command line)

  Show description for bea56be
  SkySkimmer

  committed
  bea56be

  Copy full SHA for bea56be

• Use a custom variant for import/export instead of bool

  SkySkimmer

  committed
  1f41989

  Copy full SHA for 1f41989

Pagination

Previous

Next