| all: main_ounit.byte main_qcheck.byte main_pa_ounit.byte | |
| main_ounit.byte: main_ounit.ml | |
| corebuild -pkg oUnit main_ounit.byte | |
| main_pa_ounit.byte: main_pa_ounit.ml | |
| corebuild -pkg oUnit,pa_ounit,pa_ounit.syntax main_pa_ounit.byte | |
| main_qcheck.byte: main_qcheck.ml | |
| corebuild -pkg qcheck main_qcheck.byte |
This gist contains information on how to get opam and ocaml installed on CSUG. These installation instructions are a modified version of the official installation instructions.
cd $HOME
mkdir -p bin
wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh
sh opam_installer.sh $HOME/bin
| \section{Background} | |
| Last semester, we designed and implemented Felix: a system which measures | |
| network traffic using NetKAT. Felix's query language and query compilation | |
| design were complete, and a paper on Felix was accepted to SOSR. However, | |
| both Felix and the SOSR submission were imperfect. First, Felix's query | |
| compiler was slow for large inputs and would often crash on \emph{very} large | |
| inputs. Second, the Felix compiler was not integrated with Haoxian's runtime | |
| which made it onerous to run Felix end-to-end. Finally, our SOSR submission was | |
| written hurriedly and submitted last minute\footnote{literally!}, leaving the | |
| paper a bit incohesive. |
| """ | |
| A simple library level implementation of yielding generators using threads. Not | |
| efficient, but it works! | |
| """ | |
| import threading | |
| class BoundedConcurrentQueue(object): | |
| def __init__(self, cap): | |
| self.cap = cap |
| #include <iostream> | |
| #include <map> | |
| #include <tuple> | |
| #include <utility> | |
| #include <vector> | |
| #include "range/v3/all.hpp" | |
| using namespace ranges; |
| group: division | |
| R = { a:string, b:number | |
| a, 1 | |
| a, 2 | |
| a, 3 | |
| b, 2 | |
| b, 3 | |
| c, 1 | |
| } |
| *.html | |
| .DS_Store | |
| ################################################################################ | |
| # vim | |
| ################################################################################ | |
| # Swap | |
| [._]*.s[a-v][a-z] | |
| [._]*.sw[a-p] | |
| [._]s[a-v][a-z] |