Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • W why3-avr
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Activity
  • Graph
  • Commits
Collapse 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
    Download source code
    zip tar.gz tar.bz2 tar
  • cavr
    ac89c1a8 · reran the proofs on sandor · Mar 25, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • karatsuba
    9db4b907 · brought karatsuba branch in line with curve25519 changes · Aug 05, 2020
    Compare
    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
    Compare
    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
    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
    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
    Download source code
    zip tar.gz tar.bz2 tar
  • vstte17
    2ad0ce55 · fix · Oct 25, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar