Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

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

#986 - [CI] regenerate hints and dist

Pull Request - State: open - Opened by hacl-bot 5 days ago - 1 comment

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

Pull Request - State: closed - Opened by furkanonder 10 days ago - 1 comment

#984 - Restore Keccak-256 hash function

Issue - State: open - Opened by victor-dumitrescu 11 days ago - 1 comment

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

Pull Request - State: closed - Opened by msprotz 13 days ago - 4 comments

#981 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 19 days ago - 1 comment

#980 - specify inline related attribute for Oracle Studio compiler

Pull Request - State: closed - Opened by vladak 20 days ago - 3 comments

#978 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 26 days ago - 1 comment

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

Pull Request - State: closed - Opened by nikswamy 29 days ago - 1 comment

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

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

#975 - Restarting solver for an unstable proof

Pull Request - State: closed - Opened by nikswamy about 1 month ago - 1 comment

#974 - Inline init_with_params in Blake2

Pull Request - State: closed - Opened by R1kM about 1 month ago - 1 comment

#973 - Fix build

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

#972 - hints

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

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

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

#970 - Minor simplifications in branching

Pull Request - State: closed - Opened by R1kM about 1 month ago - 1 comment

#969 - Simplify a bignum mask

Pull Request - State: closed - Opened by R1kM about 1 month ago - 1 comment

#968 - Support for Ed25519ctx

Issue - State: open - Opened by red-001 about 1 month ago

#967 - Lib.Sequence: fix a flaky proof

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

#966 - Remove more trailing whitespace

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

#965 - Remove trailing whitespace

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

#964 - [CI] regenerate hints and dist

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

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

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

#962 - Hacl.Impl.Poly1305: rlimit bump

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

#961 - Fix proof breakage

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

#960 - [CI] regenerate hints and dist

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

#959 - [CI] regenerate hints and dist

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

#958 - Fix openssl autodetection on mac

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

#957 - [CI] regenerate hints and dist

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

#956 - Prettify Blake2 dist

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

#955 - Restore SHA-3 speed by inlining absorb_inner

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

#954 - SHA3 Performance regression

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

#953 - [CI] regenerate hints and dist

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

#952 - [CI] regenerate hints and dist

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

#951 - Improve Bignum32 Documentation

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

#950 - [CI] regenerate hints and dist

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

#949 - [CI] regenerate hints and dist

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

#948 - Update OCaml builds in Makefile

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

#947 - Stabilizing a proof

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

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

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

#944 - Feedback on rust code

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

#943 - [CI] regenerate hints and dist

Pull Request - State: closed - Opened by hacl-bot 5 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 5 months ago - 6 comments

#941 - Various refreshes

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

#939 - Vectorised SHA3 includes in non-vectorised code

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

#938 - [CI] regenerate hints and dist

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

#937 - Nix: simplify source filter for Rust extraction

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

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

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

#935 - rlimit fixes

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

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

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

#933 - [CI] regenerate hints and dist

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

#932 - Fix regression

Pull Request - State: closed - Opened by mtzguido 6 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 6 months ago - 2 comments

#929 - [CI] regenerate hints and dist

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

#928 - Blake2, Part 2/5: Fix redundant (and incorrect) handling of parameters

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

#927 - Blake2, Part 1-3/5: Extract with key support

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

#926 - Improve handling of Blake2 parameters in Spec

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

#925 - Remove unneeded branch in K256

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

#924 - [CI] regenerate hints and dist

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

#923 - Extend implementation of Blake2 to support extended parameters

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

#922 - Remove scary warning on README

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

#921 - [CI] regenerate hints and dist

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

#920 - [CI] regenerate hints and dist

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

#919 - Import AES-CTR32 modules from pnmadelaine_aes branch and add NI proofs

Pull Request - State: open - Opened by mamonet 7 months ago - 3 comments

#918 - A preliminary version of HACL* extracted to *safe* Rust

Pull Request - State: open - Opened by msprotz 7 months ago - 14 comments

#917 - CI: update actions' dependencies

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

#916 - [CI] regenerate hints and dist

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

#915 - Small improvements to Makefiles

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

#914 - Vale: work around Heisenbug

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

#913 - [CI] regenerate hints and dist

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

#912 - Update some proofs for changes to F*'s Seq

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

#911 - Update README to point to newer F* website

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

#910 - Add missing #include <sys/syscall.h> in Lib_RandomBuffer_System.c

Pull Request - State: closed - Opened by vincent-botbol 8 months ago - 8 comments

#909 - nix: add rustc dependency

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

#908 - [CI] regenerate hints and dist

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

#907 - [CI] regenerate hints and dist

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

#906 - ci: minimize permissions

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

#905 - Improve Ed25519 Documentation

Pull Request - State: closed - Opened by ma-ilsi 9 months ago - 5 comments

#904 - [CI] regenerate hints and dist

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

#903 - Update HACL to deal with a code-gen change in krml

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

#902 - Makefiles: replace --hint_file for --hint_dir

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

#901 - Stabilize some proofs

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

#900 - Nit: Use consistent instantiations in Streaming Blake2B

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

#899 - Makefile: make sure to recompile Meta_Interface.cmxs when F* changes

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

#898 - Lib.UpdateMulti.Lemmas: work around Z3 Heisenbug

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

#897 - Vectorized SHA-3 spec and implementation

Pull Request - State: closed - Opened by mamonet 10 months ago - 17 comments

#896 - Misc rlimit increases

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

#895 - Remove use of --__temp_fast_implicits

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

#894 - fix merge conflict in `dist/package-mozilla.sh`

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

#893 - [CI] regenerate hints and dist

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

#892 - FIx up the post-condition of stack allocations

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

#891 - Nix: remove stale hints & misc

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

#890 - Remove stale hints

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

#889 - Add Hacl.fst.config.json to use VS code extension

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

#888 - EverCrypr.Hash.alloca: remove strict_on_args attribute

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

#887 - [CI] regenerate hints and dist

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