Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 23, 2023

• remove bindings

  pnmadelaine

  committed
  7789f9b

  Copy full SHA for 7789f9b

Commits on Oct 26, 2022

• update install-hacl-star-raw

  pnmadelaine

  committed
  2a2a8d6

  Copy full SHA for 2a2a8d6

Commits on Jul 27, 2022

• Remove miTLS support

  msprotz

  committed
  391c08a

  Copy full SHA for 391c08a

Commits on Mar 25, 2022

• KREMLIN_HOME -> KRML_HOME in Makefile templates

  tahina-pro

  committed
  6bd203b

  Copy full SHA for 6bd203b

Commits on Jan 28, 2022

• break ocamlfind install into several pieces

  tahina-pro

  committed
  3601965

  Copy full SHA for 3601965

Commits on Jan 19, 2022

• remove hacl-star-raw before installing

  franziskuskiefer

  committed
  70d3fc0

  Copy full SHA for 70d3fc0

Commits on Jan 12, 2022

• Fixup for the mitls-specific hacks...

  msprotz

  committed
  b93ec21

  Copy full SHA for b93ec21

Commits on Dec 9, 2021

• refresh dist

  polubelova

  committed
  b56e0ef

  Copy full SHA for b56e0ef

Commits on Nov 13, 2021

• do we need -thread

  hhugo

  committed
  29714f3

  Copy full SHA for 29714f3

• where is the ctypes.foreign deps ?

  hhugo

  committed
  48269ae

  Copy full SHA for 48269ae

Commits on Sep 17, 2021

• Fix broken configure script (once again, a non-portable option was used)

  protz

  committed
  2293ed6

  Copy full SHA for 2293ed6

Commits on Jul 7, 2021

• Build fixes for FreeBSD: link in proper ASM implementations

  protz

  committed
  a342e20

  Copy full SHA for a342e20

Commits on Jun 18, 2021

• simple rule to build and install OCaml bindings (suggested by @msprotz)

  Show description for 53b7309
  tahina-pro

  committed
  53b7309

  Copy full SHA for 53b7309

Commits on Mar 18, 2021

• Build on FreeBSD

  Show description for 235309d
  

  William Erik Baxter

  committed
  235309d

  Copy full SHA for 235309d

Commits on Feb 19, 2021

• Fix build with ctypes 0.18

  victor-dumitrescu

  committed
  d63b5d0

  Copy full SHA for d63b5d0

• Abort if KREMLIN_HOME not properly set

  victor-dumitrescu

  committed
  b388a95

  Copy full SHA for b388a95

Commits on Feb 18, 2021

• With @kachoc, clean things up a little more

  protz

  committed
  4488d1f

  Copy full SHA for 4488d1f

• Update dist/Makefile.tmpl

  sonmarcho

  committed
  7c5e5dd

  Copy full SHA for 7c5e5dd

• Modify dist/configure and Makefile.tmpl to not copy and run the

  Show description for 8b1f509
  sonmarcho

  committed
  8b1f509

  Copy full SHA for 8b1f509

• Start updating dist/Makefile.tmpl and dist/configure

  sonmarcho

  committed
  66df6f6

  Copy full SHA for 66df6f6

Commits on Feb 16, 2021

• Missing -thread?

  protz

  committed
  78d775b

  Copy full SHA for 78d775b

Commits on Oct 8, 2020

• Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml

  victor-dumitrescu

  committed
  043085a

  Copy full SHA for 043085a

Commits on Oct 7, 2020

• Reinstated target

  victor-dumitrescu

  committed
  0d4abc0

  Copy full SHA for 0d4abc0

• Small fix

  victor-dumitrescu

  committed
  4d29989

  Copy full SHA for 4d29989

Commits on Oct 6, 2020

• With @tahina-pro, stop hardcoding architecture and target flags in the Makefiles

  msprotz

  committed
  d002af0

  Copy full SHA for d002af0

• More specific path for stublibs when building hacl-star-raw

  victor-dumitrescu

  committed
  c9ddf6e

  Copy full SHA for c9ddf6e

• Build adjustments for hacl-star-raw

  victor-dumitrescu

  committed
  0994b96

  Copy full SHA for 0994b96

Commits on Sep 29, 2020

• Merge branch 'master' into arm-cross-builds-season1

  Frosne

  authored
  13f33b6

  Copy full SHA for 13f33b6

Commits on Sep 20, 2020

• Update Makefile and dist/Makefile.tmpl

  sonmarcho

  committed
  c857257

  Copy full SHA for c857257

Commits on Sep 16, 2020

• addressing some review comments

  franziskuskiefer

  committed
  7c71b38

  Copy full SHA for 7c71b38

• Merge remote-tracking branch 'origin/master' into arm-cross-builds-season1

  franziskuskiefer

  committed
  b87d074

  Copy full SHA for b87d074

Commits on Aug 27, 2020

• update Makefile.tmpl

  franziskuskiefer

  committed
  d3169f6

  Copy full SHA for d3169f6

Commits on Aug 11, 2020

• Add rules forgotten in Makefile and dist/Makefile.tmpl

  sonmarcho

  committed
  904acaf

  Copy full SHA for 904acaf

• Update the Makefiles

  sonmarcho

  committed
  c10950f

  Copy full SHA for c10950f

Commits on Jul 29, 2020

• Update dist/Makefile.tmp to use proper C flags for vectorization

  sonmarcho

  committed
  162e874

  Copy full SHA for 162e874

Pagination

Previous

Next