Skip to content

Latest commit

 

History

History
39 lines (25 loc) · 1.03 KB

README.md

File metadata and controls

39 lines (25 loc) · 1.03 KB
Raw

jasmin-preprocessor

Run:

$ ./preprocessor [-d] [--arch {x86-64,arm-m4}] -in <input_file> -out <output_file>

Preprocessor options

  • --arch: Target architecture (either x86-64 or arm-m4 ; default is x86-64)
  • -d/--debug: Prints debugging information
  • --after_rm_generic: Prints the program after removing the generic functions from the source code
  • --after_tasks: Prints the program after resolving the tasks
  • --after_generic_fn_calls: Prints the program after resolving generic function calls
  • --workers: Defines the number of worker threads for finding subtask concurrently
  • --print_tasks: Prints tasks in JSON format

Run with Docker

# Build the Docker image
docker build -t jasmin-preprocessor .

# Run the container
docker run -it -v "$PWD":/app jasmin-preprocessor --input_file map.jazz --output_file map.jpp

Integer Templates

Sphincs+ implementation

Functions as Arguments

Recursive Functions

See rec_sum.jtmpl

usize

See memcmp.jtmpl