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
#982 - HACL*, extracted to Rust, with match constructs retained wherever applicable
Pull Request -
State: closed - Opened by msprotz 15 days ago
#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
#979 - ChaCha20Poly1305 returns an empty array for files bigger than 600KB.
Issue -
State: open - Opened by danilobassi8 23 days ago
- 11 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
#946 - Missing header inclusion for usage of alloca via clang packaged in Visual Studio 2022
Issue -
State: open - Opened by msprotz 5 months ago
#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
#940 - Fix header inclusion logic and bump XCode version following GitHub Actions OSX image upgrade
Pull Request -
State: closed - Opened by msprotz 5 months ago
- 6 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
#930 - Blake2, Part 3/5: Parameters, in the proper style, all the way to a decent top-level API
Pull Request -
State: closed - Opened by msprotz 6 months ago
- 5 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