Jasmin

Language reference

  • Syntax reference
  • Semantics reference

Compiler

  • Compilation passes
  • Advanced details
    • How to add new instructions
    • Memory Layout

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
  • Advanced details
  • Edit on GitHub

Advanced details

  • How to add new instructions
    • Write unit tests
    • Update the abstract syntax
    • Define the semantics
    • Write the descriptor
    • Optionally add EasyCrypt support
  • Memory Layout
Previous Next

© Copyright 2025, Jasmin contributors.

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