All pull requests

Pull requests

• Run the disk monitor on Windows and test the workspace there

  #84·shyn1ck opened Oct 26, 2026·

  ·

• Run normfs-fs and the WAL on Windows

  #83·shyn1ck opened Oct 26, 2026·

  ·

• Keep the crypto seed on Windows

  #82·shyn1ck opened Oct 26, 2026·

  ·

• Build the C layer with MSVC

  #81·shyn1ck opened Oct 26, 2026·

  ·

• Stamp the monotonic clock on Windows

  #80·shyn1ck opened Oct 26, 2026·

  ·

• Grow request buffers as data arrives and keep accepting on EMFILE

  #79·shyn1ck opened Oct 26, 2026·

  ·

• Run each TCP connection's read and write state in proven C

  #78·shyn1ck opened Oct 21, 2026·

  ·

• Encode TCP server responses with gremlin instead of prost

  #77·shyn1ck opened Oct 21, 2026·

  ·

• Decode TCP client requests with gremlin instead of prost

  #76·shyn1ck opened Oct 21, 2026·

  ·

• Read frames and write responses through proven C

  #75·shyn1ck opened Oct 21, 2026·

  ·

• Accept TCP connections through the C socket layer

  #74·shyn1ck opened Oct 21, 2026·

  ·

• Move the TCP frame header codec to proven C

  #73·shyn1ck opened Oct 19, 2026·

  ·

• Move symmetric key derivation to C, verified with Frama-C WP

  #18·ifteakhor opened Aug 4, 2026Contributor·

  ·