Skip to content

Pretty printing

Jump to bottom
Vincent Laporte edited this page Jul 24, 2024 · 3 revisions

How to pretty-print a Jasmin program

The jasmin2tex tool (distributed with the Jasmin compiler; named jazz2tex before release 2023.06.4) can write LATEX representations of Jasmin programs:

jasmin2tex -o output.tex input.jazz

The produced LATEX snippet is meant to be included in a jasmincode environment provided by the jasmin package defined in the following file: jasmin.sty.

Clone this wiki locally