Commits

Branch selector

 master

User selector

silene

Datepicker

All time

Commit History

Commits on Sep 7, 2023

• Make Uint63.of_pos_rec recursive on the actual argument (fix #17626).

  Show description for bfa719d
  silene

  committed
  bfa719d

  Copy full SHA for bfa719d

Commits on Jun 3, 2023

• Do not create bytecode aliases for primitive operations (fix #17663).

  Show description for 4d82478
  silene

  committed
  4d82478

  Copy full SHA for 4d82478

Commits on May 10, 2023

• Do not let field_simplify mess with side conditions (fix #17584).

  silene

  committed
  2bfff28

  Copy full SHA for 2bfff28

Commits on Mar 27, 2023

• Use a simpler definition of xorb.

  Show description for 9b8fd8f
  silene

  committed
  9b8fd8f

  Copy full SHA for 9b8fd8f

• Make sure to use fresh intro names in Lqa and Lra (fix #17423).

  Show description for 7c9c719
  silene

  committed
  7c9c719

  Copy full SHA for 7c9c719

Commits on Feb 14, 2023

• Revert #15130 as it causes test-suite failures for coqdoc to be silently ignored (fix #17256).

  silene

  committed
  bd7f2cb

  Copy full SHA for bd7f2cb

Commits on Dec 13, 2022

• Use Alloc_small_enter_GC with OCaml 5.

  Show description for f45cb51
  silene

  committed
  f45cb51

  Copy full SHA for f45cb51

Commits on Dec 8, 2022

• Inline some trivial functions.

  silene

  committed
  4b18ecd

  Copy full SHA for 4b18ecd

• Remove signatures of non-existing functions.

  silene

  committed
  c4fae66

  Copy full SHA for c4fae66

• Remove the "drawinstr" infrastructure, as it is a noop.

  silene

  committed
  1a066f8

  Copy full SHA for 1a066f8

• Let coq_fix_code.c handle the ACCUMULATE closure.

  Show description for 2da11ae
  silene

  committed
  2da11ae

  Copy full SHA for 2da11ae

• Replace the Is_instruction macro by a function.

  Show description for be7b2c7
  silene

  committed
  be7b2c7

  Copy full SHA for be7b2c7

Commits on Dec 1, 2022

• Adapt the bytecode interpreter to the latest changes from OCaml 5.

  Show description for c068ff5
  silene

  committed
  c068ff5

  Copy full SHA for c068ff5

Commits on Nov 18, 2022

• Fix representation of empty arrays (fix #16832).

  Show description for 4320a0f
  silene

  committed
  4320a0f

  Copy full SHA for 4320a0f

Commits on Oct 11, 2022

• Remove unused code during interpretation of VM/native values.

  Show description for f5ef03a
  silene

  committed
  f5ef03a

  Copy full SHA for f5ef03a

Commits on Jul 5, 2022

• Syntactically delimit match construct (fix #16284).

  silene

  committed
  2698746

  Copy full SHA for 2698746

Commits on May 30, 2022

• Remove Gappa from continuous integration.

  silene

  committed
  37a5f74

  Copy full SHA for 37a5f74

Commits on Mar 20, 2022

• Fix link to standard library.

  Show description for 494e3ac
  silene

  committed
  494e3ac

  Copy full SHA for 494e3ac

Commits on Feb 14, 2022

• Add deprecation warning.

  silene

  committed
  ce85586

  Copy full SHA for ce85586

• Add changelog.

  silene

  committed
  64f9bfc

  Copy full SHA for 64f9bfc

• Use the simplified lemmas about inverse.

  silene

  committed
  edbd23e

  Copy full SHA for edbd23e

• Use /0 = 0 to remove hypotheses on lemmas about inverse.

  silene

  committed
  182a8eb

  Copy full SHA for 182a8eb

Commits on Jan 25, 2022

• Make the bytecode interpreter more resilient to exceptions.

  Show description for a1c671b
  silene

  committed
  a1c671b

  Copy full SHA for a1c671b

Commits on Jan 14, 2022

• Restore compilation of the bytecode interpreter with OCaml 5.00.

  silene

  committed
  4ec84fe

  Copy full SHA for 4ec84fe

Commits on Nov 9, 2021

• Changelog for 8.14.1

  silene

  committed
  8127b68

  Copy full SHA for 8127b68

Commits on Oct 15, 2021

• Improve the documentation of the release process a bit.

  silene

  committed
  a6c63ab

  Copy full SHA for a6c63ab

Commits on Sep 16, 2021

• Track v8.14's documentation instead of v8.13's.

  silene

  committed
  0b1e444

  Copy full SHA for 0b1e444

Commits on Sep 7, 2021

• Update mailmap.

  silene

  committed
  a6ec684

  Copy full SHA for a6ec684

• Mark #14610 and #14664 as present in 8.14.

  silene

  committed
  980991a

  Copy full SHA for 980991a

Commits on Jun 15, 2021

• Use the official version of Gappa for continuous integration.

  silene

  committed
  ab49a89

  Copy full SHA for ab49a89

Commits on Jun 14, 2021

• Fix documentation rendering.

  silene

  committed
  ab50f75

  Copy full SHA for ab50f75

Commits on Jun 11, 2021

• Update mailmap.

  silene

  committed
  1ed3d36

  Copy full SHA for 1ed3d36

• Merge changelogs.

  silene

  committed
  f0dc6d8

  Copy full SHA for f0dc6d8

Commits on Jun 7, 2021

• Prepare for 8.15.

  silene

  committed
  cdef6de

  Copy full SHA for cdef6de

Commits on Jun 2, 2021

• Remove Interval from the continuous integration.

  Show description for de1a861
  silene

  committed
  de1a861

  Copy full SHA for de1a861

Pagination

Previous

Next