diff options
| author | Cedric <cedric.zwahlen@students.bfh.ch> | 2024-01-14 16:04:30 +0100 |
|---|---|---|
| committer | Cedric <cedric.zwahlen@students.bfh.ch> | 2024-01-14 16:04:30 +0100 |
| commit | c7bfb127779bc0eb802a134b11419d47c282632e (patch) | |
| tree | d4c450848df7bc37ea8a20aea60e2b3fc73b7af5 | |
| parent | 42b3a24d3a0f42635c4aa1e52ac2c50ee779cc00 (diff) | |
| download | libgpuverify-c7bfb127779bc0eb802a134b11419d47c282632e.tar.gz libgpuverify-c7bfb127779bc0eb802a134b11419d47c282632e.tar.bz2 libgpuverify-c7bfb127779bc0eb802a134b11419d47c282632e.zip | |
Minor fixes
| -rw-r--r-- | source/universal.c | 4 | ||||
| -rw-r--r-- | source/util.c | 6 | ||||
| -rw-r--r-- | xcode/lib-gpu-verify.xcodeproj/project.xcworkspace/xcuserdata/cedriczwahlen.xcuserdatad/UserInterfaceState.xcuserstate | bin | 933359 -> 934509 bytes | |||
| -rw-r--r-- | 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 index 9bc8f5f..3879e05 100644 --- 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 index 498f94f..88fad4f 100644 --- 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 differindex 225aaa5..d125e3f 100644 --- 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 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 index 68be886..91732df 100644 --- 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> |