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
#886 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot 11 months ago
- 4 comments
#885 - Add changes from #789 to the changelog
Pull Request -
State: closed - Opened by pnmadelaine 11 months ago
- 3 comments
#884 - CRT support for signing?
Issue -
State: open - Opened by tomato42 11 months ago
- 2 comments
#883 - ci: use checkout v4
Pull Request -
State: closed - Opened by pnmadelaine 11 months ago
- 1 comment
#882 - Hacl.Spec.BignumQ.Lemmas: Try to stabilize proof
Pull Request -
State: closed - Opened by R1kM 11 months ago
- 1 comment
#881 - Hacl.Spec.BignumQ.Lemmas: trying to stabilize proof
Pull Request -
State: closed - Opened by mtzguido 11 months ago
- 4 comments
#880 - ci: fix hacl-packages cross-ci
Pull Request -
State: closed - Opened by pnmadelaine 11 months ago
- 2 comments
#879 - Vale.Def.Words.Seq: stabilize a tricky proof
Pull Request -
State: closed - Opened by mtzguido 11 months ago
- 3 comments
#878 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot 11 months ago
- 18 comments
#877 - Hacl.Impl.Poly1305: raise an rlimit
Pull Request -
State: closed - Opened by mtzguido 11 months ago
- 1 comment
#876 - blake2: fix a typo in a specification
Pull Request -
State: closed - Opened by polubelova 11 months ago
- 2 comments
#875 - RSAPSS available in Code, but not in dist?
Issue -
State: closed - Opened by simo5 11 months ago
- 2 comments
#874 - Documentation updates for Hashes?
Issue -
State: closed - Opened by simo5 11 months ago
- 7 comments
#873 - Fixes for F* change, use compat options
Pull Request -
State: closed - Opened by mtzguido 11 months ago
- 12 comments
#872 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot 12 months ago
- 1 comment
#871 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot 12 months ago
- 2 comments
#870 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot 12 months ago
- 3 comments
#869 - Include `alloca.h` in `Hacl_Bignum_Base.h` for mozilla dist
Pull Request -
State: closed - Opened by franziskuskiefer 12 months ago
- 7 comments
#868 - Missing alloca.h include for dist/mozilla
Issue -
State: closed - Opened by franziskuskiefer 12 months ago
- 2 comments
#867 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot 12 months ago
- 5 comments
#866 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot 12 months ago
- 2 comments
#865 - Updated codegen from krml branch protz_ignore_ifdef
Pull Request -
State: closed - Opened by msprotz 12 months ago
- 7 comments
#864 - Add support for parameters beyond key/output length in Blake2
Pull Request -
State: closed - Opened by R1kM 12 months ago
- 10 comments
#863 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot about 1 year ago
- 5 comments
#862 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot about 1 year ago
- 2 comments
#861 - Make code compile with all warnings enabled
Pull Request -
State: closed - Opened by msprotz about 1 year ago
- 11 comments
#860 - ci: update and fix `hintsanddist.yml`
Pull Request -
State: closed - Opened by pnmadelaine about 1 year ago
- 4 comments
#859 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot about 1 year ago
- 5 comments
#858 - Improve RSAPSS documentation
Pull Request -
State: closed - Opened by ma-ilsi about 1 year ago
- 6 comments
#857 - Move mozilla to msvc
Pull Request -
State: closed - Opened by karthikbhargavan about 1 year ago
- 1 comment
#856 - Revert "temporarily lock fstar (to revert)"
Pull Request -
State: closed - Opened by msprotz about 1 year ago
- 2 comments
#855 - fixes for old clang versions
Pull Request -
State: closed - Opened by karthikbhargavan about 1 year ago
- 4 comments
#854 - added p256 to package_mozilla.sh
Pull Request -
State: closed - Opened by karthikbhargavan about 1 year ago
- 2 comments
#853 - libmemzero0.h --> lib_memzero0.h
Pull Request -
State: closed - Opened by msprotz about 1 year ago
- 1 comment
#852 - ci: fix hints and dist regeneration
Pull Request -
State: closed - Opened by pnmadelaine about 1 year ago
- 2 comments
#851 - CI: use a self-hosted github runner
Pull Request -
State: closed - Opened by pnmadelaine about 1 year ago
- 6 comments
#850 - Protz hints and dist2
Pull Request -
State: closed - Opened by msprotz about 1 year ago
- 2 comments
#849 - Karthik p256 small edits
Pull Request -
State: closed - Opened by karthikbhargavan about 1 year ago
- 5 comments
#848 - Fix size of key in handwritten C chacha test
Pull Request -
State: closed - Opened by R1kM about 1 year ago
- 1 comment
#847 - Refresh dist & hints
Pull Request -
State: closed - Opened by msprotz about 1 year ago
- 3 comments
#846 - Try to fix CI
Pull Request -
State: closed - Opened by mtzguido about 1 year ago
- 3 comments
#845 - Miscellaneous proof taming
Pull Request -
State: closed - Opened by mtzguido about 1 year ago
- 6 comments
#844 - Improve the treatment of Lib.Memzero following the latest changes in krml
Pull Request -
State: closed - Opened by msprotz about 1 year ago
- 9 comments
#843 - C code warnings
Issue -
State: closed - Opened by franziskuskiefer about 1 year ago
- 7 comments
#842 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot about 1 year ago
- 7 comments
#841 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot about 1 year ago
- 1 comment
#840 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#839 - Remove one more usage of the deprecated -drop flag
Pull Request -
State: closed - Opened by msprotz over 1 year ago
- 1 comment
#838 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#837 - Unbound module when compiling new HACL* spec (OCaml compilation)
Issue -
State: closed - Opened by felipelisboa-ml over 1 year ago
- 2 comments
#836 - Makefile: a nit, put file at the end of the F* invocation
Pull Request -
State: closed - Opened by mtzguido over 1 year ago
- 2 comments
#835 - fix hacl-packages CI for PRs from forks
Pull Request -
State: closed - Opened by pnmadelaine over 1 year ago
- 1 comment
#834 - Makefile: fixing extraction on krml files
Pull Request -
State: closed - Opened by mtzguido over 1 year ago
#833 - Lib.Exponentiation: rlimit bump
Pull Request -
State: closed - Opened by mtzguido over 1 year ago
- 1 comment
#832 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#831 - use @@strict_on_arguments on more definitions
Issue -
State: open - Opened by msprotz over 1 year ago
#830 - EverCrypt.Hash: use @@strict_on_arguments for efficiency
Pull Request -
State: closed - Opened by mtzguido over 1 year ago
- 6 comments
#829 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#828 - Inline double_row definition in Blake to avoid VLA
Pull Request -
State: closed - Opened by R1kM over 1 year ago
- 1 comment
#827 - Remove redundant if_then_else in SHA3
Pull Request -
State: closed - Opened by R1kM over 1 year ago
- 1 comment
#826 - Dead code in SHA3
Issue -
State: closed - Opened by franziskuskiefer over 1 year ago
#825 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#824 - Silly VLA in Blake2
Issue -
State: closed - Opened by msprotz over 1 year ago
- 1 comment
#823 - Refresh hints & dist
Pull Request -
State: closed - Opened by msprotz over 1 year ago
- 1 comment
#822 - Hints & dist
Pull Request -
State: closed - Opened by msprotz over 1 year ago
- 1 comment
#821 - refresh dist/mozilla
Pull Request -
State: closed - Opened by karthikbhargavan over 1 year ago
- 4 comments
#820 - SHA3 streaming API documentation
Issue -
State: open - Opened by msprotz over 1 year ago
#819 - Improve and beat previous perf on the sha2 streaming work by bundling everything together
Pull Request -
State: closed - Opened by msprotz over 1 year ago
- 17 comments
#818 - Improve error codes in streaming APIs
Pull Request -
State: closed - Opened by msprotz over 1 year ago
- 2 comments
#817 - Extend the max input length bound for SHA3
Pull Request -
State: closed - Opened by msprotz over 1 year ago
- 4 comments
#816 - Code quality issue in SHA3: useless division
Issue -
State: open - Opened by msprotz over 1 year ago
- 2 comments
#815 - Vale.SHA.*_helpers: need a slight tweak for F* update
Pull Request -
State: closed - Opened by mtzguido over 1 year ago
- 3 comments
#814 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#813 - Meta.Interface: update for new Reflection API
Pull Request -
State: closed - Opened by mtzguido over 1 year ago
#812 - tweaks for bignum extraction
Pull Request -
State: closed - Opened by polubelova over 1 year ago
- 1 comment
#811 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 2 comments
#810 - vale: QuickCodes: open FStar.Range
Pull Request -
State: closed - Opened by mtzguido over 1 year ago
- 4 comments
#809 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#808 - secp256k1: add ecdh and rm extra functions
Pull Request -
State: closed - Opened by polubelova over 1 year ago
- 2 comments
#807 - add generic spec and implementation for ECDSA and ECDH
Issue -
State: open - Opened by polubelova over 1 year ago
#806 - Update usage of --split_queries
Pull Request -
State: closed - Opened by mtzguido over 1 year ago
- 7 comments
#805 - Update hacl-packages create branch CI
Issue -
State: closed - Opened by franziskuskiefer over 1 year ago
- 2 comments
#804 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#803 - Keccak streaming API
Pull Request -
State: closed - Opened by msprotz over 1 year ago
- 6 comments
#802 - Improve the performance of P-256
Pull Request -
State: closed - Opened by polubelova over 1 year ago
- 2 comments
#801 - fix to accompany F* #2882
Pull Request -
State: closed - Opened by aseemr over 1 year ago
- 3 comments
#800 - Addition of all Keccak variants to agile hash specs; addition of all SHA3 variants to low-level implementations
Pull Request -
State: closed - Opened by msprotz over 1 year ago
- 1 comment
#799 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#798 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#797 - Fix endianness issue in AIX
Pull Request -
State: closed - Opened by ayappanec over 1 year ago
- 3 comments
#796 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#795 - clean up specs/tests
Pull Request -
State: closed - Opened by polubelova over 1 year ago
- 1 comment
#794 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#793 - Meta.Interface: update for new F*
Pull Request -
State: closed - Opened by mtzguido over 1 year ago
- 4 comments
#792 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#791 - rlimit adjustment
Pull Request -
State: closed - Opened by aseemr over 1 year ago
- 1 comment
#790 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment
#789 - API update
Pull Request -
State: closed - Opened by pnmadelaine over 1 year ago
- 10 comments
#788 - feat: Add `without_key` and `with_key` functions to BLAKE2{b,s}.
Issue -
State: closed - Opened by duesee over 1 year ago
- 1 comment
#787 - [CI] regenerate hints and dist
Pull Request -
State: closed - Opened by hacl-bot over 1 year ago
- 1 comment