colibrics merge requestshttps://git.frama-c.com/pub/colibrics/-/merge_requests2024-03-05T09:03:56Zhttps://git.frama-c.com/pub/colibrics/-/merge_requests/56Draft: Bobot/abs2024-03-05T09:03:56ZFrançois BobotDraft: Bobot/abshttps://git.frama-c.com/pub/colibrics/-/merge_requests/55Bobot/decisions2024-03-11T13:33:32ZFrançois BobotBobot/decisionshttps://git.frama-c.com/pub/colibrics/-/merge_requests/54Add tracing information2024-03-04T10:36:40ZChristophe JunkeAdd tracing information- Add traces around push/pop operations in egraph
- Add traces for set_domain, merge
- Make sure that open trace spans are closed
- Add Expr.Abs in list of skipped quantifier triggers- Add traces around push/pop operations in egraph
- Add traces for set_domain, merge
- Make sure that open trace spans are closed
- Add Expr.Abs in list of skipped quantifier triggersChristophe JunkeChristophe Junke