Repository navigation

Upgrade ppvm-vihaco to vihaco v0.7.0 - #289

Draft

david-pl wants to merge 37 commits into

mainfrom

david/vihaco-v0.7

Draft

Upgrade ppvm-vihaco to vihaco v0.7.0#289
david-pl wants to merge 37 commits into
mainfrom
david/vihaco-v0.7

Commits on Oct 30, 2026
- Refactor vihaco-circuit-isa into dialect
  david-pl
  committed
  f7f0f44
Commits on Nov 3, 2026
- Ignore worktrees
  david-pl
  committed
  9c0b927
- Implement execute for tableau
  david-pl
  committed
  5b46ed3
- Get rid of the enum
  david-pl
  committed
  5ed9ed9
- Add PauliSum execute impls
  david-pl
  committed
  dd78d47
Commits on Nov 4, 2026
- Start refactoring things to use trait instead of enum
  david-pl
  committed
  d9c92bb
- Add some missing impls for PauliSum
  david-pl
  committed
  90d3b62
- Implement backend trait for PauliSum
  david-pl
  committed
  8c7e1c6
- Implement stepping on composite
  david-pl
  committed
  3b9f77a
- Don't pop usize
  david-pl
  committed
  f0ce27c
Commits on Nov 9, 2026
- Bring back enums
  david-pl
  committed
  812d563
- Remove a bunch of old code
  david-pl
  committed
  19cdf79
- Add constructors
  david-pl
  committed
  86ba207
- Add some comments
  david-pl
  committed
  6ca9840
- Add constructor for TableauCircuit
  david-pl
  committed
  c815f66
- Split up component.rs
  david-pl
  committed
  2777670
- Split out stuff from mod.rs and start adding custom messages
  david-pl
  committed
  4ba7386
- Add batch instructions and move message to vihaco-isa
  david-pl
  committed
  b644d6f
- Add impls for batched gates
  david-pl
  committed
  ea73b6e
- Add BuildMessage impls -- this fails
  david-pl
  committed
  77404d1
- Work around build messages issue
  david-pl
  committed
  08a1c1a
- Split out header and delete rest of obsolete syntax file
  david-pl
  committed
  b9d338b
- Delete some old stuff
  david-pl
  committed
  546f671
- Implement parsing and loading
  david-pl
  committed
  1ce165e
- Port shots.rs tests
  david-pl
  committed
  47032e2
- Comment out bytecode related stuff
  david-pl
  committed
  31c8958
- Port over sst fixtures
  david-pl
  committed
  beab982
- Fix: push measurement and trace effects onto stack
  david-pl
  committed
  ed8713a
- Fix trace impl
  david-pl
  committed
  76ec3a2
- Fix tests
  david-pl
  committed
  1660514
- Implement two-qubit pauli error
  david-pl
  committed
  e742099
- Merge origin/main into david/vihaco-v0.7
  
  david-pl
  and
  claude
  committed
  228d363
Commits on Nov 10, 2026
- Rework tui command to send messages
  david-pl
  committed
  7a068b6
- Fix ppvm-tui
  david-pl
  committed
  b4e3188
- Fix ppmv-cli
  david-pl
  committed
  d046b9c
- Some small cleanup
  david-pl
  committed
  ce896d0
- Fix clippy and machete errors
  david-pl
  committed
  7e13020

Commits

Commits on Oct 30, 2026

Commits on Nov 3, 2026

Commits on Nov 4, 2026

Commits on Nov 9, 2026

Commits on Nov 10, 2026