Corentin Schreiber

I have re-targeted this PR against master, hence: - Using C++17 to improve the code. - Remove functions without care for breaking backward compatibility. This addresses all the remaining comments...

If there are no further comments on this PR and the CI passes, are there any remaining blockers for it be merged? I have been maintaining this branch for close...

Fantastic, thank you guys!

I think it does require RTTI. In [snitch](https://github.com/snitch-org/snitch/blob/main/include/snitch/snitch_type_name.hpp) I ended up using the `__PRETTY_FUNCTION__` trick, which doesn't require RTTI and works well on all three major compilers. I would actually...

I opened a PR recently to do this; see https://github.com/catchorg/Catch2/pull/2537. The Catch2 test suites fails because the type names are not portable across all compilers in the CI matrix, but...

Thanks a lot for sharing your experience! I don't program embedded devices myself, but I always had this in the back of my head as a potential use case for...

> As far as the `terminate_with_message` not respecting the custom output, I was thinking I could forward stdout to my console. newlib provides weak functions to overload for these things,...

> I get a compile error if `SNITCH_MAX_EXPR_LENGTH` and `SNITCH_MAX_MESSAGE_LENGTH` aren't the same, no conversion between a short string with the two different lengths This is fixed in https://github.com/snitch-org/snitch/pull/163.

> I actually ended up creating customization points for my SDK to redirect standard streams. But I have worked in systems before where that isn't an easy option for various...

Ah that's a good point! I didn't know that some platforms would emulate doubles in software... It's such a small change, I'll piggy back on one of the two open...