GitHub - chipmunk-project/domino-examples: Example programs and atoms for Domino

run domino for a specific domino program

python3 run_domino_automatically.py <domino program filename> <atom file> 10

run all experiments together

python3 run_all_domino_examples.py

Name		Name	Last commit message	Last commit date
Latest commit History 131 Commits
banzai_atoms		banzai_atoms
domino_in_c_lan		domino_in_c_lan
domino_programs		domino_programs
README.md		README.md
arith_ops.sk		arith_ops.sk
atom_templates.list		atom_templates.list
compile.sh		compile.sh
constants.sk		constants.sk
domino_programs.list		domino_programs.list
example_matrix.txt		example_matrix.txt
firstgraph.gv		firstgraph.gv
generalize_examples.list		generalize_examples.list
generalize_results.txt		generalize_results.txt
hashes.h		hashes.h
muxes.sk		muxes.sk
rel_ops.sk		rel_ops.sk
run_all_domino_examples.py		run_all_domino_examples.py
run_domino_automatically.py		run_domino_automatically.py
secondgraph.gv		secondgraph.gv

Provide feedback