botic

var Store = require('ringo-sqlstore').Store;
var strings = require("ringo/utils/strings");
var auth= require("./userAuth");

var store = new Store({
    "url": "jdbc:mysql://127.0.0.1/chromatic",
    "driver": "com.mysql.jdbc.Driver",
    "username": "chromatic",
    "password": "chromatic"
});

botic

       IDENTIFICATION DIVISION.
       PROGRAM-ID. HASH.
       AUTHOR. Philipp Nderer.
       DATE-WRITTEN. 02-11-26.
       DATE-COMPILED.
       ENVIRONMENT DIVISION.
       INPUT-OUTPUT SECTION.
       FILE-CONTROL.
           SELECT HASHREL ASSIGN TO "HASHREL.DAT"
               ORGANIZATION IS RELATIVE

botic

	ORG	$101

;  ______      ___    ____      
; /\__  _\   /'___`\ /\  _`\    
; \/_/\ \/  /\_\ /\ \\ \ \ 
;    \ \ \  \/_/// /__\ \ \  __ 
;     \_\ \__  // /_\ \\ \ \ \ \
;     /\_____\/\______/ \ \____/
;     \/_____/\/_____/   \/___/ 
;  _____   __           ___                

botic

var Store = require('ringo-sqlstore').Store;
var log = require("ringo/logging").getLogger(module.id);

log.info("Setting up the store ...");

var store = new Store({
    "url": "jdbc:mysql://127.0.0.1/fulldexd",
    "driver": "com.mysql.jdbc.Driver",
    "username": "dexder",
    "password": "dexder"

botic

void __CPROVER_assert (int, char*);
int nondet_int ();

#define TRUE 1
#define FALSE 0

#define NUM_PROFESSORS 5
#define NUM_COURSES    4

int main (int argc, char* argv[])

botic

[2012/02/21 20:30:59] [ERROR] [antville-2] Macro error in newSite.input: Wrapped java.lang.RuntimeException: Error prefetching nodes (/Users/philipp/helma-1.7.0/apps/antville/code/HopObject/metadata.js#61)
helma.scripting.ScriptingException: Wrapped java.lang.RuntimeException: Error prefetching nodes (/Users/philipp/helma-1.7.0/apps/antville/code/HopObject/metadata.js#61)
	at /Users/philipp/helma-1.7.0/apps/antville/code/HopObject/metadata.js:61
	at /Users/philipp/helma-1.7.0/apps/antville/code/HopObject/metadata.js:37
	at /Users/philipp/helma-1.7.0/apps/antville/code/HopObject/HopObject.js:510
	at /Users/philipp/helma-1.7.0/apps/antville/code/HopObject/HopObject.js:381
	at /Users/philipp/helma-1.7.0/apps/antville/code/Root/Root.js:174
Full trace: org.mozilla.javascript.WrappedException: Wrapped java.lang.RuntimeException: Error prefetching nodes (/Users/philipp/helma-1.7.0/apps/antville/code/HopObject/metadata.js#61)
	at org.mozilla.javascript.Context.throwAsScriptRuntimeEx(Context.java:1773)
	at org.mozilla

botic

include("ringo/term");
include("ringo/shell");

addToClasspath("./lib/arq-2.8.7-tests.jar");
addToClasspath("./lib/arq-2.8.7.jar");
addToClasspath("./lib/hsqldb-1.8.0.10.jar");
addToClasspath("./lib/icu4j-3.4.4.jar");
addToClasspath("./lib/iri-0.8.jar");
addToClasspath("./lib/jena-2.6.4-tests.jar");
addToClasspath("./lib/jena-2.6.4.jar");

botic

@WWW{KEY12345,
  title = {Blablabla},
  url = {http://www.blablabla.com},
  urldate = {29. März 2012},
  author = {Autorenname}
}


@WWW{ANDERERKEY12345,
  title = {Blupblupblup},

botic

/**
 * N-SORTED-ELEMENTS
 * INSTANCE: A non-empty list L = (e1 , . . . , en ) of non-negative integers.
 * QUESTION: Does the list L contain a sub-list of k consecutive sorted numbers
 *           in ascending order (from left to right)?
 */

include("ringo/term");
include("ringo/shell");

botic

include("ringo/term");

var program = function(a) {
   var b = 1;
   var c = 0;

   while (b <= a) {
      var d = 3 * c + 6;
      c = c + 1;
      b = b + (c * d) + 1;