Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 5, 2025

• Merge pull request #1889 from voodoos/granular-marshal

  Show description for 102eee4
  voodoos

  authored
  102eee4

  Copy full SHA for 102eee4

• Add a changelog entry for #1889

  voodoos

  committed
  ca0edb2

  Copy full SHA for ca0edb2

• Bump index magic number

  voodoos

  committed
  f8bdde1

  Copy full SHA for f8bdde1

• Granular_marshal: type-safe caching

  

  art-w

  authored and

  voodoos

  committed
  306f467

  Copy full SHA for 306f467

• Index_format: fix serialization of related_uids with granular_marshal

  

  art-w

  authored and

  voodoos

  committed
  6ee33d7

  Copy full SHA for 6ee33d7

• Add a test demonstrating loss of sharing

  Show description for b4e9796
  

  art-w

  authored and

  voodoos

  committed
  b4e9796

  Copy full SHA for b4e9796

• Use physical equality to compare stores names

  voodoos

  committed
  4bf013c

  Copy full SHA for 4bf013c

• Granular marshal optimizations

  Show description for 388b44b
  

  art-w

  authored and

  voodoos

  committed
  388b44b

  Copy full SHA for 388b44b

• Replace Marshal by Granular_marshal in ocaml-index

  

  Lucccyo

  authored and

  voodoos

  committed
  24a88c9

  Copy full SHA for 24a88c9

Commits on Feb 3, 2025

• Merge pull request #1882 from liam923/distinguish-files

  Show description for 834821e
  voodoos

  authored
  834821e

  Copy full SHA for 834821e

• Remove .t extension from cram config

  voodoos

  committed
  915eff7

  Copy full SHA for 915eff7

Commits on Jan 31, 2025

• Fix uncaught exception

  liam923

  committed
  986ebd0

  Copy full SHA for 986ebd0

• Disable test on windows

  liam923

  committed
  7d41a60

  Copy full SHA for 7d41a60

• Update changelog

  liam923

  committed
  6cbbd0c

  Copy full SHA for 6cbbd0c

• Fix bug

  liam923

  committed
  a478098

  Copy full SHA for a478098

• Create test

  liam923

  committed
  a20f833

  Copy full SHA for a20f833

• Merge pull request #1888 from liam923/rename-holes

  Show description for 1f73cad
  voodoos

  authored
  1f73cad

  Copy full SHA for 1f73cad

• Add changelog entry for #1888

  voodoos

  committed
  fdd0902

  Copy full SHA for fdd0902

Commits on Jan 17, 2025

• Update ci to point at PR

  liam923

  committed
  12e1cb7

  Copy full SHA for 12e1cb7

• Move typed_hole from ocaml-lsp

  liam923

  committed
  617d544

  Copy full SHA for 617d544

• Rename Tmod_hole to Tmod_typed_hole

  liam923

  committed
  9dd5765

  Copy full SHA for 9dd5765

• Rename Texp_hole to Texp_typed_hole

  liam923

  committed
  4a7bbe5

  Copy full SHA for 4a7bbe5

Commits on Jan 13, 2025

• Merge pull request #1886 from voodoos/index-magic-number

  Show description for 86b4b26
  voodoos

  authored
  86b4b26

  Copy full SHA for 86b4b26

• Changes for 5.4.1

  voodoos

  committed
  9e88322

  Copy full SHA for 9e88322

• index: bump magic number and update opam pkg

  voodoos

  committed
  6fb68e3

  Copy full SHA for 6fb68e3

Commits on Jan 10, 2025

• Merge pull request #1883 from voodoos/release-5.4-503

  Show description for 3b3d3d1
  voodoos

  authored
  3b3d3d1

  Copy full SHA for 3b3d3d1

• Update compiler version in CI

  voodoos

  committed
  52589f0

  Copy full SHA for 52589f0

• Update changelog

  voodoos

  committed
  09c1b47

  Copy full SHA for 09c1b47

• Merge pull request #1884 from voodoos/fix-printtyp-issue-with-cimpletion

  Show description for 528e03d
  voodoos

  authored
  528e03d

  Copy full SHA for 528e03d

• CI upgrade

  voodoos

  committed
  b30e218

  Copy full SHA for b30e218

• Fix the issue by preparing texp for printing

  voodoos

  committed
  6b7ace8

  Copy full SHA for 6b7ace8

• Show issue with completions type printing

  voodoos

  committed
  5e4c6bd

  Copy full SHA for 5e4c6bd

• Merge pull request #1877 from voodoos/503-renaming

  Show description for 9dcffb9
  voodoos

  authored
  9dcffb9

  Copy full SHA for 9dcffb9

• Update protocol documentation

  voodoos

  committed
  975ea9a

  Copy full SHA for 975ea9a

• test: renaming a functor value included from its parameter

  voodoos

  committed
  dcb1e41

  Copy full SHA for dcb1e41

Pagination

Previous

Next