Giacomo Vercesi c7d13fd176
PipelineC: fix model verification clause ...
In the previous implementation of Model.verify an llvm::Error was
returned. Some call sites retained the logic associated with it. Fix
these with the correct logic.
Also fix an instance of `verify` that was missing an assert.
2023-03-20 16:20:06 +01:00
2022-08-08 13:55:25 +02:00
2023-02-23 14:51:10 +01:00
2023-02-02 15:26:44 +01:00
2023-02-23 14:51:10 +01:00
2023-02-23 14:51:10 +01:00
2022-08-08 13:55:34 +02:00
2022-08-08 13:55:34 +02:00
2022-08-08 13:55:34 +02:00
2022-08-08 13:55:34 +02:00
2022-11-22 14:15:00 +01:00
2022-11-22 14:15:00 +01:00
2022-04-05 15:37:57 +02:00
2023-03-15 10:19:01 +01:00
2022-08-08 13:55:34 +02:00
2023-02-23 14:51:10 +01:00
2023-02-23 14:51:10 +01:00
2022-08-08 13:55:34 +02:00
2022-08-11 16:20:42 +02:00
2023-03-20 16:20:06 +01:00
2023-02-23 14:51:10 +01:00
2022-12-09 18:09:39 +01:00
2023-02-23 14:51:10 +01:00
2021-12-15 18:03:30 +01:00
2022-03-08 15:15:24 +01:00
2022-08-08 13:55:34 +02:00
Giacomo Vercesi
c7d13fd176