uwplse/StructTact

Issues

• commit for coq 8.10

  #67 opened 2 years ago by brando90
  0

• installation fails

  #60 opened 2 years ago by brando90
  2

• generally-avialable opam package

  #55 opened 5 years ago by vzaliva
  3

• before_func should live in its own file and have more lemmas

  #53 opened 6 years ago by palmskog
  0

• Need Tactic documentation

  #14 opened 8 years ago by Kethku
  0

• take is redundant

  #23 opened 8 years ago by wilcoxjay
  1

• Make `break_exists` preserve names

  #25 opened 8 years ago by wilcoxjay
  0

• Add Eric's in to out break_match

  #4 opened 9 years ago by Kethku
  3

• Add break_and hyp and break_and goal

  #7 opened 9 years ago by Kethku
  2

• Add break_or_goal and break_or

  #11 opened 9 years ago by Kethku
  4

• Break break_if into break_if_hyp and break_if_goal similar to break_match

  #5 opened 9 years ago by Kethku
  0

• Seperate break_let into break_let_hyp and break_let_goal

  #10 opened 9 years ago by Kethku
  0

• Use tactic notations

  #6 opened 9 years ago by Kethku
  1

• generalizeEverythingElse uses camel case instead of underscores

  #13 opened 9 years ago by Kethku
  0

• insterU and find_insterU need better names

  #12 opened 9 years ago by Kethku
  0

• Make find_reverse_rewrite consistent

  #9 opened 9 years ago by Kethku
  0

• Make find_rewrite consistent

  #8 opened 9 years ago by Kethku
  0