Code

bump base to 4.19#310

Code

Closed

ners wants to merge 10 commits intoturion:dev_automataturion/rhine:dev_automatafrom ners:dev_automataners/rhine:dev_automataCopy head branch name to clipboard

+3,254-401

Commits

Commits on May 12, 2024

• Replace dunai MSFs by Automata

  turion

  committed
  634b208

  Copy full SHA for 634b208

• Move position of monad in Except types

  turion

  committed
  bc6d16d

  Copy full SHA for bc6d16d

• Generalise flow type signature

  turion

  committed
  6dec448

  Copy full SHA for 6dec448

• Add benchmarks

  turion

  committed
  4293ff7

  Copy full SHA for 4293ff7

• rhine-bayes: Bump nParticles, since it's much faster now

  turion

  committed
  cb81a99

  Copy full SHA for cb81a99

• Formatting

  turion

  committed
  26cf5d8

  Copy full SHA for 26cf5d8

• Implement resampling buffers in initial encoding as well

  turion

  committed
  7de0936

  Copy full SHA for 7de0936

• Fix haddocks

  turion

  committed
  10d9c2e

  Copy full SHA for 10d9c2e

• FIXME

  turion

  committed
  4951fa0

  Copy full SHA for 4951fa0

Commits on May 13, 2024

• bump base to 4.19

  ners

  committed
  41003ad

  Copy full SHA for 41003ad