Natanael Rabello

icon indicating an email [email protected]

icon company NJR Software icon location São Leopoldo, RS - Brasil icon location C/C++ Software Engineer learning Rust

Results 3 issues of Natanael Rabello

Failure reading DIMACS files with 10 variables or more

### Describe the bug Reading DIMACS files fails with files having more than 10 variables from CNF. ### Reproducible example code main.cpp: ```cpp #include #include #include #include #include #include #include...

bug

charconv.hpp:2144:11: runtime error: null pointer passed as argument 2

Error thrown on tests, possible indicative of bug: `c4/charconv.hpp:2144:11: runtime error: null pointer passed as argument 2, which is declared to never be null`

Missing instantiation of serialize<T> on serde library

Serde library should have an instantiation (in a dummy function) for all types specialized for serde::serialize, to avoid the below linkage error. The below linkage error is generated because YamlSerializer::serialize_map_key(key)...