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
*
Add some bool eqb lemmas
Jason Gross
2019-04-05
*
Don't eagerly unfold boolean functions, hopefully, in tc reflect search
Jason Gross
2019-04-05
*
Hint reflect on negb
Jason Gross
2019-04-05
*
Add Z.combine_at_bitwidth
Jason Gross
2019-04-02
*
Add constr_fail and constr_fail_with
Jason Gross
2019-03-31
*
improve zero_bounds tactic
jadep
2019-03-26
*
add some hints to the global databases
jadep
2019-03-26
*
Move some lemmas to appropriate places
jadep
2019-03-25
*
Add Forall2_Proper instances
Jason Gross
2019-03-08
*
Add Forall2_map_map_iff
Jason Gross
2019-03-08
*
Fix issue with previous commit
Jason Gross
2019-03-08
*
Add some eq list_rect lemmas to ListUtil
Jason Gross
2019-03-08
*
Remove GlobalTacticals
Jason Gross
2019-03-08
*
Fix grepeat tactic
Jason Gross
2019-03-08
*
Fix gprogress tactical
Jason Gross
2019-03-08
*
Add some gtactics
Jason Gross
2019-03-08
*
Add Forall2_forall_In_combine_iff
Jason Gross
2019-03-07
*
Add some eq lemmas to ListUtil
Jason Gross
2019-03-07
*
Add some Proper lemmas to ListUtil
Jason Gross
2019-03-07
*
Add reserved notations for \in
Jason Gross
2019-03-05
*
Add some minor reflect things
Jason Gross
2019-03-04
*
Make [reflect] a typeclass and add a bunch of lemmas
Jason Gross
2019-03-04
*
Add Option.{lift,map,combine}, List.Option.lift
Jason Gross
2019-02-11
*
Add zrange_rect{,_Proper,_Proper_dep}
Jason Gross
2019-02-02
*
Add option_beq_hetero
Jason Gross
2019-02-02
*
Add remove_duplicates
Jason Gross
2019-01-24
*
Define String.replace
Jason Gross
2019-01-18
*
Remove ? notation
Jason Gross
2019-01-17
*
Add some more basic ZRange lemmas
Jason Gross
2019-01-15
*
Move StringMap into Strings/
Jason Gross
2019-01-15
*
Add StringMap
Jason Gross
2019-01-15
*
Add String_as_OT
Jason Gross
2019-01-15
*
Autocompute s and c in WBW Montgomery
Jason Gross
2019-01-14
*
Move le_{add,sub}_1_* to ZUtil.Le
Jason Gross
2018-12-25
*
Add has_body tactic
Jason Gross
2018-12-21
*
prove [eval_conditional_sub]
jadep
2018-12-21
*
Add ZRange.cc_m, ZRange.is_bounded_by_bool_cc_m
Jason Gross
2018-12-11
*
Add ZRange.is_bounded_by_bool_normalize_constant
Jason Gross
2018-12-11
*
Add ZRange.normalize_constant
Jason Gross
2018-12-11
*
Add ZRange.is_bounded_by_bool_constant
Jason Gross
2018-12-11
*
Add ZRange.OperationBounds
Jason Gross
2018-12-11
*
Add In_elements_mem_iff
Jason Gross
2018-12-11
*
Add Forall2_update_nth
Jason Gross
2018-12-06
*
Fix broken proofs
Jason Gross
2018-12-04
*
Add more Forall2 lemmas
Jason Gross
2018-12-04
*
Add more ListUtil Forall Lemmas
Jason Gross
2018-12-04
*
Add some ListUtil lemmas about Forall2
Jason Gross
2018-12-04
*
Remove ListUtil.List.repeat
Jason Gross
2018-12-04
*
Revert "Add inversion_clear tactics"
Jason Gross
2018-12-04
*
Add inversion_clear tactics
Jason Gross
2018-12-04
[next]