GitHub - packet-transactions/domino-compiler: The Domino compiler to run packet programs on pipelined switches

packet-transactions / domino-compiler Public

Notifications You must be signed in to change notification settings
Fork 7
Star 29

The Domino compiler to run packet programs on pipelined switches

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 635 Commits
examples		examples
tests		tests
third_party		third_party
.gitignore		.gitignore
.travis.yml		.travis.yml
Makefile.am		Makefile.am
README		README
algebraic_simplifier.cc		algebraic_simplifier.cc
algebraic_simplifier.h		algebraic_simplifier.h
array_validator.h		array_validator.h
ast_visitor.cc		ast_visitor.cc
ast_visitor.h		ast_visitor.h
autogen.sh		autogen.sh
bool_to_int.h		bool_to_int.h
chipmunk_code_generator.cc		chipmunk_code_generator.cc
chipmunk_code_generator.h		chipmunk_code_generator.h
clang_utility_functions.cc		clang_utility_functions.cc
clang_utility_functions.h		clang_utility_functions.h
compiler_pass.h		compiler_pass.h
configure.ac		configure.ac
cse.cc		cse.cc
cse.h		cse.h
csi.cc		csi.cc
csi.h		csi.h
dep.svg		dep.svg
desugar_compound_assignment.cc		desugar_compound_assignment.cc
desugar_compound_assignment.h		desugar_compound_assignment.h
domino.cc		domino.cc
domino_to_chipmunk.cc		domino_to_chipmunk.cc
expr_flattener_handler.cc		expr_flattener_handler.cc
expr_flattener_handler.h		expr_flattener_handler.h
expr_prop.cc		expr_prop.cc
expr_prop.h		expr_prop.h
gen_used_fields.cc		gen_used_fields.cc
gen_used_fields.h		gen_used_fields.h
graph.h		graph.h
if_conversion_handler.cc		if_conversion_handler.cc
if_conversion_handler.h		if_conversion_handler.h
informal_grammar.txt		informal_grammar.txt
int_type_checker.h		int_type_checker.h
libgraphviz_example.c		libgraphviz_example.c
partitioning.cc		partitioning.cc
partitioning.h		partitioning.h
pkt_func_transform.cc		pkt_func_transform.cc
pkt_func_transform.h		pkt_func_transform.h
redundancy_remover.cc		redundancy_remover.cc
redundancy_remover.h		redundancy_remover.h
set_idioms.h		set_idioms.h
sketch_backend.cc		sketch_backend.cc
sketch_backend.h		sketch_backend.h
ssa.cc		ssa.cc
ssa.h		ssa.h
stateful_flanks.cc		stateful_flanks.cc
stateful_flanks.h		stateful_flanks.h
unique_identifiers.cc		unique_identifiers.cc
unique_identifiers.h		unique_identifiers.h
util.cc		util.cc
util.h		util.h
validator.h		validator.h

Repository files navigation

1. Ensure you have python3 (> 3.5.1) git g++ (>4.9) build-essential autotools-dev libncurses5-dev autoconf libtool and zlib1g-dev
(Use a package manager like macports or apt-get to get them.)
2. Get clang + llvm from
http://llvm.org/releases/3.5.0/clang+llvm-3.5.0-macosx-apple-darwin.tar.xz (OS X)
http://llvm.org/releases/3.5.0/clang+llvm-3.5.0-x86_64-linux-gnu-ubuntu-14.04.tar.xz (Ubuntu)
Similar files exist for other distributions as well, though this has only been tested so far on Ubuntu and OS X.
3. Install sketch from https://people.csail.mit.edu/asolar/sketch-1.6.9.tar.gz,
add the sketch binary to the path.
4. Install banzai from https://github.com/packet-transactions/banzai.git
5. git clone https://github.com/packet-transactions/domino-compiler.git
6. ./autogen.sh
7. ./configure CLANG_DEV_LIBS=<wherever you untarred clang+llvm in step 2>
(make sure CLANG_DEV_LIBS is set to an absolute file system path)
8. make
9. make check
10. sudo make install (if you want to install it system wide).