smartnic / superopt

A superoptimizing compiler for packet-processing

Superopt

Installation: Linux (Ubuntu 18.04) and macOS (10.15.2)

• Install z3, more in https://github.com/Z3Prover/z3

git clone https://github.com/Z3Prover/z3.git
cd z3
git checkout 1c7d27bdf31ca038f7beee28c41aa7dbba1407dd
python scripts/mk_make.py
cd build
make
sudo make install

• Install superopt. Keep superopt folder and z3 folder in the same directory level

cd ../../
git clone https://github.com/smartnic/superopt.git
cd superopt
make main_ebpf.out

Todo: add more instructions soon