From 313c004c1829700697ea2fe1281cc1f7afe5904a Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 27 Jul 2018 16:29:40 +0100
Subject: Check in snapshot of cheri latex

---
 .../sailsailsailsailsailsailsailsailfndecodeSomeCLoadvvvvvvv.tex         | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 cheri/sail_latex/sailsailsailsailsailsailsailsailfndecodeSomeCLoadvvvvvvv.tex

(limited to 'cheri/sail_latex/sailsailsailsailsailsailsailsailfndecodeSomeCLoadvvvvvvv.tex')

diff --git a/cheri/sail_latex/sailsailsailsailsailsailsailsailfndecodeSomeCLoadvvvvvvv.tex b/cheri/sail_latex/sailsailsailsailsailsailsailsailfndecodeSomeCLoadvvvvvvv.tex
new file mode 100644
index 00000000..91fb7205
--- /dev/null
+++ b/cheri/sail_latex/sailsailsailsailsailsailsailsailfndecodeSomeCLoadvvvvvvv.tex
@@ -0,0 +1 @@
+function clause #\hyperref[zdecode]{decode}# (0b010010 @ 0b10000 @ rd : regno @ cb : regno @ 0b00000001 @ 0b0 @ 0b00) = #\hyperref[zSome]{Some}#(#\hyperref[zCLoad]{CLoad}#(rd, cb, 0b00000, 0b00000000, false, B, true)) /* CLLBU */
-- 
cgit v1.2.3