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
...
*
Add fieldwise_Proper
Jason Gross
2017-11-09
*
Add fieldwise_eq_iff
Jason Gross
2017-11-09
*
Add dec_Forall, dec_Exists
Jason Gross
2017-11-09
*
Add fieldwise_map_from_list_iff
Jason Gross
2017-11-09
*
Fix another side condition issue
Jason Gross
2017-11-08
*
Fix a bug in previous commit
Jason Gross
2017-11-08
*
Add freeze rewrite lemmas to dbs
Jason Gross
2017-11-08
*
Add option_map_map
Jason Gross
2017-11-07
*
Add karatsuba, goldilocks lemmas to rewrite dbs
Jason Gross
2017-11-07
*
Add a dummy karatsuba parameter
Jason Gross
2017-11-07
*
Add Tuple.dec_eq{,'}
Jason Gross
2017-11-07
*
Base evard_package on evar_rel_package
Jason Gross
2017-11-07
*
Better way (hopefully) of projecting relation from evar package
Jason Gross
2017-11-07
*
Add notation for optional_evar_rel_package
Jason Gross
2017-11-07
*
Add HeadUnderBinders
Jason Gross
2017-11-07
*
Add support for autosolve packages with options
Jason Gross
2017-11-07
*
build some logs...
Andres Erbsen
2017-11-07
*
triage synthesis failures
Andres Erbsen
2017-11-07
*
Allow pre-unfolding of autosolve things
Jason Gross
2017-11-07
*
Make a reification package
Jason Gross
2017-11-07
*
Factor packages through evar_Prop_package, raw_evar_package
Jason Gross
2017-11-07
*
Remove function evar package in favor of generic rel one
Jason Gross
2017-11-07
*
Add evar_function_package
Jason Gross
2017-11-07
*
A bit more reorganization of autosolve
Jason Gross
2017-11-07
*
Move SideConditionFramework
Jason Gross
2017-11-07
*
[fix build] Fix nonbuilding OutputType file
Jason Gross
2017-11-07
*
Move chained_carries' (now chained_carries_reduce)
Jason Gross
2017-11-07
*
Add more packages to SideConditionFramework
Jason Gross
2017-11-07
*
Add more versions of basesystem_partial_evaluation_unfolder
Jason Gross
2017-11-07
*
Split off computational part of basesystem_partial_evaluation_RHS_gen
Jason Gross
2017-11-07
*
Add SideConditionFramework
Jason Gross
2017-11-07
*
More use of Z.eqb_cps
Jason Gross
2017-11-07
*
Use div_cps and modulo_cps in more places
Jason Gross
2017-11-07
*
Fix some names
Jason Gross
2017-11-07
*
Generalize extended version of IdWithAlt
Jason Gross
2017-11-06
*
table for yesterday's benchmarks
Andres Erbsen
2017-11-06
*
Deduplicate some code
Jason Gross
2017-11-06
*
More id_with_alt_cps updates
Jason Gross
2017-11-06
*
primes.txt: remove a curve25519 alias, add 64-bit secp256
Andres Erbsen
2017-11-06
*
Make use of id_tuple_with_alt_cps'
Jason Gross
2017-11-06
*
Update versions of id_with_alt_cps
Jason Gross
2017-11-06
*
fibe.c: fix type error from 99376c66e4ff240915455d75cf5901f2d38d8ef6
Andres Erbsen
2017-11-06
*
Add IdWithAlt to ZExtended
Jason Gross
2017-11-04
*
Print coq version on smithers
Jason Gross
2017-11-04
*
Move type argument to id_tuple_with_alt outside the fixpoint
Jason Gross
2017-11-04
*
Update display logs and c files
Jason Gross
2017-11-03
*
Add Zsub to extended syntax
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
[prev]
[next]