aboutsummaryrefslogtreecommitdiff
path: root/src/SpecificGen
Commit message (Expand)AuthorAge
* Remove all the .v files in SpecificGenGravatar Jason Gross2017-04-02
* Switch to fully uncurried form for reflectionGravatar Jason Gross2017-03-01
* Rename Interp lemmasGravatar Jason Gross2017-02-21
* Add more display logsGravatar Jason Gross2017-02-16
* Add more display logsGravatar Jason Gross2017-02-15
* ./copy_boundsGravatar Jason Gross2017-02-15
* Clean up and improve Reflection.RelationsGravatar Jason Gross2017-02-07
* Split up Reflection/Z/Syntax and make it smallerGravatar Jason Gross2017-02-02
* Split off some bits of Reflection.SyntaxGravatar Jason Gross2017-01-26
* Remove the Const constructor of exprfGravatar Jason Gross2017-01-19
* Split out Reflection.Equality, change Tflat implicit argumentGravatar Jason Gross2017-01-19
* copy_boundsGravatar Jason Gross2017-01-07
* Revert "Add apply10"Gravatar Jason Gross2017-01-07
* copy_boundsGravatar Jason Gross2017-01-07
* Add appify10Gravatar Jason Gross2017-01-07
* Admit Common9_4Op.vGravatar Jason Gross2016-12-08
* copy_bounds.shGravatar Jason Gross2016-12-02
* Add inm_op_correct_and_boundedGravatar Jason Gross2016-11-25
* Also git add in copy_boundsGravatar Jason Gross2016-11-25
* uncurry_n_op_fe25519Gravatar Jason Gross2016-11-25
* Copy bounds, fix a typoGravatar Jason Gross2016-11-22
* Fix missing import for List.repeat in 8.4Gravatar Jason Gross2016-11-21
* Copy boundsGravatar 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
* Copy reified add coordinates to various versions of curvesGravatar Jason Gross2016-11-17
* Update field names in SpecificGenGravatar Jason Gross2016-11-17
* Move ExtendedAddCoordinates to new file, SpecGenGravatar 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
* 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
* Copy over better prefreezeGravatar Jason Gross2016-11-14
* Update SpecificGen to be fasterGravatar Jason Gross2016-11-14
* Support for 128-bit wordsGravatar 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
* Update bounds things with prefreezeGravatar Jason Gross2016-11-14
* Fix changes in naming in SpecificGenGravatar Jason Gross2016-11-14
* for i in *.json; do ./copy_bounds.sh $i; doneGravatar Jason Gross2016-11-14
* Don't copy bounds files if no argument is passedGravatar Jason Gross2016-11-13
* Add SpecificGen/GF*Gravatar Jason Gross2016-11-13
* Automatically generate code for field operations with different primesGravatar jadep2016-11-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-10 06:27:02 +0000