cryspen/hacl-packages

Issues

• build: Update `config/default_config.cmake` during `mach update`.

  #299 opened 2 years ago
  1

• docs: Refer to (now available) `Hacl_HMAC_DRBG_free`.

  #296 opened 2 years ago
  0

• docs: Make it clear that streaming API allows intermediate hashes (w/o reinit).

  #295 opened 2 years ago
  0

• tests: Add SHA-3 streaming tests.

  #290 opened a year ago
  0

• docs: Add some HPKE docs.

  #287 opened 2 years ago
  0

• cut a new point release (to be discussed)

  #286 opened a year ago
  0

• Use custom `#define`s in examples until hacl-star has them.

  #285 opened 2 years ago
  0

• Update Vale

  #282 opened 2 years ago
  0

• `set-output` is deprecated

  #276 opened 2 years ago
  0

• Re-enforce drone CI

  #275 opened 2 years ago
  1

• Code snippets

  #269 opened 2 years ago
  1

• CMake support

  #268 opened 2 years ago
  2

• Add oss-fuzz/cryptofuzz module

  #267 opened 2 years ago
  0

• Miscellaneous C API doc improvements

  #263 opened 2 years ago
  2

• Update macos CI to latest

  #259 opened a year ago
  1

• Refactor: Define API (and names)

  #255 opened 2 years ago
  0

• CI: Eagerly cancel superseded jobs.

  #253 opened 2 years ago
  0

• OCaml documentation fails in CI

  #252 opened 2 years ago
  1

• Remove/Change `-c CONFIG` parameter of `./mach install`?

  #248 opened 2 years ago
  0

• `./mach install` should give a better error message when `./mach build` wasn't run before.

  #247 opened 2 years ago
  0

• Update NodeJS on CI

  #239 opened 2 years ago
  0

• release notes

  #238 opened 2 years ago
  0

• Usage examples

  #237 opened 2 years ago
  0

• Describe how documentation system works.

  #235 opened 2 years ago
  0

• c89 cleanup

  #233 opened a year ago
  0

• Documentation for RSASSA-PSS is missing.

  #229 opened 2 years ago
  0

• Add OCaml documentation

  #227 opened 2 years ago
  3

• API Reference: Rename bindings section in the book (packages)

  #226 opened 2 years ago
  0

• API Reference: Add welcome page

  #225 opened 2 years ago
  0

• Make it so that hacl-packages documentation and hacl-star documentation play nice together.

  #220 opened 2 years ago
  0

• Fix "nested documentation elements are displayed on the top level overview" and more bugs

  #218 opened 2 years ago
  1

• docs: Introduce pages for common types, typedefs, defines, ... used throughout HACL.

  #217 opened 2 years ago
  0

• Nacl

  #210 opened 2 years ago
  0

• Ed25519

  #209 opened 2 years ago
  1

• x25519

  #208 opened 2 years ago
  0

• P256k1

  #207 opened 2 years ago
  0

• P256r1

  #206 opened 2 years ago
  0

• HMAC

  #205 opened 2 years ago
  0

• HKDF

  #204 opened 2 years ago
  0

• DRBG

  #203 opened 2 years ago
  0

• Blake2

  #202 opened 2 years ago
  1

• Bignum & GenericField

  #201 opened 2 years ago
  0

• Chacha20Poly1305

  #200 opened 2 years ago
  0

• AES-GCM

  #199 opened 2 years ago
  0

• Fix OpenSSL benchmarks on macOS CI

  #198 opened 2 years ago
  0

• Enable benchmarks on Windows CI

  #197 opened 2 years ago
  0

• Warning when building asm

  #196 opened 7 months ago
  6

• API Documentation

  #195 opened 2 years ago
  0

• docs: Provide tested examples for every algorithm.

  #193 opened 2 years ago
  0

• Set up API reference tooling

  #191 opened 2 years ago
  0