Commits · master · POTTIER Francois / sek

21 Jan, 2022 1 commit
- Time.ml: [stabilize_gc] was broken; just replace it with [Gc.compact]. · 17da2e62
  POTTIER Francois authored Jan 20, 2022
  
  17da2e62
07 Jan, 2022 11 commits
- README. · 0524c252
  POTTIER Francois authored Jan 07, 2022
  
  0524c252
- In benchmarks/, add the command [./make.sh bench <benchmark>]. · 902199fb
  POTTIER Francois authored Jan 07, 2022
```
Also, create benchmark/default.switch.
```
  902199fb
- README. · 3bbce7bd
  POTTIER Francois authored Jan 07, 2022
  
  3bbce7bd
- Name the default switch (used for testing) in fuzz/default.switch. · e3b78cff
  POTTIER Francois authored Jan 07, 2022
  
  e3b78cff
- README. · 00d05c97
  POTTIER Francois authored Jan 07, 2022
  
  00d05c97
- README. · f8c53103
  POTTIER Francois authored Jan 07, 2022
  
  f8c53103
- [make setup]: do not automatically invoke [make -C fuzz setup]. · e2014396
  POTTIER Francois authored Jan 07, 2022
  
  e2014396
- Include Makefile.monolith only if it can be found. · ea4c2034
  POTTIER Francois authored Jan 07, 2022
  
  ea4c2034
- README. · b85f729e
  POTTIER Francois authored Jan 07, 2022
  
  b85f729e
- Try to fix [make setup], again. · c1f7222a
  POTTIER Francois authored Jan 07, 2022
  
  c1f7222a
- Try to fix [make setup]. · f1f72bee
  POTTIER Francois authored Jan 07, 2022
  
  f1f72bee
06 Jan, 2022 4 commits
- Add 4.13.0 to [make versions]. · a3321c5a
  POTTIER Francois authored Jan 06, 2022
  
  a3321c5a
- Benchmarks: remove redundant (flags) directives and make sure everything builds without warnings. · 914d35fb
  POTTIER Francois authored Jan 06, 2022
  
  914d35fb
- Temporarily remove the call to [make merlin], because it fails. · 46969672
  POTTIER Francois authored Jan 06, 2022
```
(Recent versions of Dune do not generate src/.merlin any more.)
Waiting for a better patch.
```
  46969672
- Improve [make setup]. · 90b800b7
  POTTIER Francois authored Jan 06, 2022
  
  90b800b7
26 Aug, 2021 1 commit
- Disable warning 70 in fuzz/. · 20d0d88a
  POTTIER Francois authored Aug 26, 2021
  
  20d0d88a
26 May, 2021 5 commits
- Add a license: field in sek.opam. · c99ba6a4
  POTTIER Francois authored May 26, 2021
  
  c99ba6a4
- Remove outdated #use directive in debug.ml. · 2ac1a8d8
  POTTIER Francois authored May 26, 2021
  
  2ac1a8d8
- [make versions]: add a version of OCaml. · 3868c5e4
  POTTIER Francois authored May 26, 2021
  
  3868c5e4
- Update date in CHANGES.md for release. · 2c056ef9
  POTTIER Francois authored May 26, 2021
  
  2c056ef9
- New archive URL. · e4941029
  POTTIER Francois authored May 26, 2021
  
  e4941029
27 Oct, 2020 1 commit
- Add Monolith as a dependency, only in development mode. · f9792d06
  POTTIER Francois authored Oct 27, 2020
  
  f9792d06
26 Oct, 2020 2 commits
- Update to the latest Monolith. · dcd0fbed
  POTTIER Francois authored Oct 26, 2020
  
  dcd0fbed
- Update to the latest Monolith. · 4bfa1ea3
  POTTIER Francois authored Oct 26, 2020
  
  4bfa1ea3
25 Oct, 2020 1 commit
- Update to the current version of monolith. · a7e49456
  POTTIER Francois authored Oct 25, 2020
  
  a7e49456
19 Oct, 2020 1 commit
- Update to new version of Monolith. · 97e48ba6
  POTTIER Francois authored Oct 19, 2020
  
  97e48ba6
18 Oct, 2020 2 commits
- Update to new version of Monolith. · e4d7f09f
  POTTIER Francois authored Oct 18, 2020
  
  e4d7f09f
- Update to new version of Monolith. · af194ffb
  POTTIER Francois authored Oct 18, 2020
  
  af194ffb
14 Oct, 2020 1 commit
- Remove dead exception handlers in prologue. · 9606716a
  POTTIER Francois authored Oct 14, 2020
  
  9606716a
12 Oct, 2020 10 commits
- Prologue: use [dprintf] instead of [printf]. · c4430e3e
  POTTIER Francois authored Oct 12, 2020
  
  c4430e3e
- Comment. · a87eb04e
  POTTIER Francois authored Oct 12, 2020
  
  a87eb04e
- Fix [make headache]. · 4d3dfd44
  POTTIER Francois authored Oct 12, 2020
  
  4d3dfd44
- Headers. · 1443efff
  POTTIER Francois authored Oct 12, 2020
  
  1443efff
- TODO. · 423ac839
  POTTIER Francois authored Oct 12, 2020
  
  423ac839
- Comment. · d8f7a841
  POTTIER Francois authored Oct 12, 2020
  
  d8f7a841
- Fuzz [P.to_seq] and [E.to_seq] as affine sequences. (A more complete test.) · 50d60654
  POTTIER Francois authored Oct 12, 2020
  
  50d60654
- Change [R.E.to_seq] to use an iterator and check its validity. · b2c93696
  POTTIER Francois authored Oct 12, 2020
  
  b2c93696
- TODO. · 308bcbff
  POTTIER Francois authored Oct 12, 2020
  
  308bcbff
- CHANGES. · 84697e1b
  POTTIER Francois authored Oct 12, 2020
  
  84697e1b