04.06., 9:00 - 12:00: GitLab will be migrated to a new server environment and upgraded to Enterprise Edition Ultimate. The estimated downtime will be 2-3 hours. Please see https://doku.lrz.de/display/PUBLIC/GitLab+Ultimate+Migration for more details about changes related to the migration.

Commit e0a8a025 authored by Philipp Meyer's avatar Philipp Meyer

Fix name of protocol

parent a628d37c
......@@ -13,8 +13,8 @@ $executable majorityPP >$benchmark_dir/$protocols_dir/majority/majority_m1_.pp
# fast majority
echo "generating fast majority protocol"
mkdir -p $benchmark_dir/$protocols_dir/fast_majority
cp ../examples/fast_majority.pp $benchmark_dir/$protocols_dir/fast_majority/fast_majority_m1_.pp
mkdir -p $benchmark_dir/$protocols_dir/fastmajority
cp ../examples/fastmajority.pp $benchmark_dir/$protocols_dir/fastmajority/fastmajority_m1_.pp
# broadcast
echo "generating broadcast protocol"
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment