Commits

Branch selector

 master

User selector

ejgallego

Datepicker

All time

Commit History

Commits on May 9, 2022

• [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

Commits on Apr 28, 2022

• Port deprecated Format code in recent versions of OCaml.

  Show description for b6d4f62
  

  ejgallego

  authored and

  ppedrot

  committed
  b6d4f62

  Copy full SHA for b6d4f62

Commits on Mar 31, 2022

• [coqdep] Allow re-entrant calls to Coqdeplib

  Show description for 7cf35d1
  ejgallego

  committed
  7cf35d1

  Copy full SHA for 7cf35d1

Commits on Mar 30, 2022

• [coqdep] Start to modularize loadpath handling.

  Show description for 8789a7d
  ejgallego

  committed
  8789a7d

  Copy full SHA for 8789a7d

Commits on Mar 18, 2022

• [coqdep] Refactor dependency computation API

  Show description for f8301ce
  

  ejgallego

  and

  Alizter

  committed
  f8301ce

  Copy full SHA for f8301ce

• [coqdep] Refactor initialization API

  Show description for 21c9f65
  

  ejgallego

  and

  Alizter

  committed
  21c9f65

  Copy full SHA for 21c9f65

Commits on Feb 22, 2022

• [vernac] Fix cache invalidation as not to mess with non-imperative state

  Show description for ff20ae3
  ejgallego

  committed
  ff20ae3

  Copy full SHA for ff20ae3

Commits on Nov 11, 2021

• [coq_makefile] Use a concrete list of enabled warnings

  Show description for 4e5fcd3
  ejgallego

  committed
  4e5fcd3

  Copy full SHA for 4e5fcd3

Commits on Oct 19, 2021

• [build] Ensure `dune install` is called with the right root detection options.

  Show description for f5a363e
  ejgallego

  committed
  f5a363e

  Copy full SHA for f5a363e

Commits on Oct 1, 2021

• [ocaml] [warnings] Disable warning 70 "can't find mli file"

  Show description for f78582a
  ejgallego

  committed
  f78582a

  Copy full SHA for f78582a

• [ci] [ocaml] Bump edge compiler to Ocaml 4.13.0

  ejgallego

  committed
  50c0d5f

  Copy full SHA for 50c0d5f

Commits on Sep 29, 2021

• [ci] [docker] Bump cppo version.

  Show description for fb21a1f
  ejgallego

  committed
  fb21a1f

  Copy full SHA for fb21a1f

• [test-suite] Error when calling test-suite without a full build.

  Show description for 18ba4b6
  ejgallego

  committed
  18ba4b6

  Copy full SHA for 18ba4b6

• [test-suite] Add test for #10182

  Show description for dae887b
  ejgallego

  committed
  dae887b

  Copy full SHA for dae887b

• [test-suite] Add test for #10193

  Show description for 0cfcd74
  ejgallego

  committed
  0cfcd74

  Copy full SHA for 0cfcd74

Commits on Sep 26, 2021

• [printing] Move notation printing format to printing

  Show description for e158b6d
  ejgallego

  committed
  e158b6d

  Copy full SHA for e158b6d

Commits on Sep 22, 2021

• [build] Set dune root explicitly / use --release

  Show description for 4d966c4
  ejgallego

  committed
  4d966c4

  Copy full SHA for 4d966c4

Commits on Sep 20, 2021

• [configure] Guard debug code under `-debug` flag

  Show description for 2aa04f9
  ejgallego

  committed
  2aa04f9

  Copy full SHA for 2aa04f9

Commits on Sep 17, 2021

• [changes] Rectify changelog w.r.t. configure fixes.

  Show description for 5c7e79f
  ejgallego

  committed
  5c7e79f

  Copy full SHA for 5c7e79f

Commits on Sep 15, 2021

• [configure] Documentation / fixes from Ali's review.

  ejgallego

  committed
  d24ff41

  Copy full SHA for d24ff41

• [configure] Changelog for refactoring.

  ejgallego

  committed
  ad1f594

  Copy full SHA for ad1f594

• [configure] Be a bit more liberal in version parsing

  Show description for 91f192d
  ejgallego

  committed
  91f192d

  Copy full SHA for 91f192d

• [configure] Remove no-op options.

  ejgallego

  committed
  a377c0e

  Copy full SHA for a377c0e

• [configure] Nit on variable naming.

  ejgallego

  committed
  0a74862

  Copy full SHA for 0a74862

• [configure] Refactor version number parsing

  ejgallego

  committed
  9241591

  Copy full SHA for 9241591

• [configure] Some refactoring around version numbers.

  ejgallego

  committed
  bb76051

  Copy full SHA for bb76051

• [configure] Remove unused dll suffix detection.

  ejgallego

  committed
  e8a473c

  Copy full SHA for e8a473c

• [configure] Split coqide configuration to its own file.

  Show description for 64508cd
  ejgallego

  committed
  64508cd

  Copy full SHA for 64508cd

• [configure] Don't manipulate ocamlfind returned paths

  Show description for 6941bb1
  ejgallego

  committed
  6941bb1

  Copy full SHA for 6941bb1

• [install] Correct documentation w.r.t. bytecode stubs dll

  ejgallego

  committed
  00f20a8

  Copy full SHA for 00f20a8

• [configure] Fix documentation talking about -local

  ejgallego

  committed
  0ab9f7f

  Copy full SHA for 0ab9f7f

• [configure] Remove -flambda-opts , correct documentation

  Show description for 6c2aa87
  ejgallego

  committed
  6c2aa87

  Copy full SHA for 6c2aa87

• [configure] Remove obsolete `operating_system` check

  Show description for 36b757d
  ejgallego

  committed
  36b757d

  Copy full SHA for 36b757d

• [configure] Remove more unused `config/Makefile` variables.

  Show description for 3bb5902
  ejgallego

  committed
  3bb5902

  Copy full SHA for 3bb5902

Pagination

Previous

Next