Jasmin

Language reference

  • Syntax reference
  • Semantics reference

Compiler

  • Compilation passes
  • Advanced details

Tools

  • How to compile a Jasmin program to assembly
  • Easycrypt extraction
  • Safety checker
  • Constant-time programming
  • Selective Speculative Load Hardening
  • How to execute the formal semantics
  • How to pretty-print a Jasmin program

Miscellaneous

  • FAQ
  • Emacs mode
Jasmin
  • Search

© Copyright 2025, Jasmin contributors.

Built with Sphinx using a theme provided by Read the Docs.