Martin Maurer

https://github.com/msoos/cryptominisat/blob/02f53d1fc045fdba53671306964d3d094feb949e/CMakeLists.txt#L688 ` find_package(MPI) if (MPI_FOUND) add_definitions( -DUSE_MPI ) include_directories(${MPI_INCLUDE_PATH}) #set( CMAKE_CXX_COMPILER ${MPI_CXX_COMPILER} ) else (MPI_FOUND) MESSAGE(STATUS "No suitable C++ MPI implementation found. CryptoMiniSat will not be distributed.") endif(MPI_FOUND) ` With...

You can see suggested change here: https://github.com/msoos/cryptominisat/pull/669/commits/979b80fc9f72c9f571e9db603c7d6c3ea3575528

Searching over complete repo gives following result: $ grep -r xl_data_rate_set * | grep -e "_GY_" lsm6ds3tr-c_STdC/examples/lsm6ds3tr_c_self_test.c: lsm6ds3tr_c_xl_data_rate_set(&dev_ctx, LSM6DS3TR_C_GY_ODR_OFF); lsm6dso_STdC/examples/lsm6dso_self_test.c: lsm6dso_xl_data_rate_set(&dev_ctx, LSM6DSO_GY_ODR_OFF); lsm6dsrx_STdC/examples/lsm6dsrx_self_test.c: lsm6dsrx_xl_data_rate_set(&dev_ctx, LSM6DSRX_GY_ODR_OFF); $ lsm6dsrx_STdC/examples/lsm6dsrx_self_test.c: //lsm6dsrx_xl_self_test_set(&dev_ctx, LIS2DH12_XL_ST_NEGATIVE);

@kovasz @msoos Many thanks for adding this! How is it meant to enable ENABLE_BNN? cmake seems to not know this switch. I have just added it in source file, so...

I just used it in one of my CNFs, but I got a segfault. CNF can be downloaded here: www.engelschall.com/~martin/justtesting.cnf Crash report: ``` martin@martin-ubuntu:~/cnf_2022_10x10_bnn$ gdb --args ../cryptominisat-20220917/build/cryptominisat5 --maxsol=1000000 --dumpres=justtesting.res --input=justtesting.cnf...

With "--distill=0" it seems to jump over this segfault. But it tells me UNSAT after around 30s. The CNF (in its original version) has at least 8 solutions, so UNSAT...

Another run with --distill=0 --intree=0: ``` martin@martin-ubuntu:~/cnf_2022_10x10_bnn$ gdb --args ../cryptominisat-20220917/build/cryptominisat5 --distill=0 --intree=0 --maxsol=1000000 --dumpres=justtesting.res --input=justtesting.cnf GNU gdb (Ubuntu 9.2-0ubuntu1~20.04) 9.2 Copyright (C) 2020 Free Software Foundation, Inc. License GPLv3+: GNU...

Was there any update/analysis/outcome since the last discussion? I think we have a device which has the same problem (but CM3+ and same TPM)

Look if you see this message in log "invalid TPM_STS.x 0xff, dumping stack for forensics"

Many thanks for your message! I have not used bluetoothctl before. I found https://stackoverflow.com/questions/36607626/how-to-use-bluetoothctl-like-hcitool-lescan-to-report-repeated-proximity-beacons Can you help me? I want to scan for (LE) advertisements and also receive --duplicates? Optional:...