Files
Giacomo Vercesi 6f3dc255cf revng.api: adopt rp_error
Change Python's API to handle the new `rp_error` and its two variations:
`DocumentError` and `SimpleError`.
2023-02-09 13:43:33 +01:00
..
2023-02-09 13:43:33 +01:00
2023-02-09 13:43:33 +01:00
2023-02-09 13:43:33 +01:00
2022-11-11 13:43:55 +01:00
2023-02-09 13:43:33 +01:00
2022-04-26 15:59:35 +02:00
2022-06-29 14:50:58 +02:00
2023-02-07 16:54:35 +01:00
2023-02-07 16:54:35 +01:00