5 Commits

Author	SHA1	Message	Date
Pierre-Marie de Rodat	e3d641f973	C API: symbolize exception stack traces only on demand ... Symbolization is a costly operation: do it only when requested. Rework the C API to make this possible. For now, do it automatically in the Java API to avoid breaking existing Java programs: this will fix the performance situation in the other C-based APIs.	2025-03-10 13:49:16 +00:00
Hugo Guerrier	64996efa0c	Store Ada stack trace in C API exception structs ... Do this to allow access to the Ada stack trace of an exception, even from the bindings.	2025-01-20 08:56:41 +00:00
Pierre-Marie de Rodat	449875fb5b	Bind the rewriting API to C	2023-11-13 14:59:57 +00:00
Pierre-Marie de Rodat	ca7030428d	testsuite/c_support: avoid static functions ... Putting the implementation of helper functions in headers (static functions) yields inconvenient warnings about unused functions. Put implementations in regular functions in "*.c" files instead.	2023-11-13 14:59:48 +00:00
Pierre-Marie de Rodat	83c26aa941	c_api/event_handler: new testcase ... TN: VA12-016	2022-11-23 12:37:21 +00:00