 nnosov
|
c7e9925efe
|
extend to user types of parameter and initialize them. introduce
'typename' to parameter_info, it's C/C++ name of parameter type. rewrite
parameter printing using new capabilities.
|
2020-04-16 18:56:40 +04:00 |
|
|
nnosov
|
f9f26f5f7d
|
use bitset for parameter state instead of separate boolean fields
|
2020-04-16 13:45:26 +04:00 |
|
|
nnosov
|
3317cd212b
|
exprt next_function, next_parameter function_info, parameter_info to
external interface of the library
|
2020-04-05 14:59:41 +04:00 |
|
|
nnosov
|
e2e7535149
|
introduce separate print functions for 'simple' and 'pretty' variands of
unwinding
|
2020-04-05 13:33:19 +04:00 |
|
|
nnosov
|
e2c9ba33ba
|
change expternal interface function names and description
|
2020-02-05 19:48:18 +04:00 |
|
|
nnosov
|
cdacdce8e5
|
fix compilation errors related to C specifics
|
2020-02-05 16:14:52 +04:00 |
|
|
nnosov
|
064951f4c8
|
build shared version of the library
|
2020-02-05 12:23:47 +04:00 |
|
|
nnosov
|
24efc4580b
|
implement external interface to library and use it in tests. need to be
reworked a bit to use file descriptor or buffer provided to callse
|
2020-02-05 12:13:26 +04:00 |
|
|
nnosov
|
3c7105eb97
|
code hierarchy refactoring
|
2020-02-05 09:41:22 +04:00 |
|