Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / awslabs/s2n-bignum issues and pull requests
#122 - Add `bignum_mont{mul,sqr}_p384_neon`, speed improvements/refactoring in tactics
Pull Request -
State: open - Opened by aqjune-aws 5 months ago
#121 - Faster proofs for arm/proofs/bignum_k{mul,sqr}_*_neon.ml
Pull Request -
State: closed - Opened by aqjune-aws 5 months ago
#120 - Maintain a list of specification theorems and check against it
Pull Request -
State: closed - Opened by aqjune-aws 5 months ago
#119 - Update Codebuild to switch to Zarith, use num instead of Int
Pull Request -
State: closed - Opened by aqjune-aws 6 months ago
- 1 comment
#118 - Add bignum_mont{sqr,mul}_p256_neon for Arm
Pull Request -
State: closed - Opened by aqjune-aws 6 months ago
- 5 comments
#117 - Weierstrass point doubling improvements and bifurcation, other minor tweaks
Pull Request -
State: closed - Opened by jargh 6 months ago
- 1 comment
#116 - Check axioms at the end of run-proof.sh
Pull Request -
State: closed - Opened by aqjune-aws 6 months ago
#115 - Upgrade OCaml version to 4.14, fix an error in Arm simulator
Pull Request -
State: closed - Opened by aqjune-aws 6 months ago
- 1 comment
#114 - Make `make proofs` fail early, use hol.sh
Pull Request -
State: closed - Opened by aqjune-aws 6 months ago
- 1 comment
#113 - Define program equivalence and rewrite `bignum_{mul,sqr}_8_16_neon` proofs using it
Pull Request -
State: closed - Opened by aqjune-aws 7 months ago
- 3 comments
#112 - Update curve25519_x25519{_byte} to make AWS-LC's delocator work
Pull Request -
State: closed - Opened by aqjune-aws 7 months ago
#111 - Cosimulation of load/store instruction
Issue -
State: open - Opened by aqjune-aws 7 months ago
#110 - Update test,benchmark to assume that arm has the Neon extension
Pull Request -
State: closed - Opened by aqjune-aws 7 months ago
- 1 comment
#109 - Enable testing bignum_copy_row_from_table on x86
Pull Request -
State: closed - Opened by aqjune-aws 7 months ago
#108 - Lenngren-based X25519 for non-alt ARM code
Pull Request -
State: closed - Opened by jargh 7 months ago
- 6 comments
#107 - Remove predefined instructions list from x86 cosimulator
Pull Request -
State: closed - Opened by aqjune-aws 8 months ago
#106 - Improve x86 cosimulator to automatically pick up instructions used in s2n-bignum
Issue -
State: closed - Opened by aqjune-aws 8 months ago
#105 - Fix decoding of MOVSXD in the x86 model
Pull Request -
State: closed - Opened by jargh 8 months ago
- 1 comment
#104 - Allow MIT-0 license as well as Apache-2.0 and ISC
Pull Request -
State: closed - Opened by jargh 8 months ago
#103 - Very slightly optimize long-running proofs
Pull Request -
State: closed - Opened by aqjune 9 months ago
- 1 comment
#102 - Print running times of proofs, factor out proof runner
Pull Request -
State: closed - Opened by aqjune 9 months ago
- 1 comment
#101 - Print running times of proofs, factor out proof runner
Pull Request -
State: closed - Opened by aqjune-aws 9 months ago
- 3 comments
#100 - Add verified bignum_copy_row_from_table for x86
Pull Request -
State: closed - Opened by aqjune-aws 9 months ago
- 4 comments
#99 - Make _input_ parameter to ed25519 decode function const
Pull Request -
State: closed - Opened by torben-hansen 10 months ago
- 1 comment
#98 - Replace static array qualifier with macro that maps to nothing if it detects an msvc compiler
Pull Request -
State: closed - Opened by torben-hansen 10 months ago
- 2 comments
#97 - [portability] Do not use static qualifiers for Windows build
Issue -
State: closed - Opened by torben-hansen 10 months ago
- 6 comments
#96 - Run assembler in CI to catch issues
Issue -
State: open - Opened by torben-hansen 10 months ago
- 3 comments
#95 - Fix GNU-stacz typo
Pull Request -
State: closed - Opened by torben-hansen 10 months ago
- 1 comment
#94 - 64-bit SIMD regs in ARM model, better BOUNDER_RULE, slow-ARM field optimizations
Pull Request -
State: closed - Opened by jargh 10 months ago
- 3 comments
#93 - Check duplicate labels during CI
Issue -
State: open - Opened by aqjune-aws 10 months ago
#92 - Avoid duplicate labels in ed25519 x86 implementation
Pull Request -
State: closed - Opened by torben-hansen 10 months ago
#91 - Update x86 simulator.ml to add the latest cases
Pull Request -
State: closed - Opened by aqjune-aws 10 months ago
#90 - Add BFM, BIC, FCSEL, INS, SUB, TRN1, TRN2, USHR, ZIP2 to ARM model
Pull Request -
State: closed - Opened by jargh 11 months ago
#89 - Use vfree_in instead of free_in if valid
Pull Request -
State: closed - Opened by aqjune-aws 11 months ago
#88 - Document that x25519 function does not implement zero-check
Pull Request -
State: closed - Opened by torben-hansen 11 months ago
#87 - Ed25519 support and related updates
Pull Request -
State: closed - Opened by jargh 11 months ago
- 1 comment
#86 - Simplify Arm's SIMD instruction semantics
Pull Request -
State: closed - Opened by aqjune-aws 11 months ago
#85 - Let NONOVERLAPPING_TAC deal with more cases, improvements for speed
Pull Request -
State: closed - Opened by aqjune-aws 11 months ago
- 3 comments
#84 - Improve `ORTHOGONAL_COMPONENTS_BYTES64_TAC` for Arm's `stp` with base+offset case
Pull Request -
State: closed - Opened by aqjune-aws 12 months ago
#83 - Slothy
Pull Request -
State: closed - Opened by aqjune-aws 12 months ago
- 1 comment
#82 - x86 version of constant-time table lookup is missing in #81
Issue -
State: closed - Opened by aqjune-aws about 1 year ago
#81 - Add bignum_copy_row_from_table and its Neon-variants for AArch64
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
- 1 comment
#80 - Add bignum_copy_row_from_table and its Neon-variants for AArch64
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
- 2 comments
#79 - Add two ARM instructions and add print_log flags
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
- 1 comment
#78 - Tablelookup
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
- 1 comment
#77 - Upload x86 simulator and link it to s2n-bignum-x86-sematests
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
#76 - Make bignum_emontredc_8n's spec equal to its neon version
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
- 1 comment
#75 - A dummy pull request to check whether x86-sematests works
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
#74 - Add s2n-bignum-x86-sematests build project to CI
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
#73 - Add NEON versions of functions for RSA 2048 and 4096
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
#72 - Add support for UZP2, XTN
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
#71 - Avoid using assembler macros and rename labels in the functions for RSA
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
- 2 comments
#70 - Adding support for SHA256 and SHA512 intrinsics
Pull Request -
State: closed - Opened by kwancarl about 1 year ago
- 6 comments
#69 - A test pull request to test the new arm-sematest
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
#68 - Add s2n-bignum-arm-sematests build project to CI
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
#67 - A test pull request to check the permission to update CI
Pull Request -
State: closed - Opened by aqjune-aws about 1 year ago
#66 - Add a dummy `sematest` target and update proofs and tests CI
Pull Request -
State: closed - Opened by aqjune-aws over 1 year ago
#65 - Update sematests CI to run the ARM simulator
Pull Request -
State: closed - Opened by aqjune-aws over 1 year ago
- 4 comments
#64 - Update proofs CI to run the simulator
Pull Request -
State: closed - Opened by aqjune over 1 year ago
- 2 comments
#63 - Add a simulator that tests the semantics of ARM instructions
Pull Request -
State: closed - Opened by aqjune over 1 year ago
#62 - Add `{WINDOWS_}MAYCHANGE_REGS_AND_FLAGS_PERMITTED_BY_ABI`
Pull Request -
State: closed - Opened by aqjune over 1 year ago
#61 - word_divstep59, SBFM support, QUICKSTEP tactics
Pull Request -
State: closed - Opened by jargh over 1 year ago
#60 - Add `tools/check-proofs.sh` that prints the list of proven main theorms
Pull Request -
State: closed - Opened by aqjune over 1 year ago
- 2 comments
#59 - Add NEON versions of functions for RSA 2048 and 4096
Pull Request -
State: closed - Opened by aqjune over 1 year ago
- 4 comments
#58 - Formalize SLI/UMULL of ARMv8 and refactor smallstep fun names of NEON insts
Pull Request -
State: closed - Opened by aqjune over 1 year ago
- 2 comments
#57 - Add `[ARM|X86]_GEN_ACCSTEP{S}_TAC`
Pull Request -
State: closed - Opened by aqjune over 1 year ago
- 2 comments
#56 - Add simple generic modular exponentiation
Pull Request -
State: closed - Opened by jargh over 1 year ago
#55 - Add support for USRA (Vector)
Pull Request -
State: closed - Opened by aqjune over 1 year ago
#54 - Support nonoverlapping reasoning of 128-bit loads and other access bitwidths
Pull Request -
State: closed - Opened by aqjune over 1 year ago
- 5 comments
#53 - Adds script converting matched labels to per-file unique labels
Pull Request -
State: closed - Opened by torben-hansen over 1 year ago
#52 - Add edwards25519 (Ed25519) basepoint multiplication
Pull Request -
State: closed - Opened by jargh over 1 year ago
#51 - Add support for 8 more NEON instructions
Pull Request -
State: closed - Opened by aqjune over 1 year ago
#50 - Per file namespace for symbolic labels
Pull Request -
State: closed - Opened by torben-hansen over 1 year ago
#49 - Support ldr with a Q destination register
Pull Request -
State: closed - Opened by aqjune over 1 year ago
#48 - Byte-level interfaces to X25519 functions
Pull Request -
State: closed - Opened by jargh over 1 year ago
#47 - Switch to clean 8-bit array type in signature for high-level curve25519 algorithm APIs
Pull Request -
State: closed - Opened by torben-hansen over 1 year ago
- 1 comment
#46 - SM2 point operations
Pull Request -
State: closed - Opened by jargh over 1 year ago
#45 - Various small curve25519 performance improvements
Pull Request -
State: closed - Opened by jargh over 1 year ago
#44 - SM2 field operations
Pull Request -
State: closed - Opened by jargh over 1 year ago
#43 - Formalize REV64 (NEON), UADDLP, UMLAL and UZIP1
Pull Request -
State: closed - Opened by aqjune over 1 year ago
- 1 comment
#42 - Formalize MUL and SHL with vector operands in ARMv8
Pull Request -
State: closed - Opened by aqjune over 1 year ago
#41 - Formalize UMOV of ARMv8
Pull Request -
State: closed - Opened by aqjune over 1 year ago
- 3 comments
#40 - Edwards25519 point operations and testing versus TweetNaCl
Pull Request -
State: closed - Opened by jargh almost 2 years ago
#39 - X25519 basepoint function, README improvements and other updates
Pull Request -
State: closed - Opened by jargh almost 2 years ago
#38 - Update s2n-bignum's open source license to include ISC
Pull Request -
State: closed - Opened by samuel40791765 almost 2 years ago
- 1 comment
#37 - Add X25519 and fix CI timeouts
Pull Request -
State: closed - Opened by jargh about 2 years ago
#36 - Basic point operations for the Weierstrass curves
Pull Request -
State: closed - Opened by jargh about 2 years ago
- 1 comment
#35 - curve25519 Montgomery ladder step
Pull Request -
State: closed - Opened by jargh over 2 years ago
#34 - Improvements to ARM small Karatsuba muls
Pull Request -
State: closed - Opened by jargh over 2 years ago
#33 - Several files missing .text directive
Pull Request -
State: closed - Opened by justsmth over 2 years ago
#32 - Symbol macros
Pull Request -
State: closed - Opened by justsmth over 2 years ago
#31 - Symbol macros
Pull Request -
State: closed - Opened by justsmth over 2 years ago
- 2 comments
#30 - WIndows ABI code and proofs
Pull Request -
State: closed - Opened by jargh over 2 years ago
#29 - Liberalized input-output aliasing, more curve25519 field operations
Pull Request -
State: closed - Opened by jargh over 2 years ago
#28 - curve25519 field squaring
Pull Request -
State: closed - Opened by jargh over 2 years ago
#27 - Global names with underscores etc.
Pull Request -
State: closed - Opened by jargh over 2 years ago
#26 - First field operation for curve25519, modular multiplication
Pull Request -
State: closed - Opened by jargh over 2 years ago
#25 - Additional P-521 functions and technical improvements
Pull Request -
State: closed - Opened by jargh over 2 years ago
#24 - Alternative forms of main P-521 operations
Pull Request -
State: closed - Opened by jargh over 2 years ago
#23 - Optimize modular inverse inner loop
Pull Request -
State: closed - Opened by jargh over 2 years ago