Code

Switch to Dune#24

Code

Merged

xavierleroy merged 22 commits intoxavierleroy:masterxavierleroy/cryptokit:masterfrom snowleopard:masterCopy head branch name to clipboardOct 9, 2020

+235-449

Commits

Commits on Aug 5, 2020

• Add .merlin to .gitignore

  snowleopard

  committed
  c83176b

• Add a first draft, including generated OPAM file

  snowleopard

  committed
  e4f6d7c

• Add -safe-string

  snowleopard

  committed
  f0e28ac

• Delete _tags

  snowleopard

  committed
  777156f

• Add tests

  snowleopard

  committed
  cbd1995

Commits on Aug 6, 2020

• Restore _tags

  snowleopard

  committed
  b884eb6

• Refactor tests

  snowleopard

  committed
  e8386cb

• Compute flags

  snowleopard

  committed
  01830e3

• Minor tweaks

  snowleopard

  committed
  1684fb3

• Update README

  snowleopard

  committed
  151a4b3

• Delete OASIS files

  snowleopard

  committed
  dec1017

• Tweak wording

  snowleopard

  committed
  a00931f

• Specify Dune version

  snowleopard

  committed
  09b0e96

Commits on Aug 20, 2020

• Update src/compute_flags.ml

  Show description for c8aa431
  

  snowleopard

  and

  xavierleroy

  authored
  c8aa431

Commits on Aug 21, 2020

• Move configuration logic into a subdirectory

  snowleopard

  committed
  350a6b8

• Test -maes flag

  snowleopard

  committed
  4f9956c

• Use configurator's [write_sexp]

  snowleopard

  committed
  54e728b

Commits on Sep 7, 2020

• Simplify configuration code

  snowleopard

  committed
  460e482

• Update dependencies

  snowleopard

  committed
  49cc7f9

Commits on Sep 11, 2020

• Add name to dune-project

  snowleopard

  committed
  de79dbf

Commits on Oct 8, 2020

• Add configure

  snowleopard

  committed
  1a72f5a

• Fix whitespace

  snowleopard

  committed
  7d170c9