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
...
*
Help for fixpoint refolding in expr.interp
Jason Gross
2018-09-11
*
Update build instructions regarding submodules, install
Jason Gross
2018-09-11
*
Improve documentation of binaries
Jason Gross
2018-09-11
*
Add some documentation to README about the new pipeline
Jason Gross
2018-09-11
*
Empty timing commit for only the path to c-files
Jason Gross
2018-08-31
*
Display output extensions with TIMED=1
Jason Gross
2018-08-30
*
Add a rudimentary arg parse module
Jason Gross
2018-08-30
*
Do less reduction in split_in_context
Jason Gross
2018-08-29
*
Improve speed of do_with_exactly_one_hyp tactic
Jason Gross
2018-08-29
*
Add src/Util/PER.v
Jason Gross
2018-08-29
*
Add do_with_exactly_one_hyp
Jason Gross
2018-08-29
*
Do almost all ZRange proofs
Jason Gross
2018-08-25
*
Minor improvements to various ZUtil things; bounds
Jason Gross
2018-08-25
*
Fix proofs broken by changes to cc_m proofs
Jason Gross
2018-08-24
*
Minor rshi tweaks
Jason Gross
2018-08-24
*
Add some cc_m morphisms
Jason Gross
2018-08-24
*
Add Z.rshi_correct_full
Jason Gross
2018-08-24
*
Add Z.cc_m_eq_full
Jason Gross
2018-08-24
*
Add some basic ZRange lemmas
Jason Gross
2018-08-24
*
Add ZRange.union_comm
Jason Gross
2018-08-24
*
Add a few more zsimplify_const lemmas about shift
Jason Gross
2018-08-24
*
Fix a typo in the previous commit
Jason Gross
2018-08-24
*
Add util target as a sort of common target
Jason Gross
2018-08-24
*
Import prim token notations before using them
Jason Gross
2018-08-24
*
Bump bbv
Jason Gross
2018-08-24
*
Add Z.land, Z.lor bounds stuff to zutil, also split up ZUtil
Jason Gross
2018-08-23
*
Add some makefile targets for Coq's CI
Jason Gross
2018-08-23
*
Add more absint proofs
Jason Gross
2018-08-21
*
Add more operation-specific proofs
Jason Gross
2018-08-21
*
Do most of abs-int interp proofs
Jason Gross
2018-08-21
*
Revert "Revert "Add more instances for type.related""
Jason Gross
2018-08-20
*
Revert "Add more instances for type.related"
Jason Gross
2018-08-17
*
Be more judicious about an instance
Jason Gross
2018-08-17
*
Add and_eqv_for_each_lhs_of_arrow_not_higher_order
Jason Gross
2018-08-16
*
Add andb_each_lhs_of_arrow
Jason Gross
2018-08-16
*
Add more instances for type.related
Jason Gross
2018-08-16
*
Fix bounds on n_corners_and_zero
Jason Gross
2018-08-16
*
Prove monotonicity properties about zrange
Jason Gross
2018-08-15
*
Fix another proof broken by wrong behavior of cbn
Jason Gross
2018-08-14
*
Fix a proof broken by wrong behavior of cbn
Jason Gross
2018-08-14
*
Add more zutil morphisms
Jason Gross
2018-08-13
*
Fix some bounds analysis
Jason Gross
2018-08-13
*
Add some Z.le Proper hints to zarith
Jason Gross
2018-08-13
*
Fix previous commit
Jason Gross
2018-08-13
*
Move a lemma
Jason Gross
2018-08-13
*
Fix a wrong bound computation (on negatives), fix a proof
Jason Gross
2018-08-13
*
Add the file proving split_bounds correct
Jason Gross
2018-08-13
*
Fix split_bounds, prove it correct
Jason Gross
2018-08-13
*
Factor through is_tighter_than_bool, add is_bounded_by_bool_Proper_if_sumbool...
Jason Gross
2018-08-13
*
Add some util lemmas
Jason Gross
2018-08-13
[prev]
[next]