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

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@
.DS_Store
.vscode/
.uv/
.worktrees/
*__pycache__*
profile.json.gz

Expand Down
96 changes: 50 additions & 46 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

15 changes: 15 additions & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -49,3 +49,18 @@ debug = "line-tables-only"

[[example]]
name = "symbolic"

# TODO: drop once vihaco#170 (program::breakpoint) is released.
[patch.crates-io]
vihaco = { git = "https://github.com/QuEraComputing/vihaco", branch = "feat/program-breakpoint-span" }
vihaco-abi = { git = "https://github.com/QuEraComputing/vihaco", branch = "feat/program-breakpoint-span" }
vihaco-abi-derive = { git = "https://github.com/QuEraComputing/vihaco", branch = "feat/program-breakpoint-span" }
vihaco-bytecode = { git = "https://github.com/QuEraComputing/vihaco", branch = "feat/program-breakpoint-span" }
vihaco-cpu = { git = "https://github.com/QuEraComputing/vihaco", branch = "feat/program-breakpoint-span" }
vihaco-module = { git = "https://github.com/QuEraComputing/vihaco", branch = "feat/program-breakpoint-span" }
vihaco-parser = { git = "https://github.com/QuEraComputing/vihaco", branch = "feat/program-breakpoint-span" }
vihaco-parser-derive = { git = "https://github.com/QuEraComputing/vihaco", branch = "feat/program-breakpoint-span" }
vihaco-runtime = { git = "https://github.com/QuEraComputing/vihaco", branch = "feat/program-breakpoint-span" }
vihaco-runtime-derive = { git = "https://github.com/QuEraComputing/vihaco", branch = "feat/program-breakpoint-span" }
vihaco-stdlib = { git = "https://github.com/QuEraComputing/vihaco", branch = "feat/program-breakpoint-span" }
vihaco-syntax = { git = "https://github.com/QuEraComputing/vihaco", branch = "feat/program-breakpoint-span" }
Loading
Loading