vext01

[truffle] opt fail         core:/core/rubinius/common/string.rb:481<OSR>
|Reason jdk.internal.jvmci.code.SourceStackTrace$1: Must not pass virtual frame object into an invoke that cannot be inlined.
Insert a call to VirtualFrame.materialize() to convert the instance to a materialized frame object (source position of following stack trace is approximate)
compilation failed!?                                                            

vext01

===> Updating for graphviz-2.36.0
Upgrading from graphviz-2.28.0
Collision in graphviz-2.28.0->2.36.0: the following files already exist
        /usr/local/lib/tcl8.5/graphviz/libgdtclft.a from graphviz-2.36.0 (different checksum)
        /usr/local/lib/tcl8.5/graphviz/libgdtclft.la from graphviz-2.36.0 (different checksum)
        /usr/local/lib/tcl8.5/graphviz/libgv_tcl.so from graphviz-2.36.0 (different checksum)
        /usr/local/lib/tcl8.5/graphviz/libtcldot.a from graphviz-2.36.0 (different checksum)
        /usr/local/lib/tcl8.5/graphviz/libtcldot.la from graphviz-2.36.0 (different checksum)
        /usr/local/lib/tcl8.5/graphviz/libtcldot_builtin.a from graphviz-2.36.0 (different checksum)
        /usr/local/lib/tcl8.5/graphviz/libtcldot_builtin.la from graphviz-2.36.0 (different checksum)

vext01

wilfred:graphviz> pkg_info | grep graphviz
wilfred:graphviz> file /usr/local/lib/tcl8.5/graphviz/libgdtclft.a 
/usr/local/lib/tcl8.5/graphviz/libgdtclft.a: cannot open `/usr/local/lib/tcl8.5/graphviz/libgdtclft.a' (No such file or directory)
wilfred:graphviz> sudo pkg_add -i graphviz # install old version   
graphviz-2.28.0: ok
Look in /usr/local/share/doc/pkg-readmes for extra documentation.
wilfred:graphviz> file /usr/local/lib/tcl8.5/graphviz/libgdtclft.a 
/usr/local/lib/tcl8.5/graphviz/libgdtclft.a: current ar archive
wilfred:graphviz> make update                                      
===> Updating for graphviz-2.36.0

vext01

pypy-c:
[32.51243495941162, 34.29735589027405, 32.51542115211487, 31.958351135253906, 32.558353900909424, 32.75180912017822, 30.82035517692566, 32.48472499847412, 32.09359812736511, 32.040228843688965]

swithon:
[27.383543968200684, 27.838053941726685, 27.166558980941772, 27.15694808959961, 27.115633964538574, 27.129472970962524, 27.13947296142578, 27.14440083503723, 27.161048889160156, 27.15000581741333]


swithon.pypy:
[26.9587140083313, 26.66836404800415, 26.534873962402344, 26.58110499382019, 26.482031106948853, 26.472450017929077, 26.485265970230103, 26.55867099761963, 26.480876207351685, 26.48572301864624]

vext01

changeset:   1098:19ebfd23feff
branch:      unipycation
tag:         tip
parent:      1096:572cd66338c5
parent:      1097:d765c5c5fcd3
user:        Edd Barrett <vext01@gmail.com>
date:        Mon Feb 10 09:24:23 2014 +0000
summary:     Merge default.

changeset:   1097:d765c5c5fcd3

vext01

%:- use_module(coroutines).

sat(Clauses, Vars) :-
	problem_setup(Clauses), elim_var(Vars).

elim_var([]).
elim_var([Var | Vars]) :-
	elim_var(Vars), (Var = true; Var = false).

problem_setup([]).

vext01

gcc -shared -o bin_fs.so -Wl,-soname=bin_fs.so.0.9.7.rc2 -shared -I/home/edd/source/radare2/libr/..//libr/include -I/home/edd/source/radare2/libr/..//libr/bin/format/ -Wall -fPIC \
        -o bin_fs.so bin_fs.o      -fPIC -L/home/edd/source/radare2/libr/..//libr/util -lr_util
gcc -shared -o bin_ningb.so -Wl,-soname=bin_ningb.so.0.9.7.rc2 -I/home/edd/source/radare2/libr/..//libr/include -I/home/edd/source/radare2/libr/..//libr/bin/format/ -Wall -fPIC      -fPIC -L/home/edd/source/radare2/libr/..//libr/util -lr_util bin_ningb.o
SHLR=/home/edd/source/radare2/libr/..//libr/../shlr
gcc -shared -o bin_mach0.so -Wl,-soname=bin_mach0.so.0.9.7.rc2 -I/home/edd/source/radare2/libr/..//libr/include -I/home/edd/source/radare2/libr/..//libr/bin/format/ -Wall -fPIC \
             -fPIC -L/home/edd/source/radare2/libr/..//libr/util -lr_util bin_mach0.o ../format/mach0/mach0.o /home/edd/source/radare2/libr/..//libr/../shlr/sdb/src/libsdb.a
gmake[4]: Leaving directory '/home/edd/source/radare2/libr/bin/p'
gmake[3]: Leaving dir

vext01

import matplotlib.pyplot as plt
import numpy as np

x,y = np.random.randn(2,100)

fig = plt.figure()
ax1 = fig.add_subplot(211)
ax1.acorr(x, usevlines=True, normed=True, maxlags=50, lw=2)
ax1.grid(True)
ax1.axhline(0, color='black', lw=2)

vext01

Traceback (most recent call last):
  File "app_main.py", line 72, in run_toplevel
  File "pimpl.py", line 250, in <module>
    s.solve(clauses)
  File "pimpl.py", line 185, in solve
    for (model, ) in self.engine.db.sat.iter(pl_clauses, None):
  File "/home/edd/research/unipycation-shared/pypy/lib_pypy/uni.py", line 240, in next
    sol = self.it.next()
PrologError: PROLOG: Traceback (most recent call last):
  File "<unknown>" lines 35-36 in user:elim_var/1

vext01

When enumerating: uf75-01.cnf (2258 modles)

swithon: [15.03399395942688, 15.005454063415527, 15.005449056625366, 15.002075910568237, 15.00921893119812, 14.987879037857056, 14.99259090423584, 14.968936920166016, 15.009854078292847, 15.010921001434326]

unipycation: [4.813431978225708, 3.2073171138763428, 3.05662202835083, 2.965463876724243, 2.873260021209717, 2.8278729915618896, 2.8720738887786865, 2.862135887145996, 2.770235061645508, 2.7558040618896484]