Massimo Fioravanti 4dc2e92782 Introduce DocumentError ...

`DocumentError`s are the inteded way of propagating errors from the
pipeline to the frontend when a location is required to inform the user
of the error whereabouts.

2023-02-09 13:42:50 +01:00

..

apply

Introduce DocumentError

2023-02-09 13:42:50 +01:00

diff

Add initialization utility to all main functions

2022-07-22 21:04:03 +02:00

dump

Add initialization utility to all main functions

2022-07-22 21:04:03 +02:00

export

Cache TTRs in Model tools

2022-10-29 16:46:19 +02:00

import

Model: search debug info locally upon import

2022-12-13 11:26:54 +01:00

inject

Add initialization utility to all main functions

2022-07-22 21:04:03 +02:00

opt

Add initialization utility to all main functions

2022-07-22 21:04:03 +02:00

CMakeLists.txt

Add revng model export type-graph tool

2022-09-19 08:35:06 +02:00