z3_finite_domain

0

SystemBrowser

X

–

Menu

N

...

../

convert/

emz3/

lib32/

lib64/

CommandLineServerInterface.js (not parsed)

CommandLineZ3.js (not parsed)

NaClZ3.js (not parsed)

ServerZ3.js (not parsed)

StrZ3.js (not parsed)

Z3BBBTests.js (not parsed)

Z3Server.js (not parsed)

Z3ServerInterface.js (not parsed)

-----

-----

-----

1
-----
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

>

<

localconfig.js

X

–

Menu

N

...

../

ast/

bindings/

data/

experimental/

ide/

lang/

morphic/

net/

persistence/

presentation/

store/

tests/

-----

-----

-----

1
-----
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

>

<

1
search for: nodeJSURL
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

[extend] Global.lively.ide.CommandLineInterface>>getServerPlatform ("= URL.create(Config.nodeJSURL+'/NodeJSEvalServer/")

1 matches

searchOnServer

CodeSearch for nodeJSURL

X

–

Menu

SystemBrowser

X

–

Menu

N

...

../

ast/

bindings/

data/

experimental/

ide/

lang/

morphic/

net/

persistence/

presentation/

store/

tests/

-----

-----

-----

1
-----
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

>

<

depth: 1

reset

1
2
3
4
5
6
7
8
9
10
11
12
13
module("users.timfelgentreff.babelsberg.constraintinterpreter").load()
module("users.timfelgentreff.babelsberg.csp_ext").load()
module("users.timfelgentreff.z3.emz3.EmZ3").load()
s = new csp.Solver()
s = new EmZ3()
a = {shoe: 1}
always: {
    solver: s
    a.shoe.is in ['red', 'blue', 'green']
}
a.shoe
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

show vars

JavaScript Workspace

X

–

Menu

EmZ3.js

X

–

Menu

N

users/timfelgentreff/z3/emz3/

...

../

EmZ3.js

z3.js (not parsed)

EmZ3

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
module('users.timfelgentreff.z3.emz3.EmZ3').requires('users.timfelgentreff.z3.NaClZ3').toRun(function() {
    NaCLZ3.subclass("EmZ3", {
        initialize: function ($super) {
            $super();
            var prefixUrl; //new URL(module('users.timfelgentreff.z3.emz3.EMZ3').uri()).dirname();
            // A little hackery to find the URL of this very file.
            // Throw an error, then parse the stack trace looking for filenames.
            var errlines = (new Error()).stack.split("\n");
            for (var i = 0; i < errlines.length; i++) {
              var match = /((?:https?|file):\/\/.+\/)EmZ3.js/.exec(errlines[i]);
              if (match) {
                prefixUrl = match[1];
                break;
              }
            }
            if (!prefixUrl) {
                prefixUrl = module("users.timfelgentreff.z3.emz3.EmZ3").uri().replace("EmZ3.js", "");
            }
            
            var self = this;
            var request = new XMLHttpRequest();
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

>

<

1
/home/tfelgentreff/babelsberg-js
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

set cwd

add dir

add file

 2015-01-14 14:30:00       4KB .

             no date        0B ..

 2015-01-15 17:11:54       4KB .git

 2015-01-21 19:53:13       4KB LivelyKernel

 2015-01-09 14:30:04       4KB PartsBin

 2015-01-15 11:02:31       4KB babelsberg

 2015-01-15 11:04:50       4KB backtalk

 2015-01-09 15:34:20       4KB bin

 2015-01-09 14:30:04       4KB borning

 2015-01-09 14:30:04       4KB cassowary

 2015-01-09 14:30:04       4KB cop

 2015-01-09 14:30:04       4KB csp

 2015-01-09 15:34:20       4KB deltablue

 2015-01-09 14:30:04       4KB jsinterpreter

 2015-01-09 14:30:04       4KB layout

 2015-01-09 15:23:11       4KB node_modules

 2015-01-09 14:30:04       4KB ohshima

 2015-01-09 14:30:04       4KB ometa

 2015-01-09 18:47:27       4KB reactive

 2015-01-15 17:09:24       4KB standalone

1
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

Dir: /home/tfelgentreff/babelsberg-js

X

–

Menu