From 609518daf1f1d4817d1eabb8a5b69688a73683c7 Mon Sep 17 00:00:00 2001 From: Balazs Komuves Date: Thu, 5 Dec 2024 18:10:12 +0100 Subject: [PATCH] add executable rights to the shell scripts --- workflow/build_circuit.sh | 0 workflow/circ_params.sh | 0 workflow/gen_input.sh | 0 workflow/params.sh | 0 workflow/prove.sh | 0 workflow/prove_and_verify.sh | 0 6 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 workflow/build_circuit.sh mode change 100644 => 100755 workflow/circ_params.sh mode change 100644 => 100755 workflow/gen_input.sh mode change 100644 => 100755 workflow/params.sh mode change 100644 => 100755 workflow/prove.sh mode change 100644 => 100755 workflow/prove_and_verify.sh diff --git a/workflow/build_circuit.sh b/workflow/build_circuit.sh old mode 100644 new mode 100755 diff --git a/workflow/circ_params.sh b/workflow/circ_params.sh old mode 100644 new mode 100755 diff --git a/workflow/gen_input.sh b/workflow/gen_input.sh old mode 100644 new mode 100755 diff --git a/workflow/params.sh b/workflow/params.sh old mode 100644 new mode 100755 diff --git a/workflow/prove.sh b/workflow/prove.sh old mode 100644 new mode 100755 diff --git a/workflow/prove_and_verify.sh b/workflow/prove_and_verify.sh old mode 100644 new mode 100755