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);;

louisrli

#!/bin/bash -ex
DIR="$1"
find "$DIR" -name "*.mp3" > music_files
echoprint-codegen -s < music_files > music_files.json
python fastingest.py music_files.json

# Cleanup
rm music_files 
rm music_files.json

louisrli

" Automatic C / C++ file headers
" (relies on automatic creation of new stars on 'o' )
function! s:insert_header()
  let filename = expand("%:t")
  execute "normal! i/* "
  execute "normal! o" . filename
  execute "normal! o"
  execute "normal! oTODO: Description "
  execute "normal! o"
  execute "normal! o/"

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