Giacomo Vercesi
|
0b80801b2b
|
TupleTreeDiff: applyDiff uses ErrorList
Change how TupleTreeDiff and Visitor work so they can populate an
ErrorList in case the deserialization/apply of a diff fails.
|
2022-10-30 09:13:44 +01:00 |
|
Pietro Fezzardi
|
d520fd5aea
|
Cache TTRs in Model tools
|
2022-10-29 16:46:19 +02:00 |
|
Davide Depau
|
8d89be44fc
|
Add initialization utility to all main functions
|
2022-07-22 21:04:03 +02:00 |
|
Alessandro Di Federico
|
f4684e244d
|
Switch to new testsuite
|
2022-06-20 19:04:18 +02:00 |
|
Massimo Fioravanti
|
c4aa92694c
|
Introduce revng model apply
|
2022-04-15 15:15:41 +02:00 |
|