projects
/
testub10.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d2375fe
)
codeb fibonacci testfaelle
author
Georg Schiesser
<e0307201@student.tuwien.ac.at>
Wed, 26 May 2010 16:52:18 +0000
(18:52 +0200)
committer
Georg Schiesser
<e0307201@student.tuwien.ac.at>
Wed, 26 May 2010 16:52:18 +0000
(18:52 +0200)
29 files changed:
codeb/georg_fib_000.call
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_001.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_001.call
[new symlink]
patch
|
blob
codeb/georg_fib_020.call
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_021.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_021.call
[new symlink]
patch
|
blob
codeb/georg_fib_022.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_022.call
[new symlink]
patch
|
blob
codeb/georg_fib_023.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_023.call
[new symlink]
patch
|
blob
codeb/georg_fib_024.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_024.call
[new symlink]
patch
|
blob
codeb/georg_fib_025.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_025.call
[new symlink]
patch
|
blob
codeb/georg_fib_026.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_026.call
[new symlink]
patch
|
blob
codeb/georg_fib_027.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_027.call
[new symlink]
patch
|
blob
codeb/georg_fib_028.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_028.call
[new symlink]
patch
|
blob
codeb/georg_fib_040.call
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_041.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_041.call
[new symlink]
patch
|
blob
codeb/georg_fib_042.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_042.call
[new symlink]
patch
|
blob
codeb/georg_fib_043.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_043.call
[new symlink]
patch
|
blob
codeb/georg_fib_044.0
[new file with mode: 0644]
patch
|
blob
codeb/georg_fib_044.call
[new symlink]
patch
|
blob
diff --git a/codeb/georg_fib_000.call
b/codeb/georg_fib_000.call
new file mode 100644
(file)
index 0000000..
e04b865
--- /dev/null
+++ b/
codeb/georg_fib_000.call
@@ -0,0
+1,2
@@
+extern long fib(long);
+RET(fib(-1)==-1 && fib(0)==0 && fib(1)==1 && fib(2)==1 && fib(3)==2 && fib(7)+fib(8)==fib(9));
diff --git a/codeb/georg_fib_001.0
b/codeb/georg_fib_001.0
new file mode 100644
(file)
index 0000000..
17f99e4
--- /dev/null
+++ b/
codeb/georg_fib_001.0
@@ -0,0
+1,21
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+method fib()
+ if this < 2 then return this; end;
+ var a := 0;
+ var b := 1;
+ var c := this;
+ var x := this;
+ while not (x < 2)
+ do
+ c := a-(0-b);
+ a := b;
+ b := c;
+ x := x-1;
+ end;
+ return c;
+end;
diff --git a/codeb/georg_fib_001.call
b/codeb/georg_fib_001.call
new file mode 120000
(symlink)
index 0000000..
6ee1412
--- /dev/null
+++ b/
codeb/georg_fib_001.call
@@ -0,0
+1
@@
+georg_fib_000.call
\ No newline at end of file
diff --git a/codeb/georg_fib_020.call
b/codeb/georg_fib_020.call
new file mode 100644
(file)
index 0000000..
dbf1d12
--- /dev/null
+++ b/
codeb/georg_fib_020.call
@@ -0,0
+1,2
@@
+extern long fib(long,long);
+RET(fib(0,-1)==-1 && fib(0,0)==0 && fib(0,1)==1 && fib(0,2)==1 && fib(0,3)==2 && fib(0,7)+fib(0,8)==fib(0,9));
diff --git a/codeb/georg_fib_021.0
b/codeb/georg_fib_021.0
new file mode 100644
(file)
index 0000000..
f0c2f9d
--- /dev/null
+++ b/
codeb/georg_fib_021.0
@@ -0,0
+1,20
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+method fib(x)
+ if x < 2 then return x; end;
+ var a := 0;
+ var b := 1;
+ var c := x;
+ while not (x < 2)
+ do
+ c := a-(0-b);
+ a := b;
+ b := c;
+ x := x-1;
+ end;
+ return c;
+end;
diff --git a/codeb/georg_fib_021.call
b/codeb/georg_fib_021.call
new file mode 120000
(symlink)
index 0000000..
e41caeb
--- /dev/null
+++ b/
codeb/georg_fib_021.call
@@ -0,0
+1
@@
+georg_fib_020.call
\ No newline at end of file
diff --git a/codeb/georg_fib_022.0
b/codeb/georg_fib_022.0
new file mode 100644
(file)
index 0000000..
b2ea26c
--- /dev/null
+++ b/
codeb/georg_fib_022.0
@@ -0,0
+1,19
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+method fib(x)
+ var a := 0;
+ var b := 1;
+ var c := x;
+ while not (x < 2)
+ do
+ c := a-(0-b);
+ a := b;
+ b := c;
+ x := x-1;
+ end;
+ return c;
+end;
diff --git a/codeb/georg_fib_022.call
b/codeb/georg_fib_022.call
new file mode 120000
(symlink)
index 0000000..
e41caeb
--- /dev/null
+++ b/
codeb/georg_fib_022.call
@@ -0,0
+1
@@
+georg_fib_020.call
\ No newline at end of file
diff --git a/codeb/georg_fib_023.0
b/codeb/georg_fib_023.0
new file mode 100644
(file)
index 0000000..
fe8cb87
--- /dev/null
+++ b/
codeb/georg_fib_023.0
@@ -0,0
+1,21
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+method fib(x)
+ var a := 0;
+ var b := 1;
+ var c := x;
+ while not (x < 2)
+ do
+ var A := a;
+ var B := b;
+ a := B;
+ b := A-(0-B);
+ c := b;
+ x := x-1;
+ end;
+ return c;
+end;
diff --git a/codeb/georg_fib_023.call
b/codeb/georg_fib_023.call
new file mode 120000
(symlink)
index 0000000..
e41caeb
--- /dev/null
+++ b/
codeb/georg_fib_023.call
@@ -0,0
+1
@@
+georg_fib_020.call
\ No newline at end of file
diff --git a/codeb/georg_fib_024.0
b/codeb/georg_fib_024.0
new file mode 100644
(file)
index 0000000..
f1b037c
--- /dev/null
+++ b/
codeb/georg_fib_024.0
@@ -0,0
+1,20
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+method fib(x)
+ var a := 0;
+ var b := 1;
+ if x < 2 then return x; end;
+ while not (x < 2)
+ do
+ var A := a;
+ var B := b;
+ a := B;
+ b := A-(0-B);
+ x := x-1;
+ end;
+ return b;
+end;
diff --git a/codeb/georg_fib_024.call
b/codeb/georg_fib_024.call
new file mode 120000
(symlink)
index 0000000..
e41caeb
--- /dev/null
+++ b/
codeb/georg_fib_024.call
@@ -0,0
+1
@@
+georg_fib_020.call
\ No newline at end of file
diff --git a/codeb/georg_fib_025.0
b/codeb/georg_fib_025.0
new file mode 100644
(file)
index 0000000..
673e43c
--- /dev/null
+++ b/
codeb/georg_fib_025.0
@@ -0,0
+1,19
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+method fib(x)
+ var a := 0;
+ var b := 1;
+ if x < 2 then return x; end;
+ while not (x < 2)
+ do
+ var A := a;
+ a := b;
+ b := A-(0-b);
+ x := x-1;
+ end;
+ return b;
+end;
diff --git a/codeb/georg_fib_025.call
b/codeb/georg_fib_025.call
new file mode 120000
(symlink)
index 0000000..
e41caeb
--- /dev/null
+++ b/
codeb/georg_fib_025.call
@@ -0,0
+1
@@
+georg_fib_020.call
\ No newline at end of file
diff --git a/codeb/georg_fib_026.0
b/codeb/georg_fib_026.0
new file mode 100644
(file)
index 0000000..
983f882
--- /dev/null
+++ b/
codeb/georg_fib_026.0
@@ -0,0
+1,19
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+method fib(x)
+ var a := 0;
+ var b := 1;
+ if x < 2 then return x; end;
+ while not (x < 2)
+ do
+ var A := a;
+ a := b;
+ b := b-(0-A);
+ x := x-1;
+ end;
+ return b;
+end;
diff --git a/codeb/georg_fib_026.call
b/codeb/georg_fib_026.call
new file mode 120000
(symlink)
index 0000000..
e41caeb
--- /dev/null
+++ b/
codeb/georg_fib_026.call
@@ -0,0
+1
@@
+georg_fib_020.call
\ No newline at end of file
diff --git a/codeb/georg_fib_027.0
b/codeb/georg_fib_027.0
new file mode 100644
(file)
index 0000000..
d10cd9a
--- /dev/null
+++ b/
codeb/georg_fib_027.0
@@ -0,0
+1,20
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+method fib(x)
+ var a := 0;
+ var b := 1;
+ if x < 2 then return x; end;
+ while not (x < 2)
+ do
+ var A := a;
+ a := b;
+ b := 0-b;
+ b := A-b;
+ x := x-1;
+ end;
+ return b;
+end;
diff --git a/codeb/georg_fib_027.call
b/codeb/georg_fib_027.call
new file mode 120000
(symlink)
index 0000000..
e41caeb
--- /dev/null
+++ b/
codeb/georg_fib_027.call
@@ -0,0
+1
@@
+georg_fib_020.call
\ No newline at end of file
diff --git a/codeb/georg_fib_028.0
b/codeb/georg_fib_028.0
new file mode 100644
(file)
index 0000000..
a0e88d7
--- /dev/null
+++ b/
codeb/georg_fib_028.0
@@ -0,0
+1,23
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+method fib(x)
+ var a := 0;
+ var b := 1;
+ if x < 2
+ then
+ return x;
+ end;
+ while not (x < 2)
+ do
+ var A := a;
+ a := b;
+ b := 0-b;
+ b := A-b;
+ x := x-1;
+ end;
+ return b;
+end;
diff --git a/codeb/georg_fib_028.call
b/codeb/georg_fib_028.call
new file mode 120000
(symlink)
index 0000000..
e41caeb
--- /dev/null
+++ b/
codeb/georg_fib_028.call
@@ -0,0
+1
@@
+georg_fib_020.call
\ No newline at end of file
diff --git a/codeb/georg_fib_040.call
b/codeb/georg_fib_040.call
new file mode 100644
(file)
index 0000000..
29e7471
--- /dev/null
+++ b/
codeb/georg_fib_040.call
@@ -0,0
+1,3
@@
+long s[]={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16};
+extern long fib(long *,long);
+RET(fib(s,-1)==-1 && fib(s,0)==0 && fib(s,1)==1 && fib(s,2)==1 && fib(s,3)==2 && fib(s,7)+fib(s,8)==fib(s,9));
diff --git a/codeb/georg_fib_041.0
b/codeb/georg_fib_041.0
new file mode 100644
(file)
index 0000000..
1daf7d1
--- /dev/null
+++ b/
codeb/georg_fib_041.0
@@ -0,0
+1,21
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+struct f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 end;
+
+method fib(x)
+ if x < 0 then return -1; end; f0 := 0;
+ if x < 1 then return f0; end; f1 := 1;
+ if x < 2 then return f1; end; f2 := 1;
+ if x < 3 then return f2; end; f3 := 2;
+ if x < 4 then return f3; end; f4 := 3;
+ if x < 5 then return f4; end; f5 := 5;
+ if x < 6 then return f5; end; f6 := 8;
+ if x < 7 then return f6; end; f7 := 13;
+ if x < 8 then return f7; end; f8 := 21;
+ if x < 9 then return f8; end; f9 := 34;
+ return f9;
+end;
diff --git a/codeb/georg_fib_041.call
b/codeb/georg_fib_041.call
new file mode 120000
(symlink)
index 0000000..
add8f28
--- /dev/null
+++ b/
codeb/georg_fib_041.call
@@ -0,0
+1
@@
+georg_fib_040.call
\ No newline at end of file
diff --git a/codeb/georg_fib_042.0
b/codeb/georg_fib_042.0
new file mode 100644
(file)
index 0000000..
96c17d7
--- /dev/null
+++ b/
codeb/georg_fib_042.0
@@ -0,0
+1,21
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+struct f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 end;
+
+method fib(x)
+ if x < 0 then return -1; end; f0 := 0;
+ if x < 1 then return f0; end; f1 := 1;
+ if x < 2 then return f1; end; f2 := f0-(0-f1);
+ if x < 3 then return f2; end; f3 := f1-(0-f2);
+ if x < 4 then return f3; end; f4 := f2-(0-f3);
+ if x < 5 then return f4; end; f5 := f3-(0-f4);
+ if x < 6 then return f5; end; f6 := f4-(0-f5);
+ if x < 7 then return f6; end; f7 := f5-(0-f6);
+ if x < 8 then return f7; end; f8 := f6-(0-f7);
+ if x < 9 then return f8; end; f9 := f7-(0-f8);
+ return f9;
+end;
diff --git a/codeb/georg_fib_042.call
b/codeb/georg_fib_042.call
new file mode 120000
(symlink)
index 0000000..
add8f28
--- /dev/null
+++ b/
codeb/georg_fib_042.call
@@ -0,0
+1
@@
+georg_fib_040.call
\ No newline at end of file
diff --git a/codeb/georg_fib_043.0
b/codeb/georg_fib_043.0
new file mode 100644
(file)
index 0000000..
4db524a
--- /dev/null
+++ b/
codeb/georg_fib_043.0
@@ -0,0
+1,22
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+struct f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 end;
+
+method fib(x)
+ var t := this;
+ if x < 0 then return -1; end; t.f0 := 0;
+ if x < 1 then return f0; end; t.f1 := 1;
+ if x < 2 then return f1; end; t.f2 := t.f0-(0-t.f1); t := t--8;
+ if x < 3 then return f2; end; t.f2 := t.f0-(0-t.f1); t := t--8;
+ if x < 4 then return f3; end; t.f2 := t.f0-(0-t.f1); t := t--8;
+ if x < 5 then return f4; end; t.f2 := t.f0-(0-t.f1); t := t--8;
+ if x < 6 then return f5; end; t.f2 := t.f0-(0-t.f1); t := t--8;
+ if x < 7 then return f6; end; t.f2 := t.f0-(0-t.f1); t := t--8;
+ if x < 8 then return f7; end; t.f2 := t.f0-(0-t.f1); t := t--8;
+ if x < 9 then return f8; end; t.f2 := t.f0-(0-t.f1); t := t--8;
+ return f9;
+end;
diff --git a/codeb/georg_fib_043.call
b/codeb/georg_fib_043.call
new file mode 120000
(symlink)
index 0000000..
add8f28
--- /dev/null
+++ b/
codeb/georg_fib_043.call
@@ -0,0
+1
@@
+georg_fib_040.call
\ No newline at end of file
diff --git a/codeb/georg_fib_044.0
b/codeb/georg_fib_044.0
new file mode 100644
(file)
index 0000000..
c8e1a16
--- /dev/null
+++ b/
codeb/georg_fib_044.0
@@ -0,0
+1,24
@@
+/* fibonacci */
+
+/* F_0 = 0 */
+/* F_1 = 1 */
+/* F_n = F_{n-1} + F_{n-2} */
+
+struct a b c end;
+
+method fib(x)
+ if x < 0 then return x; end;
+ a := 0;
+ if x < 1 then return x; end;
+ b := 1;
+ if x < 2 then return x; end;
+ var t := this;
+
+ while not (x < 2)
+ do
+ t.c := t.a-(0-t.b);
+ t := t--8;
+ x := x-1;
+ end;
+ return (t-8).c;
+end;
diff --git a/codeb/georg_fib_044.call
b/codeb/georg_fib_044.call
new file mode 120000
(symlink)
index 0000000..
add8f28
--- /dev/null
+++ b/
codeb/georg_fib_044.call
@@ -0,0
+1
@@
+georg_fib_040.call
\ No newline at end of file