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

..

efa

TupleTree: switch from public fields to accessors

2022-12-12 18:36:57 +01:00

lddtree

Instroduce LDDTree

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

link-for-translation

Add initialization utility to all main functions

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

model

Introduce DocumentError

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

pipeline

Introduce ApplyDiffAnalysis

2023-02-06 09:37:23 +01:00

CMakeLists.txt

Instroduce LDDTree

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