Search results

Feature request: redundant constraint removal (across multiple GIPSL constraints)

enhancementNew feature or requestNew feature or request

Status: Open.

#388 In Echtzeitsysteme/gips;

· maxkratz opened on May 12, 2026

Feature request: configurable time limit for the build process

enhancementNew feature or requestNew feature or request

Status: Open.

#387 In Echtzeitsysteme/gips;

· maxkratz opened on May 12, 2026

Update Gurobi to v13.0.2

enhancementNew feature or requestNew feature or request

Status: Open.

#382 In Echtzeitsysteme/gips;

· maxkratz opened on May 7, 2026

Special transformation for operator <==> including a new substitute MILP variable

enhancementNew feature or requestNew feature or request

Status: Open.

#373 In Echtzeitsysteme/gips;

· maxkratz opened on Apr 30, 2026

selectType([...]): introduce changes to allow operator on references with [0..1] multiplicities

enhancementNew feature or requestNew feature or request

Status: Open.

#362 In Echtzeitsysteme/gips;

· maxkratz opened on Apr 2, 2026

Gurobi/JDK: A restricted method in java.lang.System has been called

bugSomething isn't workingSomething isn't working

Status: Open.

#358 In Echtzeitsysteme/gips;

· maxkratz opened on Mar 19, 2026

GIPSL: implicit boolean to integer/float conversion

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#354 In Echtzeitsysteme/gips;

· MarkBeB opened on Mar 13, 2026

Sorting Matches and Constraints: remaining non-determinism

bugSomething isn't workingSomething isn't working

Status: Open.

#319 In Echtzeitsysteme/gips;

· maxkratz opened on Dec 5, 2025

Introduce a common logger mechanism

enhancementNew feature or requestNew feature or request

Status: Open.

#296 In Echtzeitsysteme/gips;

· maxkratz opened on Aug 28, 2025

Bug: => or <=> in a global constraint generates non-compilable code

bugSomething isn't workingSomething isn't working

Status: Open.

#256 In Echtzeitsysteme/gips;

· maxkratz opened on Apr 29, 2025

Bug: Multiple accesses with mappings. and/or patterns. generate non-compilable code

bugSomething isn't workingSomething isn't working

Status: Open.

#235 In Echtzeitsysteme/gips;

· maxkratz opened on Mar 21, 2025

Bug: Validator: mappings.a->sum(element.value) (variable access) should be forbidden within the (global) objective

bugSomething isn't workingSomething isn't working

Status: Open.

#224 In Echtzeitsysteme/gips;

· maxkratz opened on Feb 19, 2025