johnbender

class AsyncLineStream {
  constructor(stream){
    this._lines = [];
    this._readline = require('readline').createInterface({
	    input: stream
    });

    this._updateReadLinePromise();
  }

johnbender

const net = require('net');
const EventEmitter = require('events');

class AsyncServer extends EventEmitter {
  constructor(options){
    super();
    this._connections = [];
    this._server = new net.Server();
    this._options = options;
  }

johnbender

var x = 1; function(){ return x }

johnbender

(*
The error while running `make` is:

File "./LibTactics.v", line 3238, characters 17-18:
Syntax error: ')' expected after [constr:lconstr] (in [tactic:tactic_arg]).

The fix to line 3238 is below.
*)

Ltac branch_tactic K N := (* Line 3237 *)

johnbender

Keybase proof

I hereby claim:

• I am johnbender on github.
• I am johnbender (https://keybase.io/johnbender) on keybase.
• I have a public key whose fingerprint is 61FA 972A F856 C432 2573 D4AD C9B0 1EF5 DE6A 1098

To claim this, I am signing this object:

johnbender

Sorry, doesn't handle recursion (function c::tmalloc_releaseAllReverse; .cpp) identifier  not found
Sorry, doesn't handle recursion (.h)

johnbender

vagrant@vagrant-ubuntu-trusty-64:/vagrant/scratch/rstm$ ../goto-cc -o run.gb run.cpp -Iinclude 
file /usr/include/c++/4.8/cstdlib line 178: parse error before `__int128 abs ( __int128'
file /usr/include/c++/4.8/cstdlib line 183: parse error before `} namespace __gnu_cxx {'
file /usr/include/c++/4.8/cstdlib line 236: parse error before `} namespace std {'
file /usr/include/c++/4.8/cstdlib line 254: parse error before `} typedef unsigned char'
file include/common/locks.hpp line 77: parse error before `: "memory" ) ;'
file /usr/lib/gcc/x86_64-linux-gnu/4.8/include/xmmintrin.h line 91: parse error before `0.0f , 0.0f ,'
file /usr/lib/gcc/x86_64-linux-gnu/4.8/include/xmmintrin.h line 92: parse error before `} extern __inline __m128'
file /usr/lib/gcc/x86_64-linux-gnu/4.8/include/xmmintrin.h line 102: parse error before `} extern __inline __m128'
file /usr/lib/gcc/x86_64-linux-gnu/4.8/include/xmmintrin.h line 108: parse error before `} extern __inline __m128'

johnbender

Review Feb 5

Misc.

Artifacts like node_modules should be created by each user during an npm install so we can add them to the .gitignore

https://github.com/wastatickets/wasta/blob/master/.gitignore

I think we can remove the jade dependency since we're using ejs.

johnbender

Keybase proof

I hereby claim:

• I am johnbender on github.
• I am johnbender (https://keybase.io/johnbender) on keybase.
• I have a public key whose fingerprint is 56AD FEE0 8B4D F194 1E76 DF77 5BFB 243D 5898 7620

To claim this, I am signing this object:

johnbender

# -*- mode: ruby -*-
# vi: set ft=ruby :

# Vagrantfile API/syntax version. Don't touch unless you know what you're doing!
VAGRANTFILE_API_VERSION = "2"

Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
  config.vm.box = "precise64"

  config.vm.provision(:shell, :inline => <<-CMD)