Basile Clément 830917c88a fix(Dolmen): Parse triggers from formula body (#1051) ...

Triggers are annotated on the body of the quantifier, but Alt-Ergo looks
them up on the quantifier itself. This used to be OK, because Dolmen
used to copy tags from the body to the quantifier.

Since https://github.com/Gbury/dolmen/pull/207 Dolmen no longer performs
this copy, which means that we now ignore triggers (or rather, we use
the triggers of the parent quantifier if it exists -- which is wrong).

This patch looks for trigger on the body instead, to be compatible with
future Dolmen releases.

This patch also bumps the Dolmen version for obvious reasons.

2024-03-14 09:03:59 +01:00

..

testfile-github001.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-github001.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-github002.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-github002.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-github003.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-github003.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list001.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list001.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list002.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list002.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list003.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list003.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list004.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list004.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list005.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list005.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list006.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list006.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list007.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list007.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list008.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list008.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list009.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list009.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list010.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list010.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list011.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list011.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list012.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-list012.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant001.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant001.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant002.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant002.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant003.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant003.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant004.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant004.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant005.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant005.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant006.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant006.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant007.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant007.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant008.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant008.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant009.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant009.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant010.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant010.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant011.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant011.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant012.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant012.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant013.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant013.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant014.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant014.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant-arith-001.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant-arith-001.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant-arith-002.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-quant-arith-002.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-trigger001.dolmen.expected

fix(Dolmen): Parse triggers from formula body (#1051)

2024-03-14 09:03:59 +01:00

testfile-trigger001.dolmen.smt2

fix(Dolmen): Parse triggers from formula body (#1051)

2024-03-14 09:03:59 +01:00

testfile-trigger002.dolmen.ae

fix(Dolmen): Parse triggers from formula body (#1051)

2024-03-14 09:03:59 +01:00

testfile-trigger002.dolmen.expected

fix(Dolmen): Parse triggers from formula body (#1051)

2024-03-14 09:03:59 +01:00

testfile-trigger003.dolmen.expected

fix(Dolmen): Parse triggers from formula body (#1051)

2024-03-14 09:03:59 +01:00

testfile-trigger003.dolmen.smt2

fix(Dolmen): Parse triggers from formula body (#1051)

2024-03-14 09:03:59 +01:00

testfile-trigger004.dolmen.ae

fix(Dolmen): Parse triggers from formula body (#1051)

2024-03-14 09:03:59 +01:00

testfile-trigger004.dolmen.expected

fix(Dolmen): Parse triggers from formula body (#1051)

2024-03-14 09:03:59 +01:00