Added section on RISCAL, formulated algorithms and Theorems

diff --git a/report/RISCAL.png b/report/RISCAL.png
new file mode 100644 (file)
index 0000000..4ec52f6
Binary files /dev/null and b/report/RISCAL.png differ

diff --git a/report/unicodechars.tex b/report/unicodechars.tex
new file mode 100644 (file)
index 0000000..d87afaf
--- /dev/null
+++ b/report/unicodechars.tex
@@ -0,0 +1,45 @@
+\newunicodechar{→}{\ensuremath{\rightarrow}}
+\newunicodechar{≔}{\ensuremath{:=}}
+\newunicodechar{×}{\ensuremath{\times}}
+\newunicodechar{⊆}{\ensuremath{\subseteq}}
+\newunicodechar{⇔}{\ensuremath{\Leftrightarrow}}
+\newunicodechar{¬}{\ensuremath{\neg}}
+\newunicodechar{∧}{\ensuremath{\wedge}}
+\newunicodechar{∨}{\ensuremath{\vee}}
+\newunicodechar{⇒}{\ensuremath{\Rightarrow}}
+\newunicodechar{≤}{\ensuremath{\leq}}
+\newunicodechar{≥}{\ensuremath{\geq}}
+\newunicodechar{∞}{\ensuremath{\infty}}
+\newunicodechar{∈}{\ensuremath{\in}}
+\newunicodechar{∪}{\ensuremath{\cup}}
+\newunicodechar{∩}{\ensuremath{\cap}}
+\newunicodechar{⋃}{\ensuremath{\bigcup}}
+\newunicodechar{⋂}{\ensuremath{\bigcap}}
+\newunicodechar{∅}{\ensuremath{\emptyset}}
+\newunicodechar{≠}{\ensuremath{\neq}}
+\newunicodechar{∉}{\ensuremath{\not\in}}
+\newunicodechar{∊}{\ensuremath{\in}}
+\newunicodechar{⊢}{\ensuremath{\vdash}}
+\newunicodechar{ε}{\ensuremath{\epsilon}}
+\newunicodechar{⌚}{\ensuremath{\clock}}
+\newunicodechar{⦇}{\ensuremath{\llparenthesis}}
+\newunicodechar{⦈}{\ensuremath{\rrparenthesis}}
+\newunicodechar{∼}{\~{}}
+\newunicodechar{ℕ}{\ensuremath{\mathbb{N}}}
+\newunicodechar{ℤ}{\ensuremath{\mathbb{Z}}}
+\newunicodechar{ℙ}{\ensuremath{\mathbb{P}}}
+\newunicodechar{⊤}{\ensuremath{\top}}
+\newunicodechar{⊥}{\ensuremath{\bot}}
+\newunicodechar{⋅}{\ensuremath{\cdot}}
+\newunicodechar{〈}{\ensuremath{\langle}}
+\newunicodechar{⟨}{\ensuremath{\langle}}
+\newunicodechar{〈}{\ensuremath{\langle}}
+\newunicodechar{〉}{\ensuremath{\rangle}}
+\newunicodechar{⟩}{\ensuremath{\rangle}}
+\newunicodechar{〉}{\ensuremath{\rangle}}
+\newunicodechar{∑}{\ensuremath{\sum}}
+\newunicodechar{Σ}{\ensuremath{\Sigma}}
+\newunicodechar{∏}{\ensuremath{\prod}}
+\newunicodechar{Π}{\ensuremath{\Pi}}
+\newunicodechar{∀}{\ensuremath{\forall}}
+\newunicodechar{∃}{\ensuremath{\exists}}