Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 19, 2022

• Merge PR #16032: Stop using module type CList.ExtS + Remove CList.except (alias of remove)

  Show description for 1aa46c6
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  1aa46c6

  Copy full SHA for 1aa46c6

Commits on May 18, 2022

• Merge PR #16017: Cleanup of native compilation

  Show description for 2f88fb9
  

  coqbot-app[bot]

  and

  Alizter

  authored
  2f88fb9

  Copy full SHA for 2f88fb9

• Merge PR #15274: Tactic_option supports export

  Show description for 36d5f25
  

  coqbot-app[bot]

  and

  Alizter

  authored
  36d5f25

  Copy full SHA for 36d5f25

• Merge PR #16030: Drop minimum zarith version to 1.11

  Show description for d266afd
  

  coqbot-app[bot]

  and

  Alizter

  authored
  d266afd

  Copy full SHA for d266afd

• Remove CList.except (alias of remove)

  Show description for 026f7b6
  SkySkimmer

  committed
  026f7b6

  Copy full SHA for 026f7b6

• Stop using module type CList.ExtS

  Show description for 69e81de
  SkySkimmer

  committed
  69e81de

  Copy full SHA for 69e81de

• Drop minimum zarith version to 1.11

  Show description for 68cc7ed
  JasonGross

  committed
  68cc7ed

  Copy full SHA for 68cc7ed

Commits on May 17, 2022

• Merge PR #16028: Add test for #5328

  Show description for 4956664
  

  coqbot-app[bot]

  and

  Alizter

  authored
  4956664

  Copy full SHA for 4956664

• Merge PR #16027: Add test for #11677

  Show description for 7098b73
  

  coqbot-app[bot]

  and

  Alizter

  authored
  7098b73

  Copy full SHA for 7098b73

• Add test for #5328

  Show description for 4d3393f
  SkySkimmer

  committed
  4d3393f

  Copy full SHA for 4d3393f

• Add test for #11677

  Show description for cea374c
  SkySkimmer

  committed
  cea374c

  Copy full SHA for cea374c

• Merge PR #16012: tactic unification debug: print terms when entering unification

  Show description for 48f6b46
  

  coqbot-app[bot]

  and

  Alizter

  authored
  48f6b46

  Copy full SHA for 48f6b46

• Merge PR #16013: dune-dbg: understand coqdep

  Show description for 4e3d51b
  

  coqbot-app[bot]

  and

  Alizter

  authored
  4e3d51b

  Copy full SHA for 4e3d51b

Commits on May 16, 2022

• Fix parentheses around letrec blocks in native compiler.

  ppedrot

  committed
  bd7a4b5

  Copy full SHA for bd7a4b5

• Fix the compilation of lazy values in native compiler.

  Show description for 24bbf41
  ppedrot

  committed
  24bbf41

  Copy full SHA for 24bbf41

• Turn internal definitions into proper primitives in native compiler.

  ppedrot

  committed
  a4944a8

  Copy full SHA for a4944a8

• Dedicated node for primitive application in native compilation.

  Show description for d7dc097
  ppedrot

  committed
  d7dc097

  Copy full SHA for d7dc097

• 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

• dune-dbg: understand coqdep

  SkySkimmer

  committed
  1f62541

  Copy full SHA for 1f62541

• 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

• tactic unification debug: print terms when entering unification

  Show description for 548053e
  SkySkimmer

  committed
  548053e

  Copy full SHA for 548053e

• 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

Pagination

Previous

Next