 nnosov
|
bc1b1577a5
|
cleanup of external interface info
|
2020-04-16 20:18:37 +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 |
|