Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
sovereign
why3-avr
Repository
Branches
Overview
Active
Stale
All
curve25519
a8c384af
·
reran proofs on sandor; removed a bit of fluff
·
Mar 25, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cavr
ac89c1a8
·
reran the proofs on sandor
·
Mar 25, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
karatsuba
9db4b907
·
brought karatsuba branch in line with curve25519 changes
·
Aug 05, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
9db4b907
·
brought karatsuba branch in line with curve25519 changes
·
Aug 05, 2020
Select Archive Format
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
Compare
Select Archive Format
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
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
validate-0.88.3
merged
274df245
·
modified 96-bit karatsuba in similar sense
·
Aug 23, 2019
Compare
Select Archive Format
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
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
vstte17
2ad0ce55
·
fix
·
Oct 25, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar