]> git.codecow.com Git - Monocypher.git/commit
projects / Monocypher.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33ab0fe) | patch
The proofs were cute, but they don't mesh well with the planned code
authorLoup Vaillant <loup@loup-vaillant.fr>
Mon, 20 Mar 2023 16:22:35 +0000 (17:22 +0100)
committerLoup Vaillant <loup@loup-vaillant.fr>
Mon, 20 Mar 2023 16:22:35 +0000 (17:22 +0100)
commit456ed74484220488e6f4ae70a6dfc6db4c24b0fe
treed5906291535338befc0ceda0d91f423fa1589db3tree | snapshot
parent33ab0fe522e5535d5befbb2bf04ae8e46f7d0248commit | diff
The proofs were cute, but they don't mesh well with the planned code
dist_ignore diff | blob | history
tests/proofs/overflow.py [deleted file] blob | history
tests/proofs/test_carry.sh [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.