Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v0.6.0
e5ef6250
·
Magic steps: name a Magic older than the tech file; repeated messages once
·
Oct 20, 2026
spice_verify 0.6.0
v0.5.0
9dcb7901
·
Name a folder that hides the package; run_tests.sh: python -m pytest
·
Oct 19, 2026
spice_verify 0.5.0: flows
v0.4.1
243e69b0
·
Standalone repository: README, docs, CHANGELOG, examples; version 0.4.1
·
Oct 19, 2026