Files
Solène Moreau 3eec8efaef (V610-014) Disable simplify_trivial_quantification in colibri driver
Disabling this transformation significantly speeds up the runtime of
the testsuite with only minor proof regressions.

Change-Id: I85d2694654378e25535d70dd7673eb39493e2185
Depends-On: I5972b19c9e392f1480f18143d30db00e87942b5a
2022-08-09 09:00:46 +02:00
..
2022-03-17 14:03:07 +01:00
2022-05-19 16:13:12 +02:00
2021-09-07 13:50:44 +02:00
2022-05-19 16:13:12 +02:00
2022-06-03 16:30:54 +00:00
2022-06-07 09:36:41 +02:00
2021-04-08 12:26:07 +00:00
2021-12-16 19:02:49 +09:00
2020-03-03 09:58:48 +01:00
2022-05-19 16:13:12 +02:00