All pull requests

Pull requests

• Diffusion: measure EB diffusion; mv diffusion panels to diffusion dash

  #1102·johnalotoski opened Sep 16, 2026·

  ·
  5

• Dozen devnet patches

  #1094·pgrange opened Sep 10, 2026·

  ·
  4

• docs: Leios requirements and assurance report

  #1092·ramsay-t opened Sep 8, 2026·

  ·
  1

• trace-verifier: drive the RB/EB split check from real mempool occupancy

  #1060·ramsay-t opened Aug 25, 2026·

  ·

• trace-verifier: Praos formal spec as the base machine

  #1047·yveshauser opened Aug 13, 2026·

  ·

• Fiddling with Alloy

  #1008·bladyjoker opened Jul 30, 2026·

  ·
  

• Elaborate the EB diffusion section of leios-design/README.md

  #1005·nfrisby opened Jul 29, 2026·

  ·
  5

  

• DONOTMERGE scratch pad for Alexey to review

  #977·nfrisby opened Jul 8, 2026·

  ·
  18

• Shd/replacing vec with arcs

  #927·shd opened Jun 1, 2026·

  ·
  17

• Produce CDF of time to transmit a datum over TCP

  #923·crocodile-dentist opened May 28, 2026·

  ·
  

• Make the haskell simulation buildable

  #893·coot opened May 18, 2026·

  ·
  

• Add LinearLeiosTuner.html

  #891·nfrisby opened May 13, 2026·

  ·
  10

• Split the monolithic cabal.project into per-cluster Haskell projects

  #887·ch1bo opened May 11, 2026·

  ·
  2

• Leios design: Write down some guidelines on the cardano-node architecture

  #885·ch1bo opened May 6, 2026·

  ·
  5

  

• drop support for x86_64-darwin

  #881·dermetfan opened Apr 30, 2026·

  ·

• Add Mininet LeiosFetch logic test bed to targeted-investigations (Frisby April 2026)

  #880·nfrisby opened Apr 29, 2026·

  ·
  1

  31

• Fix network emulation

  #798·crocodile-dentist opened Mar 5, 2026·

  ·
  6

  

• Update to the End-to-end testing section of the Impact Analysis

  #784·mkoura opened Feb 27, 2026·

  ·
  4

• Update haskell.nix

  #771·hamishmack opened Feb 20, 2026·

  ·

• Leios design: Cryptography - Voting, Certificate

  #599·curiecrypt opened Oct 28, 2025·

  ·
  13