Code

Build with dune#212

Code

Merged

tahina-pro merged 26 commits intomasterFStarLang/karamel:masterfrom taramana_duneFStarLang/karamel:taramana_duneCopy head branch name to clipboardApr 19, 2023

+391-405

Commits

Commits on May 20, 2021

• step 1: reorder targets

  tahina-pro

  committed
  21d59dd

  Copy full SHA for 21d59dd

• step 2: use dune to build kremlib extra

  tahina-pro

  committed
  977c5e7

  Copy full SHA for 977c5e7

• step 3: use dune to build krml

  tahina-pro

  committed
  c1aebd4

  Copy full SHA for c1aebd4

Commits on Jul 12, 2021

• move all sources to src/

  tahina-pro

  committed
  ab4cac4

  Copy full SHA for ab4cac4

• Merge branch 'taramana_dune_20210712' into taramana_dune

  tahina-pro

  committed
  94913e4

  Copy full SHA for 94913e4

Commits on Feb 4, 2023

• Merge branch 'master' of github.com:FStarLang/karamel into taramana_dune

  tahina-pro

  committed
  e151bfe

  Copy full SHA for e151bfe

• kremlin -> karamel

  tahina-pro

  committed
  d123962

  Copy full SHA for d123962

• missing dune-project in krmllib

  tahina-pro

  committed
  e923c07

  Copy full SHA for e923c07

• regenerate src/FStar_Version.ml

  tahina-pro

  committed
  5048cd9

  Copy full SHA for 5048cd9

Commits on Mar 6, 2023

• Merge branch 'master' of github.com:FStarLang/kremlin into taramana_dune

  tahina-pro

  committed
  addf91f

  Copy full SHA for addf91f

• fstarlib -> fstar.lib

  tahina-pro

  committed
  005c3ce

  Copy full SHA for 005c3ce

Commits on Mar 7, 2023

• "convert" ctypes-test to dune

  Show description for 6df4e93
  tahina-pro

  committed
  6df4e93

  Copy full SHA for 6df4e93

Commits on Apr 8, 2023

• Merge branch 'master' into taramana_dune

  msprotz

  committed
  f815223

  Copy full SHA for f815223

• Add a reference Makefile that captures the build hacl-packages

  msprotz

  committed
  beacaa3

  Copy full SHA for beacaa3

• Missing dependency edge in the generated file

  msprotz

  committed
  14eaa69

  Copy full SHA for 14eaa69

• try

  msprotz

  committed
  85c5dcb

  Copy full SHA for 85c5dcb

Commits on Apr 19, 2023

• pre-merge: revert changes on some hints file

  tahina-pro

  committed
  895a077

  Copy full SHA for 895a077

• Merge branch 'master' of github.com:FStarLang/karamel into taramana_dune

  tahina-pro

  committed
  0d32469

  Copy full SHA for 0d32469

• restore overlooked KRML_HOME

  Show description for 30c24bb
  tahina-pro

  committed
  30c24bb

  Copy full SHA for 30c24bb

• remove unused OCaml krmllib "extra"

  tahina-pro

  committed
  7eb9fa3

  Copy full SHA for 7eb9fa3

• redundant +$(MAKE) -> $(MAKE)

  Show description for 69a40f1
  tahina-pro

  committed
  69a40f1

  Copy full SHA for 69a40f1

• remove ocamlbuild remnants

  tahina-pro

  committed
  f8a67bc

  Copy full SHA for f8a67bc

• without KRML_HOME, now assume dune's build path instead of ocamlbuild's

  tahina-pro

  committed
  704f38b

  Copy full SHA for 704f38b

• allow test/sepcomp without KRML_HOME, assume a Karamel source tree

  tahina-pro

  committed
  5379b45

  Copy full SHA for 5379b45

• restore OCaml warning comments

  tahina-pro

  committed
  05ebb4d

  Copy full SHA for 05ebb4d

• ignore OCaml warning 7 (method-override)

  tahina-pro

  committed
  0601a57

  Copy full SHA for 0601a57