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
*
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
*
Global Set Fast Name Printing
Jason Gross
2018-11-27
*
Add related_sigT_by_eq proper lemmas
Jason Gross
2018-11-19
*
Add more reserved notations
Jason Gross
2018-11-19
*
Add related_sigT_by_eq
Jason Gross
2018-11-16
*
Add map_repeat, map_const
Jason Gross
2018-11-11
*
Add a variant of cps_id that pulls the continuation from the lhs
Jason Gross
2018-11-08
*
Add some zrange lemmas
Jason Gross
2018-11-01
*
Make pairs work in Z_cast2
Jason Gross
2018-11-01
*
Export ZRange operation notations
Jason Gross
2018-11-01
*
Add zrange notations
Jason Gross
2018-11-01
[next]