Commits

Breadcrumbs

History for

onbr-main

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 6, 2025

• [BR] Disable problematic test case

  

  Jan-Oliver Kaiser

  committedMar 6, 2025
  910f509

  Copy full SHA for 910f509

Commits on Feb 16, 2025

• [workspace] Minor improvements in describe message

  Show description for d60a034
  ejgallego

  committedFeb 16, 2025
  d60a034

  Copy full SHA for d60a034

• [coq] [workspace] Remove machinery for old-style manual ML path handling

  Show description for bf399bf
  ejgallego

  committedFeb 16, 2025
  bf399bf

  Copy full SHA for bf399bf

Commits on Jan 16, 2025

• [misc] [ci] [windows] Some more nits form Rocq / Coq migration

  Show description for d3ed164
  ejgallego

  committedJan 16, 2025
  d3ed164

  Copy full SHA for d3ed164

Commits on Dec 6, 2024

• [vendor] Bump Coq and adapt to upstream Rocq / Stdlib split

  Show description for 61052e8
  ejgallego

  committedDec 6, 2024
  61052e8

  Copy full SHA for 61052e8

Commits on Sep 28, 2024

• [args] [coq] Allow to set ocamlpath and findlib init file separately.

  Show description for 0143f79
  ejgallego

  committedSep 28, 2024
  0143f79

  Copy full SHA for 0143f79

Commits on Sep 16, 2024

• [serlib] Fix wrong piercing of Ltac2 AST + test case

  Show description for a9e38e0
  ejgallego

  committedSep 16, 2024
  a9e38e0

  Copy full SHA for a9e38e0

Commits on Sep 10, 2024

• [coq] Adapt to coq/coq#19310

  

  proux01

  authored and

  ejgallego

  committedSep 10, 2024
  2180402

  Copy full SHA for 2180402

Commits on Jul 7, 2024

• Adapt w.r.t. coq/coq#19313.

  

  ppedrot

  authored and

  ejgallego

  committedJul 7, 2024
  575a9bd

  Copy full SHA for 575a9bd

Commits on Jun 18, 2024

• [deps] [test] Security updates to package-lock.json

  ejgallego

  committedJun 18, 2024
  018eedb

  Copy full SHA for 018eedb

Commits on Jun 10, 2024

• [refactor] Consolidation of auxiliary functions.

  Show description for 752c196
  ejgallego

  committedJun 10, 2024
  752c196

  Copy full SHA for 752c196

Commits on Jun 4, 2024

• [fleche] Remove FailedPermanent 8.16 hack

  Show description for cd17cf3
  ejgallego

  committedJun 4, 2024
  cd17cf3

  Copy full SHA for cd17cf3

Commits on May 31, 2024

• [serlib] Import genarg tests

  ejgallego

  committedMay 31, 2024
  32559e9

  Copy full SHA for 32559e9

Commits on May 28, 2024

• [compiler] Allow control of Coq's info and notice messages.

  Show description for 8c37f33
  ejgallego

  committedMay 28, 2024
  8c37f33

  Copy full SHA for 8c37f33

Commits on Apr 25, 2024

• [fcc] Implement max_errors, fix exit status.

  ejgallego

  committedApr 25, 2024
  3620fb2

  Copy full SHA for 3620fb2

Commits on Apr 4, 2024

• [perf] [code] Fix Coq perf view display.

  Show description for 80d8027
  ejgallego

  committedApr 4, 2024
  80d8027

  Copy full SHA for 80d8027

Commits on Apr 3, 2024

• [plugin] Goal dump plugin.

  Show description for cd44915
  

  ejgallego

  and

  gbdrt

  committedApr 3, 2024
  cd44915

  Copy full SHA for cd44915

Commits on Mar 22, 2024

• [vendor] Bump Coq and SerAPI

  ejgallego

  committedMar 22, 2024
  98b6e13

  Copy full SHA for 98b6e13

Commits on Feb 16, 2024

• [fcc] Add --no_vo option, turn .vo file saving into a plugin.

  ejgallego

  committedFeb 16, 2024
  391f44c

  Copy full SHA for 391f44c

Commits on Jan 19, 2024

• [workspace] Be more resilient to CoqProject errors.

  Show description for 10b2b71
  ejgallego

  committedJan 19, 2024
  10b2b71

  Copy full SHA for 10b2b71

Commits on Jan 10, 2024

• [vendor] Bump Coq

  ejgallego

  committedJan 10, 2024
  e9d23e8

  Copy full SHA for e9d23e8

Commits on Nov 24, 2023

• Use ppx_inline_test for unit tests

  ineol

  committedNov 24, 2023
  b3d90af

  Copy full SHA for b3d90af

• Merge pull request ejgallego#613 from ineol/utf16

  Show description for 88d1a21
  ejgallego

  authoredNov 24, 2023
  88d1a21

  Copy full SHA for 88d1a21

• [completion] Follow LSP and treat positions as UTF16 code units

  

  ineol

  authored and

  ejgallego

  committedNov 24, 2023
  8e1824f

  Copy full SHA for 8e1824f

Commits on Nov 23, 2023

• [test] [jest] Bump package.json.lock to address some vulnerabilities

  Show description for 1adbdb4
  ejgallego

  committedNov 23, 2023
  1adbdb4

  Copy full SHA for 1adbdb4

• [internal] Make diagnostic / messages severity types abstract

  Show description for 416c62e
  ejgallego

  committedNov 23, 2023
  416c62e

  Copy full SHA for 416c62e

Commits on Nov 14, 2023

• [ci] Fix CI on Win / Mac due to use of md5sum

  Show description for 1d5f0fd
  ejgallego

  committedNov 14, 2023
  1d5f0fd

  Copy full SHA for 1d5f0fd

Commits on Nov 11, 2023

• [test] Fix missing promote in test due to merge

  ejgallego

  committedNov 11, 2023
  7920e96

  Copy full SHA for 7920e96

• Merge pull request ejgallego#609 from ejgallego/correct_test_replace

  Show description for 31bfea0
  ejgallego

  authoredNov 11, 2023
  31bfea0

  Copy full SHA for 31bfea0

• [plugins] AST dump plugin

  Show description for 3995dfd
  ejgallego

  committedNov 11, 2023
  3995dfd

  Copy full SHA for 3995dfd

• [test] [compiler] Fix replacement text when FCC_TEST

  ejgallego

  committedNov 11, 2023
  f5af03f

  Copy full SHA for f5af03f

Commits on Nov 10, 2023

• [internal] [fleche] Absorb errors on document creation and update.

  Show description for b0484ce
  ejgallego

  committedNov 10, 2023
  b0484ce

  Copy full SHA for b0484ce

Commits on Oct 19, 2023

• [workspace] Support -rifrom option.

  Show description for 184b147
  ejgallego

  committedOct 19, 2023
  184b147

  Copy full SHA for 184b147

Commits on Oct 2, 2023

• fix fmt

  Show description for 58ac7bb
  Alizter

  committedOct 2, 2023
  58ac7bb

  Copy full SHA for 58ac7bb

Commits on Sep 28, 2023

• [coq] Output findlib workspace status in workspace describe.

  Show description for 2a5719b
  ejgallego

  committedSep 28, 2023
  2a5719b

  Copy full SHA for 2a5719b

Pagination

Previous

Next