Commits

Branch selector

 master

User selector

silene

Datepicker

All time

Commit History

Commits on Dec 28, 2020

• Fix broken HTML rendering of inference rules (fix #12783).

  silene

  committed
  aed648a

  Copy full SHA for aed648a

Commits on Dec 2, 2020

• Make sure the msb is clear.

  Show description for f4dcd1d
  silene

  committed
  f4dcd1d

  Copy full SHA for f4dcd1d

• Greatly simplify the conversion functions between Z.t and Uint63.t.

  silene

  committed
  2422d7d

  Copy full SHA for 2422d7d

Commits on Dec 1, 2020

• Make the code clearer and faster by calling mask63 explicitly at the end.

  Show description for 9ca7e76
  silene

  committed
  9ca7e76

  Copy full SHA for 9ca7e76

• Avoid compiler warnings.

  silene

  committed
  33c4220

  Copy full SHA for 33c4220

Commits on Nov 21, 2020

• Remove dependency on BinNat.

  silene

  committed
  8e152ab

  Copy full SHA for 8e152ab

Commits on Nov 20, 2020

• Add a testcase.

  silene

  committed
  5db79a4

  Copy full SHA for 5db79a4

• Make sure accumulators do not exceed the minor heap (partly fix #11170).

  Show description for 2535afa
  silene

  committed
  2535afa

  Copy full SHA for 2535afa

Commits on Nov 13, 2020

• Hardcode next_up and next_down instead of relying on nextafter.

  Show description for ef3ec53
  silene

  committed
  ef3ec53

  Copy full SHA for ef3ec53

• Add allocation-free variants of the nextup and nextdown floating-point operations.

  Show description for 5c7f63f
  silene

  committed
  5c7f63f

  Copy full SHA for 5c7f63f

• Remove floating-point comparison operators as they are no longer needed.

  silene

  committed
  c9cf844

  Copy full SHA for c9cf844

• Turn coq_float64.h into a .c file as it is no longer needed by coq_interp.c.

  silene

  committed
  5b2d1c0

  Copy full SHA for 5b2d1c0

• Inline the functions from coq_float64.h.

  Show description for 136454f
  silene

  committed
  136454f

  Copy full SHA for 136454f

• Make callback opcodes more generic.

  Show description for b6fadbf
  silene

  committed
  b6fadbf

  Copy full SHA for b6fadbf

• Optimize Is_accu a bit.

  silene

  committed
  20c511d

  Copy full SHA for 20c511d

• Improve documentation of closure representations.

  silene

  committed
  0d6f8e4

  Copy full SHA for 0d6f8e4

• Turn Ksequence into a unary opcode, as its binary structure was never used.

  silene

  committed
  4e2bd77

  Copy full SHA for 4e2bd77

• Remove unused if-then-else construct from VM.

  silene

  committed
  2d3e012

  Copy full SHA for 2d3e012

• Restore discard_dead_code and use it to simplify match-with constructs.

  Show description for 2032110
  silene

  committed
  2032110

  Copy full SHA for 2032110

• Remove some unused opcodes from VM.

  silene

  committed
  aebc10a

  Copy full SHA for aebc10a

• Remove unchecked arithmetic operations from VM, as they are not used.

  silene

  committed
  fdd1611

  Copy full SHA for fdd1611

• Optimize handling of the VM stack with respect to the GC.

  Show description for 930e51c
  silene

  committed
  930e51c

  Copy full SHA for 930e51c

Commits on Oct 8, 2020

• Check complexity of primitive arrays.

  silene

  committed
  c3cfb3c

  Copy full SHA for c3cfb3c

• Remove occurrences of Parray.reroot.

  silene

  committed
  e3764e1

  Copy full SHA for e3764e1

• Reroot primitive arrays on access (fix #12947).

  Show description for ddd7371
  silene

  committed
  ddd7371

  Copy full SHA for ddd7371

Commits on Sep 27, 2020

• Avoid lookup up too many characters.

  Show description for a5abb5d
  silene

  committed
  a5abb5d

  Copy full SHA for a5abb5d

• Recognize only ":{{" as a sentence-gobbling quotation.

  silene

  committed
  27601f5

  Copy full SHA for 27601f5

• Make "xxx:{{" always start a quotation, whether registered or not.

  Show description for cb1a23c
  silene

  committed
  cb1a23c

  Copy full SHA for cb1a23c

Commits on Sep 22, 2020

• Use the closure tag for accumulators.

  Show description for 27695b5
  silene

  committed
  27695b5

  Copy full SHA for 27695b5

• Use the same memory layout as closures for accumulators.

  Show description for 2d63a61
  silene

  committed
  2d63a61

  Copy full SHA for 2d63a61

• Modify bytecode representation of closures to please OCaml's GC (fix #12636).

  Show description for 5aa6d99
  silene

  committed
  5aa6d99

  Copy full SHA for 5aa6d99

Commits on Jun 9, 2020

• Merge PR #12484: Fix #12483 Incorrect specification of PrimFloat.leb

  Show description for 95be052
  silene

  committed
  95be052

  Copy full SHA for 95be052

Commits on Mar 9, 2020

• Do not rely on the implicit declaration of caml_minor_collection.

  Show description for 4666a8b
  silene

  committed
  4666a8b

  Copy full SHA for 4666a8b

Commits on Dec 27, 2019

• Add critical-bugs entry, tests-suite file, and code comment.

  silene

  committed
  00c0b65

  Copy full SHA for 00c0b65

Commits on Dec 22, 2019

• Use the Alloc_small macro from the OCaml runtime rather than our own.

  Show description for a028a97
  silene

  committed
  a028a97

  Copy full SHA for a028a97

Pagination

Previous

Next