Basile Clément 07a3d2d9ae fix: Break potentially infinite loop with steps counter (#1316) ...

* fix: Break potentially infinite loop with steps counter

This is a band-aid to make the steps limit more robust until we switch
to memory/allocation limits.

* fix expected test

2025-04-15 18:26:47 +02:00

..

ac

Fix ci (#535)

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

adts

Remove Ty.Tunit (#1148)

2024-06-20 13:26:48 +02:00

arith

Active fpa as default (#1177)

2024-07-24 18:32:32 +02:00

arith_non_lin

Fix ci (#535)

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

arrays

Fix ci (#535)

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

bitv

fix(CP): Make sure domains do not overflow the default domain (#1225)

2024-08-29 12:08:42 +02:00

bool

Fix ci (#535)

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

cc

Fix ci (#535)

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

combination

Fix ci (#535)

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

cram.t

fix(CLI): Remove --optimize option in favor of --strict (#1133)

2024-06-03 18:57:07 +02:00

dolmen/bitv

Remove invalid expected file (#1182)

2024-07-26 18:20:44 +02:00

everything

Handling error strategy (#853)

2023-10-09 08:20:28 +00:00

exists

Fix ci (#535)

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

explanations

Fix ci (#535)

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

float

Active fpa as default (#1177)

2024-07-24 18:32:32 +02:00

issues

Add test from issue 1008 (#1211)

2024-08-20 09:50:52 +00:00

ite

Fix ci (#535)

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

let

Fix ci (#535)

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

misc

Fix the gentest script and add two tests for the unzip feature.

2023-02-15 23:53:07 +01:00

models

Add an optimize test (#1230)

2024-08-30 16:29:37 +02:00

polymorphism

Fix ci (#535)

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

quantifiers

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

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

slow/issues/505

CI fix for dune-build-info (#583)

2023-04-20 16:17:16 +02:00

smtlib

fix: Break potentially infinite loop with steps counter (#1316)

2025-04-15 18:26:47 +02:00

sum

Fix soudness bug in Enum (#1091)

2024-04-05 19:05:52 +02:00

typing

Do not erase type constraints in Ty.fresh (#1164)

2024-07-16 14:57:54 +02:00

bitvec_tests.ml

feat(BV): Do not store width in Bitlist (#1144)

2024-07-08 11:54:00 +02:00

dune

Use dynamic_include to include the generated file dune.inc (#1199)

2024-08-09 12:57:15 +02:00