libgpuverify

commit c7bfb127779bc0eb802a134b11419d47c282632e
parent 42b3a24d3a0f42635c4aa1e52ac2c50ee779cc00
Author: Cedric <cedric.zwahlen@students.bfh.ch>
Date:   Sun, 14 Jan 2024 16:04:30 +0100

Minor fixes

Diffstat:
M
source/universal.c
 | 
4
+++-
M
source/util.c
 | 
6
++++++
M
xcode/lib-gpu-verify.xcodeproj/project.xcworkspace/xcuserdata/cedriczwahlen.xcuserdatad/UserInterfaceState.xcuserstate
 | 
0

M
xcode/lib-gpu-verify.xcodeproj/xcshareddata/xcschemes/lib-gpu-generate.xcscheme
 | 
4
++--

4 files changed, 11 insertions(+), 3 deletions(-)
diff --git a/source/universal.c b/source/universal.c
@@ -469,7 +469,9 @@ int gpuv_start(struct gpuv_state *state, void (*cls)(void *, int, struct timespe
     
     cl_event e = clCreateUserEvent(state->info->context, NULL);
     
-    err = clEnqueueNDRangeKernel(state->queue, state->info->kernel, 1, NULL, &state->sig_count, NULL, 0, NULL, &e);
+    size_t local = 1;
+    
+    err = clEnqueueNDRangeKernel(state->queue, state->info->kernel, 1, NULL, &state->sig_count, &local, 0, NULL, &e);
     if (err)
     {
         printf("Error: Failed to execute kernel!\n");
diff --git a/source/util.c b/source/util.c
@@ -589,8 +589,11 @@ gcry_sexp_t *sexp_from_string(char* str, const char *format) {
     size_t errOff = 0;
     gcry_sexp_build(sexp,&errOff,format,mpi);
     
+    gcry_free(mpi);
     free(str_buf);
     
+    mpz_clear(m);
+    
     return sexp;
 }
 
@@ -615,7 +618,10 @@ gcry_sexp_t *sexp_from_string_key(char* str_1, char* str_1_buf, unsigned long st
     size_t errOff = 0;
     gcry_sexp_build(sexp,&errOff,format,mpi_1,mpi_2);
     
+    gcry_free(mpi_1);
+    gcry_free(mpi_2);
     
+    mpz_clear(m);
     
     return sexp;
 }
diff --git a/xcode/lib-gpu-verify.xcodeproj/project.xcworkspace/xcuserdata/cedriczwahlen.xcuserdatad/UserInterfaceState.xcuserstate b/xcode/lib-gpu-verify.xcodeproj/project.xcworkspace/xcuserdata/cedriczwahlen.xcuserdatad/UserInterfaceState.xcuserstate
Binary files differ.
diff --git a/xcode/lib-gpu-verify.xcodeproj/xcshareddata/xcschemes/lib-gpu-generate.xcscheme b/xcode/lib-gpu-verify.xcodeproj/xcshareddata/xcschemes/lib-gpu-generate.xcscheme
@@ -53,11 +53,11 @@
       </BuildableProductRunnable>
       <CommandLineArguments>
          <CommandLineArgument
-            argument = "16"
+            argument = "2048"
             isEnabled = "YES">
          </CommandLineArgument>
          <CommandLineArgument
-            argument = "16"
+            argument = "128"
             isEnabled = "YES">
          </CommandLineArgument>
       </CommandLineArguments>