louisrli

java -Xmx14G -Xms14G -Xss30m -classpath /Users/louis/branches/research/accrue-bytecode/classes:/Users/louis/branches/research/accrue-bytecode/data:/Users/louis/branches/research/accrue-bytecode/lib/JSON-java.jar:/Users/louis/branches/research/accrue-bytecode/lib/jcommander-1.35.jar:/Users/louis/branches/research/accrue-bytecode/lib/JFlex.jar:/Users/louis/branches/research/accrue-bytecode/lib/java-cup-11a.jar:/Users/louis/branches/research/accrue-bytecode/lib/apktool-cli.jar:/Users/louis/branches/research/accrue-bytecode/lib/wala-fork.jar main.AccrueAnalysisMain -out /Users/louis/branches/research/accrue-bytecode/tests
    Exception in thread "main" com.beust.jcommander.ParameterException: Unknown option: -out
    at com.beust.jcommander.JCommander.parseValues(JCommander.java:738)
    at com.beust.jcommander.JCommander.parse(JCommander.java:281)
    at com.beust.jcommander.JCommander.parse(JCommander.java:264)
    at com.beust.jcommander.JCommander.<init>(JCommander.java:209)
    at main.AccrueAnalysisOptions.

louisrli

[louis@varnothing cvc4-1.4] $ ./configure --with-antlr-dir=/Users/louis/branches/cvc4-1.4/antlr-3.4 ANTLR=/Users/louis/branches/cvc4-1.4/antlr-3.4/bin/antlr3 --enable-language-bindings=java JAVA_CPPFLAGS=-I/System/Library/Frameworks/JavaVM.framework/Headers

louisrli

Exception in thread "main" java.lang.UnsatisfiedLinkError: edu.nyu.acsys.CVC4.CVC4JNI.ExprManager_SORT_FLAG_NONE_get()I
	at edu.nyu.acsys.CVC4.CVC4JNI.ExprManager_SORT_FLAG_NONE_get(Native Method)
	at edu.nyu.acsys.CVC4.ExprManager.<clinit>(ExprManager.java:378)
	at analysis.stringconstraint.translation.cvc4.CVC4StringSolver.<init>(CVC4StringSolver.java:19)
	at main.AccrueAnalysisMain.main(AccrueAnalysisMain.java:339)

louisrli

Exception in thread "main" Error in option parsing: Unrecognized informational or option key or setting: interactive-prompt
        at edu.nyu.acsys.CVC4.CVC4JNI.SmtEngine_setOption(Native Method)
        at edu.nyu.acsys.CVC4.SmtEngine.setOption(SmtEngine.java:72)
        at analysis.stringconstraint.translation.cvc4.CVC4StringSolver.<init>(CVC4StringSolver.java:28)
        at main.AccrueAnalysisMain.main(AccrueAnalysisMain.java:343)

louisrli

#!/usr/bin/env python

import algo
import random
import time

tetris = algo.TetrisLearningProblem()

while not tetris.is_terminal():
    actions = tetris.get_possible_actions()

louisrli

filetype on
filetype indent on
filetype plugin on
syntax on

set wildmenu
set splitright

" Airline
set laststatus=2

louisrli

LaTeX-Box
MatchTagAlways
a.vim
ack.vim
coffeetags
command-t
gist-vim
goyo.vim
handlebars
mustache.vim

louisrli

[user]
	name = Louis Li
	email = louisrli@gmail.com
[alias]
    b = branch
	ci = commit
    cb = checkout -b
    co = checkout
    p = push
    l = log

louisrli

# back up local
mongodump -o localdump --port 3001 --db meteor
# restore from remote
mongorestore --port 3001 dump/bboypractices --db meteor

louisrli

let f0 = fun x -> (x, x) in
  let f1 = fun y -> f0 (f0 y) in
  let f2 = fun y -> f1 (f1 y) in
  let f3 = fun y -> f2 (f2 y) in
  let f4 = fun y -> f3 (f3 y) in
  let f5 = fun y -> f4 (f4 y) in
  f5 (fun z -> z);;