aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
...
* Add HList.mapt_ProperGravatar Jason Gross2016-11-17
* Add ReflectiveAddCoordinatesGravatar Jason Gross2016-11-17
* Add some missing filesGravatar Jason Gross2016-11-17
* Fix some problems with previous commitGravatar Jason Gross2016-11-17
* Remove admits, fill templates, copy boundsGravatar Jason Gross2016-11-17
* Update AddCoordinatesGravatar Jason Gross2016-11-17
* Minor change in AddCoordinatesGravatar Jason Gross2016-11-17
* Add interpf_LetInGravatar Jason Gross2016-11-17
* Move util definitions to util folderGravatar Jason Gross2016-11-17
* Copy reified add coordinates to various versions of curvesGravatar Jason Gross2016-11-17
* Add reified mostly-bounds-checked add_coordinatesGravatar Jason Gross2016-11-17
* Update field names in SpecificGenGravatar Jason Gross2016-11-17
* Move ExtendedAddCoordinates to new file, SpecGenGravatar Jason Gross2016-11-17
* Add fieldwise_eq_edwards_extended_add_coordinates_carry_nocarryGravatar Jason Gross2016-11-17
* : assert is not valid 8.4 syntaxGravatar Jason Gross2016-11-17
* Work around bug #5205 (arguments naming weirdness)Gravatar Jason Gross2016-11-16
* Copy bounds to specific_genGravatar Jason Gross2016-11-16
* Add Un{Return,Abs}_etaGravatar Jason Gross2016-11-16
* Add : assert to a bunch of argumentsGravatar Jason Gross2016-11-16
* Split fixedpoint in interpfGravatar Jason Gross2016-11-16
* Add more things to Reflective/CommonGravatar Jason Gross2016-11-16
* Arguments for Un{Return,Abs}Gravatar Jason Gross2016-11-16
* Add add_coordinates_genGravatar Jason Gross2016-11-16
* Add UnReturn, UnAbsGravatar Jason Gross2016-11-16
* Fix for Coq 8.5 (more unfolding)Gravatar Jason Gross2016-11-15
* Fix sqrt handling in specificgenGravatar Jason Gross2016-11-14
* Handle both kinds of sqrtGravatar Jason Gross2016-11-14
* More generic sqrt in SpecificGenGravatar Jason Gross2016-11-14
* More generic sqrtGravatar Jason Gross2016-11-14
* Copy over better prefreezeGravatar Jason Gross2016-11-14
* Fix postfreezeW_correct_and_boundedGravatar Jason Gross2016-11-14
* Update SpecificGen to be fasterGravatar Jason Gross2016-11-14
* Speed up some GF25519 tacticsGravatar Jason Gross2016-11-14
* Support for 128-bit wordsGravatar Jason Gross2016-11-14
* Add word-size-independent interpretationsGravatar Jason Gross2016-11-14
* Update sqrtm1 for 3mod4Gravatar Jason Gross2016-11-14
* Fix some sqrt thingsGravatar Jason Gross2016-11-14
* Fix a missing unfoldGravatar Jason Gross2016-11-14
* Fix a missing unfoldGravatar Jason Gross2016-11-14
* Update bounds things with prefreezeGravatar Jason Gross2016-11-14
* Fix changes in naming in SpecificGenGravatar Jason Gross2016-11-14
* extraction: inline field operations into group operationsGravatar Andres Erbsen2016-11-14
* for i in *.json; do ./copy_bounds.sh $i; doneGravatar Jason Gross2016-11-14
* Add mulW_noinlineGravatar Jason Gross2016-11-14
* Proper_sqrtGravatar Andres Erbsen2016-11-13
* Proper_sqrt_3mod4 Proper_sqrt_5mod8Gravatar Andres Erbsen2016-11-13
* Don't copy bounds files if no argument is passedGravatar Jason Gross2016-11-13
* Add SpecificGen/GF*Gravatar Jason Gross2016-11-13
* Work around bug #5198 (broken tc resolution)Gravatar Jason Gross2016-11-12
* More 8.4pl2 fixesGravatar Jason Gross2016-11-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 05:38:01 +0000