index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Util
Commit message (
Expand
)
Author
Age
*
Support destructuring dlet and slet
Jason Gross
2017-05-13
*
Add Zdiv_0_r to zsimplify
Jason Gross
2017-05-13
*
Split off pull_Zmod, push_Zmod from ZUtil
Jason Gross
2017-05-13
*
Split off more ZUtil things
Jason Gross
2017-05-13
*
Split off more of ZUtil
Jason Gross
2017-05-13
*
Split off more of ZUtil
Jason Gross
2017-05-13
*
Split off ZUtil initial hint databases
Jason Gross
2017-05-13
*
Split off Proper ZUtil lemmas
Jason Gross
2017-05-12
*
Remove dead code in ZUtil (shiftl_by)
Jason Gross
2017-05-12
*
Split off notation and defs in ZUtil
Jason Gross
2017-05-12
*
Add reserved notations
Jason Gross
2017-05-11
*
Remove dead Ltac code from ZUtil
Jason Gross
2017-05-11
*
Suppress a warning about unused intropatterns
Jason Gross
2017-05-11
*
s/appcontext/context/
Jason Gross
2017-05-11
*
add Tuple.map_cps to CPSUtil
jadep
2017-05-01
*
prove compact obeys div/mod rule
jadep
2017-05-01
*
added [lastn] for tuples
jadep
2017-05-01
*
Fix nth_default for the tip of v8.6
Jason Gross
2017-04-28
*
add nth_default on tuple
jadep
2017-04-28
*
Add destruct_head'_sum
Jason Gross
2017-04-25
*
Speed up [specialize_by_assumption]
Jason Gross
2017-04-25
*
Add reference to discussions
Jason Gross
2017-04-25
*
Add loop invariant framework for for-loops
Jason Gross
2017-04-25
*
Add Z2Nat.inj_0 to zsimplify_const
Jason Gross
2017-04-24
*
More zutil lemmas
Jason Gross
2017-04-24
*
Add some zutil lemmas
Jason Gross
2017-04-24
*
More powerful inversion_zrange
Jason Gross
2017-04-15
*
Add for-loop combinator
Jason Gross
2017-04-14
*
Update display to not line-wrap
Jason Gross
2017-04-13
*
Add Util.Logic.ImplAnd
Jason Gross
2017-04-13
*
Add lift4_sig_sig
Jason Gross
2017-04-13
*
Fix missing 'by tac' in rewrite_hyp
Jason Gross
2017-04-10
*
Add dec_of_bool_dec
Jason Gross
2017-04-10
*
Add rewrite_hyp ... by tac
Jason Gross
2017-04-10
*
Split off ZUtil.Stabilization, finish IsBoundedBy!
Jason Gross
2017-04-09
*
Add Z.lt_le_flip_Proper_flip_impl
Jason Gross
2017-04-09
*
Add Z.pow_nonneg to zarith
Jason Gross
2017-04-09
*
Make replace_with_neg more powerful
Jason Gross
2017-04-09
*
Handle more things in Z.peel_le
Jason Gross
2017-04-09
*
Add Z.peel_le
Jason Gross
2017-04-09
*
Add Z.log2_up_le_mono to zarith
Jason Gross
2017-04-09
*
Add Z.max_le_compat Z.min_le_compat to zarith
Jason Gross
2017-04-09
*
Add lemmas about shift bounds to ZUtil
Jason Gross
2017-04-09
*
Fix missing unfold
Jason Gross
2017-04-09
*
Add sub_le_flip_le_Proper
Jason Gross
2017-04-09
*
Add Z.shift{l,r}_opp_l
Jason Gross
2017-04-08
*
Add some le proper flip lemmas
Jason Gross
2017-04-08
*
Use Z.max 0, not an if statement
Jason Gross
2017-04-08
*
Add wordToZ_ZToWord_mod_full
Jason Gross
2017-04-08
*
Add wordToZ_ZToWord_mod
Jason Gross
2017-04-08
[next]