diff options
| author | Gabriel Kerneis | 2014-02-05 17:21:30 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-05 17:21:30 +0000 |
| commit | de56a821bcaeda808a260c16e4b7de5d15648425 (patch) | |
| tree | 46325c0a26188e0d4afe4f3fcb3bfa408b7d3d8e /src/test/power.sail | |
| parent | 48a0e38202340ad72f4827474198c7f00bac2bc6 (diff) | |
First bit of Power spec
Only chapter about branches (except system calls because of sail
typechecking issue). Decoding seems to work. Execution typechecks
currently, but is pretty surely broken otherwise.
Diffstat (limited to 'src/test/power.sail')
| l--------- | src/test/power.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/test/power.sail b/src/test/power.sail new file mode 120000 index 00000000..c6415fd5 --- /dev/null +++ b/src/test/power.sail @@ -0,0 +1 @@ +../../../../rsem/idl/power/generated/extract-full.sail
\ No newline at end of file |