Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 11, 2025

• Remove legacy netlink sync

  

  riptl

  authored and

  ripatel-fd

  committed
  37e3b34

  Copy full SHA for 37e3b34

Commits on Feb 6, 2025

• pack: add support for bundles

  

  ptaffet-jump

  authored and

  mmcgee-jump

  committed
  ddc0dfb

  Copy full SHA for ddc0dfb

Commits on Dec 27, 2024

• quic: simplify encryption key indexing

  Show description for c15b43f
  

  riptl

  authored and

  ripatel-fd

  committed
  c15b43f

  Copy full SHA for c15b43f

Commits on Sep 11, 2024

• quic: remove frame_union

  Show description for f5da1b9
  

  riptl

  authored and

  ripatel-fd

  committed
  f5da1b9

  Copy full SHA for f5da1b9

Commits on Aug 28, 2024

• quic: simplify secret handling

  Show description for eb2c9cc
  

  riptl

  authored and

  ripatel-fd

  committed
  eb2c9cc

  Copy full SHA for eb2c9cc

Commits on Aug 2, 2024

• keyguard: fix support for multiple signing methods

  Show description for 7470a45
  

  riptl

  authored and

  ripatel-fd

  committed
  7470a45

  Copy full SHA for 7470a45

Commits on Jul 30, 2024

• quic: improve process_packet harness

  Show description for 0278f34
  

  riptl

  authored and

  ripatel-fd

  committed
  0278f34

  Copy full SHA for 0278f34

• quic: add CBMC proofs for retry handling

  

  riptl

  authored and

  ripatel-fd

  committed
  edc1b10

  Copy full SHA for edc1b10

Commits on Jul 29, 2024

• Update CBMC proofs

  

  riptl

  authored and

  ripatel-fd

  committed
  0e2d106

  Copy full SHA for 0e2d106

• Make Makefile.common compatible with CBMC v6

  Show description for f7f3bf1
  

  2 peopleauthored and

  ripatel-fd

  committed
  f7f3bf1

  Copy full SHA for f7f3bf1

Commits on Jul 8, 2024

• x509: add CBMC proof for parser

  Show description for c8a9960
  

  riptl

  authored and

  ripatel-fd

  committed
  c8a9960

  Copy full SHA for c8a9960

Commits on Jun 28, 2024

• quic: polish RNG handling

  Show description for 7bc1ac0
  

  riptl

  authored and

  ripatel-fd

  committed
  7bc1ac0

  Copy full SHA for 7bc1ac0

Commits on Jan 26, 2024

• tls: update CBMC proofs

  

  riptl

  authored and

  mmcgee-jump

  committed
  851b524

  Copy full SHA for 851b524

Commits on Dec 26, 2023

• tls: simplify headers

  

  riptl

  authored and

  ripatel-fd

  committed
  b20efdb

  Copy full SHA for b20efdb

• tls: add stateful fuzzer

  

  riptl

  authored and

  ripatel-fd

  committed
  ddc903c

  Copy full SHA for ddc903c

• cbmc: add tests to automatic config

  

  riptl

  authored and

  ripatel-fd

  committed
  0237053

  Copy full SHA for 0237053

• tls: fixes

  

  riptl

  authored and

  ripatel-fd

  committed
  c78869f

  Copy full SHA for c78869f

• tls: fix ALPN bugs

  

  riptl

  authored and

  ripatel-fd

  committed
  e8c146d

  Copy full SHA for e8c146d

• quic: add CBMC proofs

  

  riptl

  authored and

  ripatel-fd

  committed
  9729336

  Copy full SHA for 9729336

• cbmc: cleanup

  

  riptl

  authored and

  ripatel-fd

  committed
  7401cb2

  Copy full SHA for 7401cb2

• tls: add client handshake CBMC harness

  

  riptl

  authored and

  ripatel-fd

  committed
  527489d

  Copy full SHA for 527489d

• tls: fix CertificateVerify layout bug

  

  riptl

  authored and

  ripatel-fd

  committed
  9fc4735

  Copy full SHA for 9fc4735

• tls: add server handshake CBMC harness

  

  riptl

  authored and

  ripatel-fd

  committed
  b60c5b7

  Copy full SHA for b60c5b7

Commits on Nov 15, 2023

• cbmc: verify mcache bounds

  

  riptl

  authored and

  ripatel-fd

  committed
  b3c379b

  Copy full SHA for b3c379b

• cbmc: verify bits_svw

  

  riptl

  authored and

  ripatel-fd

  committed
  eb7e713

  Copy full SHA for eb7e713

• cbmc: support header-only proofs

  

  riptl

  authored and

  ripatel-fd

  committed
  702496f

  Copy full SHA for 702496f

• cbmc: add dcache_compact

  

  riptl

  authored and

  ripatel-fd

  committed
  fe4ce30

  Copy full SHA for fe4ce30

Commits on Nov 7, 2023

• cbmc: add fd_keyguard_ambiguity_proof

  

  riptl

  authored and

  ripatel-fd

  committed
  6a5ba81

  Copy full SHA for 6a5ba81

• cbmc: add fd_keyguard_match_txn_harness

  

  riptl

  authored and

  ripatel-fd

  committed
  cfda905

  Copy full SHA for cfda905

• cbmc: add fd_txn_ambiguity_gossip_proof

  Show description for 6ab5b29
  

  riptl

  authored and

  ripatel-fd

  committed
  6ab5b29

  Copy full SHA for 6ab5b29

• Rename fd_txn_minsz_harness to fd_txn_minsz_proof

  

  riptl

  authored and

  ripatel-fd

  committed
  a18149b

  Copy full SHA for a18149b

Commits on Nov 6, 2023

• txn: add FD_TXN_MIN_SERIALIZED_SZ

  Show description for d43e011
  

  riptl

  authored and

  ripatel-fd

  committed
  d43e011

  Copy full SHA for d43e011

• cbmc: improve fd_log stub

  

  riptl

  authored and

  ripatel-fd

  committed
  5c71339

  Copy full SHA for 5c71339

• cbmc: remove cbmc-proof.txt marker file

  Show description for 9d8c6a8
  

  riptl

  authored and

  ripatel-fd

  committed
  9d8c6a8

  Copy full SHA for 9d8c6a8

Commits on Sep 5, 2023

• Update README

  

  gtrepta

  authored and

  ripatel-fd

  committed
  636fe0a

  Copy full SHA for 636fe0a

Pagination

Previous

Next