Search results

strange behavior of nodes defined in minibex

Status: Open.

#574 In ibex-team/ibex-lib;

· goldsztejn-a opened on Jul 16, 2025

Upgrade Soplex to 1.7

installation

Status: Open.

#572 In ibex-team/ibex-lib;

· gchabert opened on May 25, 2025

Use Hausdorff relative distance in stopping criteria

cleanup

Status: Open.

#571 In ibex-team/ibex-lib;

· gchabert opened on May 25, 2025

v2.9.0 fails to build on Intel macOS

Status: Open.

#567 In ibex-team/ibex-lib;

· cho-m opened on Apr 1, 2025

TestFunction: Tmp file creation crashes under Window (minor)

cleanup

Status: Open.

#564 In ibex-team/ibex-lib;

· gchabert opened on Mar 23, 2025

·  

not urgent

Handle statistics pointer upon object copy

cleanup

Status: Open.

#563 In ibex-team/ibex-lib;

· gchabert opened on Mar 23, 2025

Some tests fail with Ibex+Filib on MacOS arm64

Status: Open.

#561 In ibex-team/ibex-lib;

· gchabert opened on Mar 9, 2025

TestTimer fails

Status: Open.

#560 In ibex-team/ibex-lib;

· gchabert opened on Mar 9, 2025

TestCov: remove tmpnam (minor)

cleanup

Status: Open.

#557 In ibex-team/ibex-lib;

· gchabert opened on Mar 2, 2025

Definition domain of user-defined operators

feature request

Status: Open.

#553 In ibex-team/ibex-lib;

· gchabert opened on Feb 12, 2025

CtcNotIn should take into account definition domain

Status: Open.

Bug

#552 In ibex-team/ibex-lib;

· gchabert opened on Feb 12, 2025

Minibex: semantics of comma-separated variables

feature request

Status: Open.

#545 In ibex-team/ibex-lib;

· goldsztejn-a opened on Jan 16, 2025