Code

Add benchmarks for client hello#85

Code

Merged

franziskuskiefer merged 8 commits intomaincryspen/bertie:mainfrom franziskus/bench2cryspen/bertie:franziskus/bench2Copy head branch name to clipboardJan 10, 2024

+3,187-2,786

Commits

Commits on Jan 10, 2024

• benchmark protocol code

  franziskuskiefer

  committed
  0337f1d

  Copy full SHA for 0337f1d

• add client hello benchmark

  franziskuskiefer

  committed
  61582b6

  Copy full SHA for 61582b6

• F*

  franziskuskiefer

  committed
  432324f

  Copy full SHA for 432324f

• client_hello description

  franziskuskiefer

  committed
  69a5760

  Copy full SHA for 69a5760

• start dropping &Bytes in favour of &[U8] for better performance

  franziskuskiefer

  committed
  aa48004

  Copy full SHA for aa48004

• updated F*

  franziskuskiefer

  committed
  7ca5d29

  Copy full SHA for 7ca5d29

• rust fmt

  franziskuskiefer

  committed
  66b5e5e

  Copy full SHA for 66b5e5e

• make clippy happy

  franziskuskiefer

  committed
  58f03b9

  Copy full SHA for 58f03b9