CBMC: remove mld_ prefix from proof directories and harness names

Rename CBMC proof directories and harness files to drop the `mld_` prefix.

Signed-off-by: willieyz <willie.zhao@chelpis.com>

Author: willieyz

proofs/cbmc/mld_attempt_signature_generation/Makefile renamed to proofs/cbmc/attempt_signature_generation/Makefile

@@ -4,7 +4,7 @@
 include ../Makefile_params.common
 
 HARNESS_ENTRY = harness
-HARNESS_FILE = mld_attempt_signature_generation_harness
+HARNESS_FILE = attempt_signature_generation_harness
 
 # This should be a unique identifier for this proof, and will appear on the
 # Litani dashboard. It can be human-readable and contain spaces if you wish.

proofs/cbmc/mld_attempt_signature_generation/mld_attempt_signature_generation_harness.c renamed to proofs/cbmc/attempt_signature_generation/attempt_signature_generation_harness.c

@@ -4,7 +4,7 @@
 include ../Makefile_params.common
 
 HARNESS_ENTRY = harness
-HARNESS_FILE = mld_ct_abs_i32_harness
+HARNESS_FILE = ct_abs_i32_harness
 
 # This should be a unique identifier for this proof, and will appear on the
 # Litani dashboard. It can be human-readable and contain spaces if you wish.

proofs/cbmc/mld_ct_abs_i32/Makefile renamed to proofs/cbmc/ct_abs_i32/Makefile

@@ -4,7 +4,7 @@
 include ../Makefile_params.common
 
 HARNESS_ENTRY = harness
-HARNESS_FILE = mld_ct_cmask_neg_i32_harness
+HARNESS_FILE = ct_cmask_neg_i32_harness
 
 # This should be a unique identifier for this proof, and will appear on the
 # Litani dashboard. It can be human-readable and contain spaces if you wish.

proofs/cbmc/mld_ct_abs_i32/mld_ct_abs_i32_harness.c renamed to proofs/cbmc/ct_abs_i32/ct_abs_i32_harness.c

@@ -4,7 +4,7 @@
 include ../Makefile_params.common
 
 HARNESS_ENTRY = harness
-HARNESS_FILE = mld_ct_get_optblocker_i64_harness
+HARNESS_FILE = ct_get_optblocker_i64_harness
 
 # This should be a unique identifier for this proof, and will appear on the
 # Litani dashboard. It can be human-readable and contain spaces if you wish.

proofs/cbmc/mld_ct_cmask_neg_i32/Makefile renamed to proofs/cbmc/ct_cmask_neg_i32/Makefile

@@ -4,7 +4,7 @@
 include ../Makefile_params.common
 
 HARNESS_ENTRY = harness
-HARNESS_FILE = mld_ct_get_optblocker_u32_harness
+HARNESS_FILE = ct_get_optblocker_u32_harness
 
 # This should be a unique identifier for this proof, and will appear on the
 # Litani dashboard. It can be human-readable and contain spaces if you wish.