index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Support p256 / montgomery in json format
Jason Gross
2017-10-18
*
Reorganize the curve-specific synthesis framework
Jason Gross
2017-10-18
*
Support curves with +2^... in them
Jason Gross
2017-10-18
*
Add default computation for goldilocks
Jason Gross
2017-10-18
*
Fix Makefile deps with move of IntegrationTestDisplayCommon
Jason Gross
2017-10-18
*
Default carry chains in json files
Jason Gross
2017-10-18
*
Handle generating the correct c from 2^448-2^224-1
Jason Gross
2017-10-18
*
Fold Karatsuba into json format and synthesis
Jason Gross
2017-10-18
*
Build curve-specific files from json
Jason Gross
2017-10-18
*
Generate C64 from python script and json
Jason Gross
2017-10-18
*
Reorgainze synthesis framework files into a Framework folder
Jason Gross
2017-10-18
*
Replace curve-specific definitions with tactics
Jason Gross
2017-10-18
*
Factor out specific code underlying ReificationTypes
Jason Gross
2017-10-18
*
Add 8.7-only CacheTerm
Jason Gross
2017-10-18
*
Add more notation constants
Jason Gross
2017-10-18
*
Update .travis.yml from 8.7+beta2 to 8.7.0
Jason Gross
2017-10-18
*
Update .travis.yml to be 8.7-only
Jason Gross
2017-10-18
*
projective Weierstrass: (P2 = 2Q -> P = Q) -> not exceptional
Andres Erbsen
2017-10-18
*
Revert "Add -compat 8.6 to _CoqProject"
Jason Gross
2017-10-18
*
Add a Require Import FunInd (Function isn't loaded by default anymore)
Pierre Letouzey
2017-10-18
*
Add some more things to basesystem_partial_evaluation_unfolder
Jason Gross
2017-10-18
*
Add basesystem_partial_evaluation_unfolder db
Jason Gross
2017-10-18
*
Unfold more things in core unfolder
Jason Gross
2017-10-18
*
Allow instantiating type arguments without reducing matches
Jason Gross
2017-10-18
*
Allow instantiating type arguments without reducing matches
Jason Gross
2017-10-17
*
Allow instantiating type arguments without reducing matches
Jason Gross
2017-10-17
*
Pattern more things in arithmetic/core
Jason Gross
2017-10-17
*
Allow instantiation of cps type arguments by unfolding
Jason Gross
2017-10-17
*
Make use of faster interp rewriting
Jason Gross
2017-10-17
*
Add InterpRewriting
Jason Gross
2017-10-17
*
Add CacheTerm
Jason Gross
2017-10-17
*
Turn on parenthetization in C output
Jason Gross
2017-10-17
*
Unify notation printing to allow changing it all at once
Jason Gross
2017-10-17
*
Allow unfolding of mapi_with_cps to specialize the function to the type argum...
Jason Gross
2017-10-17
*
Work around bug #5341
Jason Gross
2017-10-17
*
Fix some type annotations for better non-unfolding
Jason Gross
2017-10-17
*
Add MulSplitUnfolder
Jason Gross
2017-10-17
*
Remove outdated json file, reorder remake_curves.sh
Jason Gross
2017-10-17
*
Add more json files
Jason Gross
2017-10-16
*
Add support for parenthesizing all CNotations expressions
Jason Gross
2017-10-16
*
Don't print ".0" for integer bases in the json files
Jason Gross
2017-10-16
*
bugfixes from messy rebase; remade json files
jadep
2017-10-16
*
change limit for max # limbs to allow, add commented-out pretty-printing
jadep
2017-10-16
*
express montgomery-friendly moduli in a more script-friendly way, since we do...
jadep
2017-10-16
*
Add more constants
Jason Gross
2017-10-16
*
Add some more power-of-two notations
Jason Gross
2017-10-16
*
Add more notations
Jason Gross
2017-10-16
*
Fix base generation
Jason Gross
2017-10-16
*
Add more json files
Jason Gross
2017-10-16
*
Don't error if we can't open a file
Jason Gross
2017-10-16
[next]