Repository navigation

functional models - #321

Open

ekiwi wants to merge 15 commits into

mainfrom

functional-models

Commits on Sep 22, 2026
- wip functional models
  ekiwi
  committed
  50e30b2
Commits on Sep 23, 2026
- functional model for multiplier
  ekiwi
  committed
  e64d60e
- wip: functional model Rust library
  ekiwi
  committed
  c2165ed
Commits on Sep 24, 2026
- wip: functional models in interpreter
  ekiwi
  committed
  e8c8e25
- interp: wip functional model support
  ekiwi
  committed
  14b1eb6
- fun: guard only depends on state
  ekiwi
  committed
  47f9d99
Commits on Sep 25, 2026
- interp: skeleton for trace generation and validation from functional model
  ekiwi
  committed
  0149dd0
- functional model: use to validate trace
  ekiwi
  committed
  4760129
- interp: random testing with functional model
  ekiwi
  committed
  9ee4a50
- clippy fixes
  ekiwi
  committed
  0e594ba
- wip: fifo model
  ekiwi
  committed
  8ef6d44
Commits on Sep 28, 2026
- fun: wip fifo model
  ekiwi
  committed
  ea119a2
- fun: wip models with state
  ekiwi
  committed
  5ac96c1
Commits on Sep 29, 2026
- fifo functional model working
  ekiwi
  committed
  932f167
- generate more fifo models + wip python simulator
  ekiwi
  committed
  fe8369b