Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / hacspec/hacspec issues and pull requests
#381 - Test: run CI on main
Pull Request -
State: open - Opened by W95Psp 8 months ago
#380 - Fix a bug in the macros of hacspec lib
Pull Request -
State: closed - Opened by W95Psp 8 months ago
#379 - Update readme with a deprecation warning
Pull Request -
State: closed - Opened by mzacho 12 months ago
#378 - Update Readme.md
Pull Request -
State: open - Opened by spitters over 1 year ago
- 1 comment
#376 - Update serde requirement from =1.0.156 to =1.0.159
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#375 - Update syn requirement from 1.0 to 2.0
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#374 - Update serde requirement from =1.0.156 to =1.0.158
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies
#373 - syn 2 breaks the build
Issue -
State: open - Opened by chris-wood over 1 year ago
- 6 comments
#372 - Update syn requirement from 1.0 to 2.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies
#371 - Update Readme.md
Pull Request -
State: closed - Opened by spitters over 1 year ago
#370 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] over 1 year ago
Labels: automated pr
#369 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] over 1 year ago
Labels: automated pr
#368 - Pearlite spec for hacspec lib
Pull Request -
State: open - Opened by cmester0 over 1 year ago
#367 - `use hacspec_lib::prelude::*;` -> `use hacspec_lib::*;`
Pull Request -
State: closed - Opened by oskgo over 1 year ago
#366 - improve diagnostics for target finding
Pull Request -
State: closed - Opened by oskgo over 1 year ago
#365 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] over 1 year ago
Labels: automated pr
#364 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] over 1 year ago
Labels: automated pr
#363 - Fast secret bytes for protocols
Pull Request -
State: closed - Opened by franziskuskiefer over 1 year ago
#362 - implementation of from_be_bytes in math_integers is missing
Issue -
State: open - Opened by Gyuude over 1 year ago
- 1 comment
Labels: lib :books:, needs work
#361 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] over 1 year ago
Labels: automated pr
#360 - Update Readme.md
Pull Request -
State: closed - Opened by spitters over 1 year ago
#359 - Ssprove finished
Pull Request -
State: closed - Opened by cmester0 over 1 year ago
- 2 comments
#358 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] over 1 year ago
Labels: automated pr
#357 - Update CONTRIBUTING.md
Pull Request -
State: closed - Opened by spitters over 1 year ago
#356 - Pearlite
Pull Request -
State: closed - Opened by cmester0 over 1 year ago
#355 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] over 1 year ago
Labels: automated pr
#354 - Added edwards25519-ecvrf
Pull Request -
State: closed - Opened by malteafg over 1 year ago
- 1 comment
#353 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] over 1 year ago
Labels: automated pr
#352 - Update Readme.md
Pull Request -
State: closed - Opened by spitters over 1 year ago
#351 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] over 1 year ago
Labels: automated pr
#350 - Update Readme.md. Added rsa-fdh-vrf.rs
Pull Request -
State: closed - Opened by spitters over 1 year ago
#349 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
Labels: automated pr
#348 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
Labels: automated pr
#347 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
Labels: automated pr
#346 - Update Readme.md
Pull Request -
State: closed - Opened by spitters almost 2 years ago
#345 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
Labels: automated pr
#344 - Update Readme.md
Pull Request -
State: closed - Opened by spitters almost 2 years ago
#343 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
Labels: automated pr
#342 - Generic Hacspec lib
Pull Request -
State: open - Opened by W95Psp almost 2 years ago
#341 - Add Github action for F*
Pull Request -
State: open - Opened by W95Psp almost 2 years ago
#340 - F*: Insert `pub_u8` and `pub_i8` in from of `u8`/`i8` literals
Pull Request -
State: closed - Opened by W95Psp almost 2 years ago
- 2 comments
#339 - F* equivalence proofs (Chacha20, Poly1305)
Pull Request -
State: closed - Opened by W95Psp almost 2 years ago
- 1 comment
#338 - Cleanup warnings
Issue -
State: open - Opened by cmester0 almost 2 years ago
Labels: documentation 🗒, needs work, meta
#337 - Quickcheck tests incorrect
Pull Request -
State: open - Opened by cmester0 almost 2 years ago
#336 - bump dependencies to fix examples build
Pull Request -
State: closed - Opened by franziskuskiefer almost 2 years ago
#335 - Allow unannonated `Some` and `None`
Pull Request -
State: open - Opened by W95Psp almost 2 years ago
- 1 comment
#334 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
Labels: automated pr
#333 - Outdated README
Issue -
State: open - Opened by cmester0 almost 2 years ago
Labels: documentation 🗒
#332 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
Labels: automated pr
#331 - Full Coverage for Coq Hacspec Lib
Pull Request -
State: open - Opened by cmester0 almost 2 years ago
#330 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
Labels: automated pr
#329 - Add backend files
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
- 6 comments
Labels: waiting-on-review
#328 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
Labels: automated pr
#327 - [Examples] Add generated files
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
- 2 comments
Labels: automated pr
#326 - Support non-mutable inline blocks
Pull Request -
State: open - Opened by W95Psp almost 2 years ago
#325 - F* backend: variants are extracted to constructors whose payloads are tuples
Issue -
State: open - Opened by W95Psp almost 2 years ago
#324 - Make pull request instead
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
#323 - Support field accessors on tuples and tuple structs
Pull Request -
State: closed - Opened by W95Psp almost 2 years ago
- 1 comment
Labels: waiting-on-review
#322 - Allow unannonated `Ok` and `Err` in patterns
Pull Request -
State: closed - Opened by W95Psp almost 2 years ago
#321 - Generte files workflow
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
- 5 comments
#320 - Pearlite only
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
- 1 comment
#319 - Ssprove ssprove backend
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
#318 - Ssprove coq refactor
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
Labels: waiting-on-review
#317 - Ssprove typechecker
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
Labels: typechecker :necktie:, waiting-on-review
#316 - Allow unannotated integer literals
Pull Request -
State: closed - Opened by W95Psp almost 2 years ago
- 1 comment
#315 - Allow unannotated `Ok` and `Err` under certain conditions
Pull Request -
State: closed - Opened by W95Psp almost 2 years ago
- 2 comments
#314 - Added coq library files
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
- 2 comments
Labels: waiting-on-review
#313 - Ssprove ci ssprove
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
Labels: ci ⚙️, blocked
#312 - Ssprove ssprove backend
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
- 1 comment
#311 - Ssprove coq refactor
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
- 1 comment
#310 - Replaced regex with glob
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
- 1 comment
#309 - Org mode
Pull Request -
State: open - Opened by cmester0 almost 2 years ago
#308 - Generate examples script update
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
#307 - Add static analysis to find mutable variables, and better typing info
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
- 3 comments
#306 - Fix for version control folder issue
Pull Request -
State: closed - Opened by cmester0 almost 2 years ago
#305 - Get rid of custom `cargo` logic in `main.rs`
Pull Request -
State: open - Opened by W95Psp almost 2 years ago
#304 - Add result let binding
Issue -
State: open - Opened by cmester0 almost 2 years ago
#303 - Type the AST more precisely, to avoid `unwrap`s and `panic`s
Issue -
State: open - Opened by W95Psp almost 2 years ago
Labels: typechecker :necktie:
#302 - Support struct whose payload is `()` (fixes #287)
Pull Request -
State: closed - Opened by W95Psp almost 2 years ago
#301 - Drop base type `Unit` in favor of empty tuple (Fixes #228 and #187)
Pull Request -
State: closed - Opened by W95Psp almost 2 years ago
- 1 comment
#300 - Allow question marks within expressions
Pull Request -
State: closed - Opened by W95Psp almost 2 years ago
- 1 comment
#299 - add to_public_array to secret arrays
Pull Request -
State: closed - Opened by franziskuskiefer about 2 years ago
#298 - properly handle directories in typecheck_examples.sh
Pull Request -
State: closed - Opened by franziskuskiefer about 2 years ago
#297 - update examples/riot-runqueue
Pull Request -
State: closed - Opened by kaspar030 about 2 years ago
#296 - Merlin 2/2 - Get data from Transcript and added test
Pull Request -
State: closed - Opened by rasmus-kirk about 2 years ago
- 2 comments
Labels: waiting-on-author
#295 - Merlin 1/2 - Transcript creation and appending
Pull Request -
State: closed - Opened by rasmus-kirk about 2 years ago
- 2 comments
Labels: waiting-on-author
#294 - SHA1 hacspec
Pull Request -
State: closed - Opened by plredmond about 2 years ago
- 2 comments
#287 - Empty Tuple struct, does not work
Issue -
State: closed - Opened by cmester0 about 2 years ago
Labels: bug 🐞, typechecker :necktie:
#280 - Update chacha20poly1305 requirement from 0.9 to 0.10
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies, waiting-on-review
#279 - Update README.md.
Pull Request -
State: closed - Opened by duesee about 2 years ago
Labels: waiting-on-author
#278 - Update aead requirement from 0.4 to 0.5
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies, waiting-on-review
#275 - Linalg 4 - Added trait bounded generics as example (not hacspec compliant!)
Pull Request -
State: open - Opened by rasmus-kirk about 2 years ago
Labels: blocked
#257 - SSProve
Pull Request -
State: closed - Opened by cmester0 over 2 years ago
- 7 comments
Labels: waiting-on-review
#254 - Pattern extensions
Pull Request -
State: closed - Opened by karthikbhargavan over 2 years ago
- 5 comments
#248 - Changed field division to be lhs*rhs.inv()
Pull Request -
State: closed - Opened by rasmus-kirk over 2 years ago
- 8 comments
#243 - rust-toolchain: bump to nightly-2022-04-20
Pull Request -
State: closed - Opened by kaspar030 over 2 years ago
- 5 comments
#242 - Coverage test crate (all hacspec functions)
Pull Request -
State: closed - Opened by cmester0 over 2 years ago
- 1 comment
Labels: ci ⚙️
#237 - Some contributing guidelines
Pull Request -
State: closed - Opened by franziskuskiefer over 2 years ago
#228 - Returning `()` in if statements results in error.
Issue -
State: closed - Opened by cmester0 over 2 years ago
#187 - Replace unit type in hacspec with the empty tuple type
Issue -
State: closed - Opened by denismerigoux almost 3 years ago
Labels: invalid, typechecker :necktie: