Mate Soos

Create wrapper around library functions to create re-playable log

1

In case there are any bugs in STP when used as a library, they will be almost impossible to replicate&debug. We should have an option where a log is generated...

dwarf::format_error

40

Hi, Something is off, I am trying to run coz with CryptoMiniSat with ApproxMC but I am getting: ``` $ coz run --- ./approxmc blasted_case110.cnf.gz.no_w.cnf.gz -v2 [libcoz.cpp:100] bootstrapping coz [libcoz.cpp:128]...

Thanks for using CMS! What was the issue using the newest CMS, do you have some examples perhaps?

8

Hi Leander! First of all, amazing work, thanks so much for using CryptoMiniSat! Do you know what was the issue with using the newest? I have tried playing with things,...

$ ./main -h terminate called after throwing an instance of 'boost::exception_detail::clone_implboost::exception_detail::error_info_injector' what(): unknown option -h zsh: abort (core dumped) ./main -h

There are no end-to-end tests for ANF parsing, CNF writing, etc. So there may be some bugs in some of these parsers and CNF/ANF writers, and we may introduce new...

Likely this will never be fixed, but I am putting this here anyway.

Paper [here](https://www.researchgate.net/publication/240412537_Algebraic_Attacks_using_SAT-Solvers). "Algebraic Attacks using SAT-Solvers". Authors: Philipp Jovanovic and Martin Kreuzer. Implementation [here](https://github.com/Daeinar/anf2cnf-sage/blob/master/anf2cnf_sage.py). These strategies look like they could be interesting to improve the translation. Some checking is needed...

This fixes compilation issues: ``` gcc -O3 -DNDEBUG -std=c11 ./src/active_clause_iterator.o ./src/aiger.o ./src/aiger_utils.o ./src/bit_vector.o ./src/c2_casesplits_control.o ./src/c2_clause_minimization.o ./src/c2_rl.o ./src/c2_simplify.o ./src/c2_traces.o ./src/c2_validate.o ./src/cadet2.o ./src/casesplits.o ./src/cegar.o ./src/certify_SAT.o ./src/certify_UNSAT.o ./src/certify_validate.o ./src/conflict_analysis.o ./src/debug.o ./src/examples.o ./src/float_vector.o ./src/heap.o...

Fixing channel issue with ELRS Mavlink-rc: number of channels is not set by default

4

## Description If you are using ELRS MAVLINK setup as per: https://www.expresslrs.org/software/mavlink/ then the number of channels will never be set. Hence it will remain 0 -- even though there...