Branches · sovereign / why3-avr · GitLab

Skip to content

GitLab

Explore

Sign in

sovereign
why3-avr
Repository
Branches

Overview
Active
Stale
All

curve25519

a8c384af · reran proofs on sandor; removed a bit of fluff · Mar 25, 2021

Download source code

zip tar.gz tar.bz2 tar
cavr

ac89c1a8 · reran the proofs on sandor · Mar 25, 2021

Download source code

zip tar.gz tar.bz2 tar
karatsuba

9db4b907 · brought karatsuba branch in line with curve25519 changes · Aug 05, 2020

Download source code

zip tar.gz tar.bz2 tar
master default

9db4b907 · brought karatsuba branch in line with curve25519 changes · Aug 05, 2020

Download source code

zip tar.gz tar.bz2 tar
subp-loop

99d5d173 · test version (subp with loop is in 'bigint_subp_j.mlw') · Nov 07, 2019

Download source code

zip tar.gz tar.bz2 tar
experimental-1.2.0

64685d99 · Add a model that does not use any byte invariants, schoolbook works · Oct 18, 2019

Download source code

zip tar.gz tar.bz2 tar
validate-0.88.3

274df245 · modified 96-bit karatsuba in similar sense · Aug 23, 2019

Download source code

zip tar.gz tar.bz2 tar
validate-0.87.3

54e2d69c · checked the result with alt-ergo 0.99.1, removing reliance on buggy 1.01-1.30 range, · Jul 03, 2019

Download source code

zip tar.gz tar.bz2 tar
vstte17

2ad0ce55 · fix · Oct 25, 2017

Download source code

zip tar.gz tar.bz2 tar