hacl-star/hacl-star issues and pull requests

#1023 - [CI] regenerate hints and dist

Pull Request - State: open - Opened by hacl-bot about 22 hours ago - 1 comment

#1022 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 8 days ago - 2 comments

#1021 - Fix includes in Nacl test

Pull Request - State: closed - Opened by R1kM 14 days ago - 1 comment

#1020 - Lib_Memzero0.c: use explicit_bzero on OpenBSD

Pull Request - State: closed - Opened by collinfunk 16 days ago - 3 comments

#1019 - Enable context pruning

Pull Request - State: closed - Opened by nikswamy 17 days ago - 22 comments

#1018 - Moving remove_stale_hints script to this repo

Pull Request - State: closed - Opened by mtzguido about 1 month ago - 3 comments

#1017 - Updates for new F* build and packaging

Pull Request - State: closed - Opened by mtzguido about 1 month ago - 4 comments

#1016 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot about 1 month ago - 6 comments

#1015 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot about 2 months ago - 1 comment

#1014 - Upgrade Z3 to 4.13.3

Issue - State: open - Opened by msprotz about 2 months ago - 12 comments

#1013 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot about 2 months ago - 1 comment

#1012 - Lib_Memzero0.c: don't use memset_s() on macOS <10.9

Pull Request - State: closed - Opened by aeiouaeiouaeiouaeiouaeiouaeiou 2 months ago - 3 comments

#1011 - Adjustments to compile HACL* on Windows+Cygwin

Pull Request - State: closed - Opened by tahina-pro 2 months ago - 1 comment

#1010 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 2 months ago - 1 comment

#1009 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 2 months ago - 1 comment

#1008 - Cancel superseded CI jobs

Pull Request - State: closed - Opened by Nadrieril 2 months ago - 2 comments

#1007 - Incremental (streaming) HMAC

Pull Request - State: closed - Opened by msprotz 3 months ago - 20 comments

#1006 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 3 months ago - 2 comments

#1005 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 3 months ago - 2 comments

#1004 - Lib_Memzero0.c: Fix compiler warning on 32-bit Windows

Pull Request - State: closed - Opened by vstinner 3 months ago - 3 comments

#1003 - Remove KRML_CHECK_SIZE in HMAC

Pull Request - State: closed - Opened by msprotz 3 months ago - 8 comments

#1002 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 4 months ago - 1 comment

#1001 - Support for SHA3 and MD5 in HMAC (with @r1km)

Pull Request - State: closed - Opened by msprotz 4 months ago - 1 comment

#1000 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 4 months ago - 1 comment

#999 - Add mtime to list of ocaml packages

Pull Request - State: closed - Opened by R1kM 4 months ago - 1 comment

#998 - Makefiles/scons: using fstar.exe --ocamlopt to simplify, and -thread for libhaclml.cmxa

Pull Request - State: closed - Opened by mtzguido 4 months ago - 4 comments

#997 - Makefile.common: abort early if home/exe variables unset or nonexisting

Pull Request - State: closed - Opened by mtzguido 4 months ago - 1 comment

#996 - Makefile: fail early if no 'time'

Pull Request - State: closed - Opened by mtzguido 4 months ago - 2 comments

#995 - Vale.{X64,PPC64LE}.QuickCodes: erasing ranges

Pull Request - State: closed - Opened by mtzguido 4 months ago - 5 comments

#994 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 4 months ago - 2 comments

#993 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 4 months ago - 1 comment

#992 - How to cite HACL*

Pull Request - State: closed - Opened by msprotz 4 months ago - 1 comment

#991 - Make Intel intrinsincs available even on x86

Pull Request - State: closed - Opened by msprotz 4 months ago - 1 comment

#990 - valedepend.py: ignore comments in .depend

Pull Request - State: closed - Opened by mtzguido 4 months ago - 2 comments

#989 - Restructuring P-Curves to enable more curves

Pull Request - State: open - Opened by karthikbhargavan 4 months ago - 2 comments

#988 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 4 months ago - 1 comment

#987 - hints for F* PR #3515

Pull Request - State: closed - Opened by nikswamy 5 months ago - 4 comments

#986 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 5 months ago - 1 comment

#985 - Fix implicit declaration of 'explicit_memset' for NetBSD in Lib_Memzero0.c

Pull Request - State: closed - Opened by furkanonder 5 months ago - 1 comment

#984 - Restore Keccak-256 hash function

Issue - State: open - Opened by victor-dumitrescu 5 months ago - 2 comments

#983 - A new workspace layout with multiple crates for HACL-rs

Pull Request - State: closed - Opened by msprotz 5 months ago - 4 comments

#982 - HACL*, extracted to Rust, with match constructs retained wherever applicable

Pull Request - State: closed - Opened by msprotz 5 months ago

#981 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 5 months ago - 1 comment

#980 - specify inline related attribute for Oracle Studio compiler

Pull Request - State: closed - Opened by vladak 5 months ago - 3 comments

#979 - ChaCha20Poly1305 returns an empty array for files bigger than 600KB.

Issue - State: open - Opened by danilobassi8 5 months ago - 11 comments

#978 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 5 months ago - 1 comment

#977 - Stabilize a proof in Lib.Vec.Lemmas, add hints for it

Pull Request - State: closed - Opened by nikswamy 6 months ago - 1 comment

#976 - Hacl.Spec.K256.Scalar.Lemmas: stabilize proof

Pull Request - State: closed - Opened by mtzguido 6 months ago - 1 comment

#975 - Restarting solver for an unstable proof

Pull Request - State: closed - Opened by nikswamy 6 months ago - 1 comment

#974 - Inline init_with_params in Blake2

Pull Request - State: closed - Opened by R1kM 6 months ago - 1 comment

#973 - Fix build

Pull Request - State: closed - Opened by mtzguido 6 months ago - 2 comments

#972 - hints

Pull Request - State: closed - Opened by mtzguido 6 months ago - 1 comment

#971 - Hacl.Streaming.Functor: tweak proof, regen hints

Pull Request - State: closed - Opened by mtzguido 6 months ago - 2 comments

#970 - Minor simplifications in branching

Pull Request - State: closed - Opened by R1kM 6 months ago - 1 comment

#969 - Simplify a bignum mask

Pull Request - State: closed - Opened by R1kM 6 months ago - 1 comment

#968 - Support for Ed25519ctx

Issue - State: open - Opened by red-001 6 months ago

#967 - Lib.Sequence: fix a flaky proof

Pull Request - State: closed - Opened by mtzguido 6 months ago - 2 comments

#966 - Remove more trailing whitespace

Pull Request - State: closed - Opened by msprotz 7 months ago - 1 comment

#965 - Remove trailing whitespace

Pull Request - State: closed - Opened by msprotz 7 months ago - 1 comment

#964 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 7 months ago - 2 comments

#963 - Vale.Transformers.InstructionReorderSanityChecks: use --admit_smt_que…

Pull Request - State: closed - Opened by mtzguido 7 months ago - 4 comments

#962 - Hacl.Impl.Poly1305: rlimit bump

Pull Request - State: closed - Opened by mtzguido 7 months ago - 1 comment

#961 - Fix proof breakage

Pull Request - State: closed - Opened by mtzguido 7 months ago - 1 comment

#960 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 7 months ago - 1 comment

#959 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 7 months ago - 1 comment

#958 - Fix openssl autodetection on mac

Pull Request - State: closed - Opened by R1kM 8 months ago - 1 comment

#957 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 8 months ago - 2 comments

#956 - Prettify Blake2 dist

Pull Request - State: closed - Opened by R1kM 8 months ago - 1 comment

#955 - Restore SHA-3 speed by inlining absorb_inner

Pull Request - State: open - Opened by karthikbhargavan 8 months ago - 2 comments

#954 - SHA3 Performance regression

Issue - State: open - Opened by franziskuskiefer 8 months ago - 2 comments

#953 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 8 months ago - 1 comment

#952 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 9 months ago - 1 comment

#951 - Improve Bignum32 Documentation

Pull Request - State: closed - Opened by ma-ilsi 9 months ago - 1 comment

#950 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 9 months ago - 1 comment

#949 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 9 months ago - 2 comments

#948 - Update OCaml builds in Makefile

Pull Request - State: closed - Opened by R1kM 10 months ago - 2 comments

#947 - Stabilizing a proof

Pull Request - State: closed - Opened by mtzguido 10 months ago - 5 comments

#946 - Missing header inclusion for usage of alloca via clang packaged in Visual Studio 2022

Issue - State: open - Opened by msprotz 10 months ago

#945 - Bump solver settings on a couple of proofs in Lib

Pull Request - State: closed - Opened by nikswamy 10 months ago - 2 comments

#944 - Feedback on rust code

Issue - State: open - Opened by ctz 10 months ago - 2 comments
Labels: HACL-rs

#943 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 10 months ago - 1 comment

#942 - Import NI modules of GHASH from `pnmadelaine_aes` branch and adds specific proofs

Pull Request - State: open - Opened by mamonet 10 months ago - 6 comments

#941 - Various refreshes

Pull Request - State: closed - Opened by msprotz 10 months ago - 2 comments

#940 - Fix header inclusion logic and bump XCode version following GitHub Actions OSX image upgrade

Pull Request - State: closed - Opened by msprotz 10 months ago - 6 comments

#939 - Vectorised SHA3 includes in non-vectorised code

Issue - State: closed - Opened by franziskuskiefer 10 months ago
Labels: bug

#938 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 10 months ago - 1 comment

#937 - Nix: simplify source filter for Rust extraction

Pull Request - State: closed - Opened by pnmadelaine 10 months ago - 6 comments

#936 - Blake2, 5/5: Extend implementation to support last node

Pull Request - State: closed - Opened by R1kM 10 months ago

#935 - rlimit fixes

Pull Request - State: closed - Opened by msprotz 10 months ago - 2 comments

#934 - Blake2, 4/5: Extend specification to support last_node

Pull Request - State: closed - Opened by R1kM 10 months ago - 1 comment

#933 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 10 months ago - 2 comments

#932 - Fix regression

Pull Request - State: closed - Opened by mtzguido 10 months ago - 1 comment

#931 - Add magic nix command because I can't be searching in my bash history every time

Pull Request - State: closed - Opened by msprotz 10 months ago - 2 comments

GitHub / hacl-star/hacl-star issues and pull requests