Repository navigation

fix(lock): pass-through #[spec_locked] at compile time - #1

Merged

secsovereign merged 3 commits into

mainfrom

fix/spec-locked-compile-passthrough

Sep 17, 2026

Merged

fix(lock): pass-through #[spec_locked] at compile time#1
secsovereign merged 3 commits into
mainfrom
fix/spec-locked-compile-passthrough

Commits on Sep 16, 2026
- fix(lock): pass-through #[spec_locked] at compile time
  secsovereign
  committed
  ae45713
- fix(lock): drop unused imports after #[spec_locked] pass-through
  secsovereign
  committed
  fc78081
Commits on Sep 17, 2026
- style: rustfmt condition.rs and z3_translator.rs
  secsovereign
  committed
  f0bf1b1