liyishuai/coq-http2

Issues

• Computing tests with dependent types

  #11 opened 6 years ago by olekgierczak
  1

• Testing HPACK

  #10 opened 6 years ago by olekgierczak
  1

• Fixpoint and Parsing

  #9 opened 6 years ago by olekgierczak
  7

• Big-endian vs Little-endian

  #4 opened 6 years ago by liyishuai
  4

• Matching the informal specification

  #8 opened 6 years ago by Lysxia
  3

• Meaning of zeroFrameType

  #6 opened 6 years ago by Lysxia
  1

• Dependent type or not?

  #2 opened 6 years ago by liyishuai
  11

• Numbers or vectors?

  #3 opened 6 years ago by liyishuai
  1

• Length of frames

  #1 opened 6 years ago by favonia
  14