summaryrefslogtreecommitdiff
path: root/report/finite
diff options
context:
space:
mode:
Diffstat (limited to 'report/finite')
-rw-r--r--report/finite/cond1.pdfbin0 -> 93446 bytes
-rw-r--r--report/finite/cond2a.pdfbin0 -> 89076 bytes
-rw-r--r--report/finite/cond2b.pdfbin0 -> 93012 bytes
-rw-r--r--report/finite/cond3.pdfbin0 -> 92124 bytes
-rw-r--r--report/finite/cond4.pdfbin0 -> 94712 bytes
-rw-r--r--report/finite/extra1.pdfbin0 -> 93690 bytes
-rw-r--r--report/finite/extra2.pdfbin0 -> 96818 bytes
-rw-r--r--report/finite/extra3.pdfbin0 -> 92272 bytes
-rw-r--r--report/finite/instr.pdfbin0 -> 54580 bytes
-rw-r--r--report/finite/report.pdfbin0 -> 939082 bytes
-rw-r--r--report/finite/test.pdfbin0 -> 809505 bytes
11 files changed, 0 insertions, 0 deletions
diff --git a/report/finite/cond1.pdf b/report/finite/cond1.pdf
new file mode 100644
index 0000000..733e721
--- /dev/null
+++ b/report/finite/cond1.pdf
Binary files differ
diff --git a/report/finite/cond2a.pdf b/report/finite/cond2a.pdf
new file mode 100644
index 0000000..05d9f03
--- /dev/null
+++ b/report/finite/cond2a.pdf
Binary files differ
diff --git a/report/finite/cond2b.pdf b/report/finite/cond2b.pdf
new file mode 100644
index 0000000..dcb1c19
--- /dev/null
+++ b/report/finite/cond2b.pdf
Binary files differ
diff --git a/report/finite/cond3.pdf b/report/finite/cond3.pdf
new file mode 100644
index 0000000..cbde311
--- /dev/null
+++ b/report/finite/cond3.pdf
Binary files differ
diff --git a/report/finite/cond4.pdf b/report/finite/cond4.pdf
new file mode 100644
index 0000000..3e39b1e
--- /dev/null
+++ b/report/finite/cond4.pdf
Binary files differ
diff --git a/report/finite/extra1.pdf b/report/finite/extra1.pdf
new file mode 100644
index 0000000..033ca95
--- /dev/null
+++ b/report/finite/extra1.pdf
Binary files differ
diff --git a/report/finite/extra2.pdf b/report/finite/extra2.pdf
new file mode 100644
index 0000000..6ca6531
--- /dev/null
+++ b/report/finite/extra2.pdf
Binary files differ
diff --git a/report/finite/extra3.pdf b/report/finite/extra3.pdf
new file mode 100644
index 0000000..bc4b511
--- /dev/null
+++ b/report/finite/extra3.pdf
Binary files differ
diff --git a/report/finite/instr.pdf b/report/finite/instr.pdf
new file mode 100644
index 0000000..c0b44bf
--- /dev/null
+++ b/report/finite/instr.pdf
Binary files differ
diff --git a/report/finite/report.pdf b/report/finite/report.pdf
new file mode 100644
index 0000000..3175505
--- /dev/null
+++ b/report/finite/report.pdf
Binary files differ
diff --git a/report/finite/test.pdf b/report/finite/test.pdf
new file mode 100644
index 0000000..77f97db
--- /dev/null
+++ b/report/finite/test.pdf
Binary files differ