Skip to content

Latest commit

 

History

History
14 lines (10 loc) · 527 Bytes

README.md

File metadata and controls

14 lines (10 loc) · 527 Bytes

SchedSynth: Schedule Synthesis for Attribute Grammars

Getting started

  1. Download (link) and install Racket (v7 or later) if you do not already have it installed on your system.
    • Make sure that the Racket binaries are available on your PATH.
  2. Install the Rosette DSL with the command raco pkg install rosette.
  3. Run the synthezier with ./run.rkt, e.g., ./run.rkt 'post;pre' benchmarks/hvbox/hvbox.grammar.

Notes

The tool's name (SchedSynth) is provisional.