Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / HACS-workshop/hacspec issues and pull requests

#38 - Link to https://github.com/hacspec/hacspec ?

Issue - State: closed - Opened by tarcieri over 4 years ago - 1 comment

#37 - Syntactic updates so that specs work with Cryptol 2.7.0.

Pull Request - State: closed - Opened by kiniry over 5 years ago - 1 comment

#36 - update ci

Pull Request - State: closed - Opened by franziskuskiefer over 6 years ago

#34 - Add cost computation logic to compilation phase

Issue - State: open - Opened by chris-wood over 6 years ago

#33 - Add square root field functions to curve implementations

Issue - State: open - Opened by chris-wood over 6 years ago

#32 - dev vec2

Pull Request - State: closed - Opened by franziskuskiefer over 6 years ago

#31 - implement contract

Issue - State: open - Opened by franziskuskiefer almost 7 years ago - 1 comment

#30 - Added Unions to the types

Pull Request - State: closed - Opened by Frosne almost 7 years ago

#29 - blake2b type issue

Issue - State: open - Opened by franziskuskiefer almost 7 years ago

#28 - fix speclib for uint16

Pull Request - State: closed - Opened by polubelova almost 7 years ago

#27 - Merged Blake2s and Blake2b into a single spec file

Pull Request - State: closed - Opened by denismerigoux almost 7 years ago - 3 comments

#26 - None instead of false

Pull Request - State: closed - Opened by Frosne almost 7 years ago - 1 comment

#25 - add tests for shake128 and shake256

Pull Request - State: closed - Opened by polubelova almost 7 years ago - 1 comment

#24 - keccak shake needs tests

Issue - State: closed - Opened by franziskuskiefer almost 7 years ago - 1 comment

#23 - ed25519 type issue

Issue - State: closed - Opened by franziskuskiefer almost 7 years ago - 3 comments

#22 - add rsa-pss and tests

Pull Request - State: closed - Opened by polubelova almost 7 years ago

#21 - P256 Specification + Tests

Pull Request - State: closed - Opened by Frosne almost 7 years ago

#20 - add refinement types to keccak

Pull Request - State: closed - Opened by polubelova almost 7 years ago

#19 - add curve448 and tests

Pull Request - State: closed - Opened by polubelova almost 7 years ago

#18 - Cofactor check added + Test vectors added

Pull Request - State: closed - Opened by Frosne almost 7 years ago - 4 comments

#17 - add keccak and tests

Pull Request - State: closed - Opened by polubelova almost 7 years ago

#16 - Implement wycheproof test vectors

Issue - State: open - Opened by franziskuskiefer almost 7 years ago

#15 - ctr.py is not used

Issue - State: open - Opened by franziskuskiefer almost 7 years ago

#14 - vrf.py tests

Issue - State: closed - Opened by franziskuskiefer almost 7 years ago

#13 - Ed25519 + test

Pull Request - State: closed - Opened by Frosne almost 7 years ago

#12 - Blake2 and Argon2i spec

Pull Request - State: closed - Opened by denismerigoux almost 7 years ago

#11 - ocaml parser

Issue - State: open - Opened by franziskuskiefer almost 7 years ago - 2 comments

#10 - Type checker

Issue - State: open - Opened by franziskuskiefer almost 7 years ago - 3 comments

#9 - Spec checker

Issue - State: open - Opened by franziskuskiefer almost 7 years ago

#8 - make arrays immutable

Pull Request - State: closed - Opened by franziskuskiefer almost 7 years ago

#7 - fix sha2 and add travis

Pull Request - State: closed - Opened by franziskuskiefer almost 7 years ago

#6 - A shorter way to write polynomial evaluation, with a comprehension

Pull Request - State: open - Opened by achlipala about 7 years ago - 4 comments

#5 - Complete Chacha20-Poly1305 spec

Pull Request - State: closed - Opened by s-zanella about 7 years ago

#4 - map fiat-crypto specs to rfcs

Issue - State: open - Opened by andres-erbsen about 7 years ago

#3 - fiat-crypto-ecc: import

Pull Request - State: closed - Opened by andres-erbsen about 7 years ago

#2 - RFC 7539 - chacha20 poly1305

Pull Request - State: closed - Opened by franziskuskiefer about 7 years ago

#1 - SHA256.cry

Pull Request - State: closed - Opened by franziskuskiefer about 7 years ago