rnbguy

#!/bin/bash

# Script for installing tmux on systems where you don't have root access.
# tmux will be installed in $HOME/.local/bin.
# It's assumed that wget and a C/C++ compiler are installed.

# exit on error
set -e

# create our directories

rnbguy

#!/bin/bash

# script for installing CVC4 SMT solver locally
# CVC4 will be installed in $HOME/cvc4pref/bin

# exit on error
set -e

# clone repo from github
git clone https://github.com/cvc4/cvc4

rnbguy

#!/usr/bin/env python3

"""
earthview_wallpaper.py

Get next images from Google EarthView (earthview.withgoogle.com)
and set it as the background wallpaper.

"""

rnbguy

#!/usr/bin/bash

eval set -- $(getopt -o f:u:t:m:b:d: -l flags:,unwind:,timelimit:,memorylimit:benchmarkpath:dumpdir: -- "$@")

unwind=5
flags=""
timelimit=900
memorylimit=15000000
dump_dir="dump_directory"

rnbguy

#!/usr/bin/env python3

import os
import glob
import sys
import re
import csv

dump_dir = sys.argv[1].strip("/")
dump_basename = os.path.basename(dump_dir)

rnbguy

package main

import (
	"flag"
	"fmt"
	"net"
	"net/http"
)

// simple golang fileserver

rnbguy

import argparse
import struct
import numpy as np

import PIL.ExifTags
from PIL import Image

ap = argparse.ArgumentParser()
group = ap.add_mutually_exclusive_group(required=True)
group.add_argument("-i", "--image", help="path to the image")

rnbguy

Put a foo.bpl file in proofs directory. Then run

docker-compose run boogie proofs/foo.bpl

rnbguy

docker-compose file for Ubuntu.

Goes with `http://labs.play-with-docker.com?stack={LINK}`

rnbguy

In one console,

docker-compose up

When the nodes are ready, in another console,

docker exec antidote1 ./connect.erl 3