From 032a2dedd1d3d033bcc410c3de07e6ed0f701ac0 Mon Sep 17 00:00:00 2001 From: Dominic Chen Date: Thu, 25 Jul 2013 10:58:00 +0100 Subject: remove www from master branch --- www/resources/Regexp.c.html | 78 ------------------------------------------- www/resources/get_sign.c.html | 37 -------------------- www/resources/islower.c.html | 33 ------------------ 3 files changed, 148 deletions(-) delete mode 100644 www/resources/Regexp.c.html delete mode 100644 www/resources/get_sign.c.html delete mode 100644 www/resources/islower.c.html (limited to 'www/resources') diff --git a/www/resources/Regexp.c.html b/www/resources/Regexp.c.html deleted file mode 100644 index cb3e3d75..00000000 --- a/www/resources/Regexp.c.html +++ /dev/null @@ -1,78 +0,0 @@ - - - -Enscript Output - - - - -

Regexp.c

- -

-/* 
- * Simple regular expression matching.
- *
- * From:
- *   The Practice of Programming
- *   Brian W. Kernighan, Rob Pike
- *
- */ 
-
-#include <klee/klee.h>
-
-static int matchhere(char*,char*);
-
-static int matchstar(int c, char *re, char *text) {
-  do {
-    if (matchhere(re, text))
-      return 1;
-  } while (*text != '\0' && (*text++ == c || c== '.'));
-  return 0;
-}
-
-static int matchhere(char *re, char *text) {
-  if (re[0] == '\0')
-     return 0;
-  if (re[1] == '*')
-    return matchstar(re[0], re+2, text);
-  if (re[0] == '$' && re[1]=='\0')
-    return *text == '\0';
-  if (*text!='\0' && (re[0]=='.' || re[0]==*text))
-    return matchhere(re+1, text+1);
-  return 0;
-}
-
-int match(char *re, char *text) {
-  if (re[0] == '^')
-    return matchhere(re+1, text);
-  do {
-    if (matchhere(re, text))
-      return 1;
-  } while (*text++ != '\0');
-  return 0;
-}
-
-/*
- * Harness for testing with KLEE.
- */
-
-// The size of the buffer to test with.
-#define SIZE 7
-
-int main() {
-  // The input regular expression.
-  char re[SIZE];
-  
-  // Make the input symbolic. 
-  klee_make_symbolic_name(re, sizeof re, "re");
-
-  // Try to match against a constant string "hello".
-  match(re, "hello");
-
-  return 0;
-}
-

Generated by GNU enscript 1.6.4.

- - diff --git a/www/resources/get_sign.c.html b/www/resources/get_sign.c.html deleted file mode 100644 index 58c28d01..00000000 --- a/www/resources/get_sign.c.html +++ /dev/null @@ -1,37 +0,0 @@ - - - -Enscript Output - - - - -

get_sign.c

- -

-/*
- * First KLEE tutorial: testing a small function
- */
-
-
-int get_sign(int x) {
-  if (x == 0)
-     return 0;
-  
-  if (x < 0)
-     return -1;
-  else 
-     return 1;
-} 
-
-int main() {
-  int a;
-  klee_make_symbolic(&a, sizeof(a), "a");
-  return get_sign(a);
-} 
-

Generated by GNU Enscript 1.6.5.2.

-enscript -Ec --color -w html get_sign.c -o get_sign.c.html - - diff --git a/www/resources/islower.c.html b/www/resources/islower.c.html deleted file mode 100644 index 524f2093..00000000 --- a/www/resources/islower.c.html +++ /dev/null @@ -1,33 +0,0 @@ - - - -Enscript Output - - - - -

islower.c

- -

-/*
- * First KLEE tutorial: testing a small function
- */
-
-#include <klee/klee.h>
-
-int my_islower(int x) {
-  if (x >= 'a' && x <= 'z')
-    return 1;
-  else return 0;
-}
-
-int main() {
-  char c;
-  klee_make_symbolic(&c, sizeof(c), "input");
-  return my_islower(c);
-}
-

Generated by GNU enscript 1.6.4.

- - -- cgit 1.4.1