Commits · master · POTTIER Francois / sek

May 18, 2024
- Change @specialised to @specialise on 3 function definitions. · 88060328
  POTTIER Francois authored 10 months ago
  
  88060328
- Remove useless [@inline] attributes in .mli files. · 226c3db1
  POTTIER Francois authored 10 months ago
  
  226c3db1
- Benchmark: use [Core.Time_float]. · dfd031f5
  POTTIER Francois authored 10 months ago
  
  dfd031f5
Apr 30, 2024
- Update version number in benchmark/README.md. · aa4dabad
  POTTIER Francois authored 11 months ago
  
  aa4dabad
Nov 29, 2022
- Change core to core_unix for the benchmarks to work. · dd59924e
  POTTIER Francois authored 2 years ago
  
  dd59924e
Mar 29, 2022
- Add 4.14 to [make versions]. · 49576180
  POTTIER Francois authored 3 years ago
  
  49576180
Jan 21, 2022
- Time.ml: [stabilize_gc] was broken; just replace it with [Gc.compact]. · 17da2e62
  POTTIER Francois authored 3 years ago
  
  17da2e62
Jan 07, 2022
- README. · 0524c252
  POTTIER Francois authored 3 years ago
  
  0524c252
- In benchmarks/, add the command [./make.sh bench <benchmark>]. · 902199fb
  POTTIER Francois authored 3 years ago
  
  Also, create benchmark/default.switch.
  902199fb
- README. · 3bbce7bd
  POTTIER Francois authored 3 years ago
  
  3bbce7bd
- Name the default switch (used for testing) in fuzz/default.switch. · e3b78cff
  POTTIER Francois authored 3 years ago
  
  e3b78cff
- README. · 00d05c97
  POTTIER Francois authored 3 years ago
  
  00d05c97
- README. · f8c53103
  POTTIER Francois authored 3 years ago
  
  f8c53103
- [make setup]: do not automatically invoke [make -C fuzz setup]. · e2014396
  POTTIER Francois authored 3 years ago
  
  e2014396
- Include Makefile.monolith only if it can be found. · ea4c2034
  POTTIER Francois authored 3 years ago
  
  ea4c2034
- README. · b85f729e
  POTTIER Francois authored 3 years ago
  
  b85f729e
- Try to fix [make setup], again. · c1f7222a
  POTTIER Francois authored 3 years ago
  
  c1f7222a
- Try to fix [make setup]. · f1f72bee
  POTTIER Francois authored 3 years ago
  
  f1f72bee
Jan 06, 2022
- Add 4.13.0 to [make versions]. · a3321c5a
  POTTIER Francois authored 3 years ago
  
  a3321c5a
- Benchmarks: remove redundant (flags) directives and make sure everything builds without warnings. · 914d35fb
  POTTIER Francois authored 3 years ago
  
  914d35fb
- Temporarily remove the call to [make merlin], because it fails. · 46969672
  POTTIER Francois authored 3 years ago
  
  (Recent versions of Dune do not generate src/.merlin any more.) Waiting for a better patch.
  46969672
- Improve [make setup]. · 90b800b7
  POTTIER Francois authored 3 years ago
  
  90b800b7
Aug 26, 2021
- Disable warning 70 in fuzz/. · 20d0d88a
  POTTIER Francois authored 3 years ago
  
  20d0d88a
May 26, 2021
- Add a license: field in sek.opam. · c99ba6a4
  POTTIER Francois authored 3 years ago
  
  20201012
  
  c99ba6a4
- Remove outdated #use directive in debug.ml. · 2ac1a8d8
  POTTIER Francois authored 3 years ago
  
  2ac1a8d8
- [make versions]: add a version of OCaml. · 3868c5e4
  POTTIER Francois authored 3 years ago
  
  3868c5e4
- Update date in CHANGES.md for release. · 2c056ef9
  POTTIER Francois authored 3 years ago
  
  2c056ef9
- New archive URL. · e4941029
  POTTIER Francois authored 3 years ago
  
  e4941029
Oct 27, 2020
- Add Monolith as a dependency, only in development mode. · f9792d06
  POTTIER Francois authored 4 years ago
  
  f9792d06
Oct 26, 2020
- Update to the latest Monolith. · dcd0fbed
  POTTIER Francois authored 4 years ago
  
  dcd0fbed
- Update to the latest Monolith. · 4bfa1ea3
  POTTIER Francois authored 4 years ago
  
  4bfa1ea3
Oct 25, 2020
- Update to the current version of monolith. · a7e49456
  POTTIER Francois authored 4 years ago
  
  a7e49456
Oct 19, 2020
- Update to new version of Monolith. · 97e48ba6
  POTTIER Francois authored 4 years ago
  
  97e48ba6
Oct 18, 2020
- Update to new version of Monolith. · e4d7f09f
  POTTIER Francois authored 4 years ago
  
  e4d7f09f
- Update to new version of Monolith. · af194ffb
  POTTIER Francois authored 4 years ago
  
  af194ffb
Oct 14, 2020
- Remove dead exception handlers in prologue. · 9606716a
  POTTIER Francois authored 4 years ago
  
  9606716a
Oct 12, 2020
- Prologue: use [dprintf] instead of [printf]. · c4430e3e
  POTTIER Francois authored 4 years ago
  
  c4430e3e
- Comment. · a87eb04e
  POTTIER Francois authored 4 years ago
  
  a87eb04e
- Fix [make headache]. · 4d3dfd44
  POTTIER Francois authored 4 years ago
  
  4d3dfd44
- Headers. · 1443efff
  POTTIER Francois authored 4 years ago
  
  1443efff

Admin message