tutorial-rc1

Download

Pick the binary for your operating system:

• macOS Apple Silicon (M Series): spectecx-darwin-arm64
• Linux x86_64: spectecx-linux-x64
• macOS Intel: build from source per the README, or run the
  Linux binary in a VM (UTM, Lima).
• Windows: use WSL2 + the Linux binary.

Tutorial materials

spectecx-tutorial.tar.gz -- participant materials for the MechSpec
tutorial (spec skeleton, tests, README, prose document).

Install (Unix)

curl -L -o spectecx https://github.com/kaist-plrg/spectecx/releases/download/tutorial-rc1/spectecx-<your-target>
chmod +x spectecx
./spectecx --help

macOS Gatekeeper

If the binary was downloaded via a browser, macOS will quarantine
it. Either right-click and choose Open the first time, or strip
the attribute:

xattr -d com.apple.quarantine spectecx

What's Changed

• Prune non-applicable rules from interpreter failtraces by @KunJeong in #65
• refactor(il): unify relation-call premises into binding and assertion forms by @KunJeong in #66
• Record provenance on each premise by @KunJeong in #67
• Add EL unparser and roundtrip test by @KunJeong in #68

Full Changelog: tutorial-rc0...tutorial-rc1