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

#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: