aarch64/full.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14

// Prelude
$include "prelude.sail"

// Specification
$include "full/spec.sail"

// Decoder
$include "decode_start.sail"
$include "full/decode.sail"
$include "decode_end.sail"

// Top level loop
$include "main.sail"