Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 24, 2019

• Merge PR #11284: [meta] Add ltac2 information to META.

  Show description for feea1d0
  Zimmi48

  committed
  feea1d0

  Copy full SHA for feea1d0

• [meta] Add ltac2 information to META.

  Show description for 8ca6ef5
  ejgallego

  committed
  8ca6ef5

  Copy full SHA for 8ca6ef5

• Merge PR #11316: Windows: switch OCaml to 4.08.1

  Show description for 23eb6e3
  ejgallego

  committed
  23eb6e3

  Copy full SHA for 23eb6e3

Commits on Dec 23, 2019

• Merge PR #11293: Rename files with Class in their name to make their role clearer.

  herbelin

  committed
  028d64f

  Copy full SHA for 028d64f

• Merge PR #11274: [library] [cleanup] Remove code duplication.

  Show description for 3b97634
  ppedrot

  committed
  3b97634

  Copy full SHA for 3b97634

• Windows: switch OCaml to 4.08.1

  Show description for 04ab17b
  MSoegtropIMC

  committed
  04ab17b

  Copy full SHA for 04ab17b

• Merge PR #11324: [refman] Mention Ltac2 in intro.

  Show description for 4bf9834
  ppedrot

  committed
  4bf9834

  Copy full SHA for 4bf9834

• Merge PR #10760: Make rapply handle all numbers of underscores

  Show description for 95fc326
  ppedrot

  committed
  95fc326

  Copy full SHA for 95fc326

Commits on Dec 22, 2019

• Apply suggestions from code review

  Show description for 273586e
  

  Zimmi48

  and

  jfehrle

  authored
  273586e

  Copy full SHA for 273586e

• Rename files with Class in their name to make their role clearer.

  Show description for cc3ded8
  ppedrot

  committed
  cc3ded8

  Copy full SHA for cc3ded8

• [refman] Mention Ltac2 in intro.

  Zimmi48

  committed
  6a148b1

  Copy full SHA for 6a148b1

Commits on Dec 21, 2019

• Merge PR #11311: Fix handling of recursive notations with custom entries

  Show description for 9c75b6a
  herbelin

  committed
  9c75b6a

  Copy full SHA for 9c75b6a

Commits on Dec 20, 2019

• Merge PR #11308: Fix complexity test-suite failure reporting on Win

  Show description for a325c1b
  gares

  committed
  a325c1b

  Copy full SHA for a325c1b

• Add test cases for #9490 and #9532

  maximedenes

  committed
  515bdf5

  Copy full SHA for 515bdf5

• Fix handling of recursive notations with custom entries

  Show description for 7149fef
  maximedenes

  committed
  7149fef

  Copy full SHA for 7149fef

• Merge PR #11258: Coherence checking for coercions

  Show description for d972d5f
  gares

  committed
  d972d5f

  Copy full SHA for d972d5f

Commits on Dec 19, 2019

• Merge PR #11247: Use standard float and integer datatypes in Votour representation.

  Show description for 5c667d5
  maximedenes

  committed
  5c667d5

  Copy full SHA for 5c667d5

• Coherence checking for coercions

  Show description for 025dc51
  pi8027

  committed
  025dc51

  Copy full SHA for 025dc51

• Remove trailing \r in complexity measures for Windows

  JasonGross

  committed
  925a872

  Copy full SHA for 925a872

• Better error reporting when res is not what is expected

  Show description for baab1c0
  JasonGross

  committed
  baab1c0

  Copy full SHA for baab1c0

• Fix complexity test-suite failure reporting on Win

  Show description for 6b309b4
  JasonGross

  committed
  6b309b4

  Copy full SHA for 6b309b4

• Revert "Fix #11303: skip complexity tests on windows even if bogomips found"

  Show description for 4a402fe
  JasonGross

  committed
  4a402fe

  Copy full SHA for 4a402fe

• Fix #11303: skip complexity tests on windows even if bogomips found

  Show description for ec505a2
  SkySkimmer

  committed
  ec505a2

  Copy full SHA for ec505a2

Commits on Dec 18, 2019

• Merge PR #6090: Implement open recursion in the pretyper

  Show description for 6621e7c
  gares

  committed
  6621e7c

  Copy full SHA for 6621e7c

• Merge PR #9786: Fix Equation's ci script

  Show description for 931c179
  ppedrot

  committed
  931c179

  Copy full SHA for 931c179

• Merge PR #10616: Fix push_universe_context* interfaces to use a consistent ~strict flag

  Show description for 333b2f3
  ppedrot

  committed
  333b2f3

  Copy full SHA for 333b2f3

• Merge PR #11027: Cleanup post #10647 (expose comind universe handling)

  Show description for dfdfa9e
  ppedrot

  committed
  dfdfa9e

  Copy full SHA for dfdfa9e

• Merge PR #11203: Make the string argument of `time` print correctly

  Show description for 6b9f6c3
  ppedrot

  committed
  6b9f6c3

  Copy full SHA for 6b9f6c3

• Merge PR #11267: FIND_SKIP_DIRS (make): ignore all dot directories

  Show description for 6fb1b92
  gares

  committed
  6fb1b92

  Copy full SHA for 6fb1b92

• Merge PR #11123: Fix signal polling for OCaml 4.10

  Show description for 9ecfe45
  maximedenes

  committed
  9ecfe45

  Copy full SHA for 9ecfe45

• Merge PR #11263: [micromega] fix efficiency regression

  Show description for 7c3acd6
  maximedenes

  committed
  7c3acd6

  Copy full SHA for 7c3acd6

Commits on Dec 17, 2019

• Type pretyping is part of the open recursion

  ppedrot

  committed
  c802a5e

  Copy full SHA for c802a5e

• Exporting the open-recursion style API.

  ppedrot

  committed
  e0323c5

  Copy full SHA for e0323c5

• Implementing open recursion in the pretyper.

  Show description for 7205913
  ppedrot

  committed
  7205913

  Copy full SHA for 7205913

• failwith -> caml_failwith

  

  gadmm

  authored and

  maximedenes

  committed
  93f45c7

  Copy full SHA for 93f45c7

Pagination

Previous

Next