-
Notifications
You must be signed in to change notification settings - Fork 4
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Feature request: redundant constraint removal (across multiple GIPSL constraints)
enhancementNew feature or requestNew feature or requestStatus: Open.#388 In Echtzeitsysteme/gips;Feature request: configurable time limit for the build process
enhancementNew feature or requestNew feature or requestStatus: Open.#387 In Echtzeitsysteme/gips;Special transformation for operator
<==>including a new substitute MILP variableenhancementNew feature or requestNew feature or requestStatus: Open.#373 In Echtzeitsysteme/gips;selectType([...]): introduce changes to allow operator on references with[0..1]multiplicitiesenhancementNew feature or requestNew feature or requestStatus: Open.#362 In Echtzeitsysteme/gips;Gurobi/JDK:
A restricted method in java.lang.System has been calledbugSomething isn't workingSomething isn't workingStatus: Open.#358 In Echtzeitsysteme/gips;Sorting Matches and Constraints: remaining non-determinism
bugSomething isn't workingSomething isn't workingStatus: Open.#319 In Echtzeitsysteme/gips;Introduce a common logger mechanism
enhancementNew feature or requestNew feature or requestStatus: Open.#296 In Echtzeitsysteme/gips;Bug:
=>or<=>in a global constraint generates non-compilable codebugSomething isn't workingSomething isn't workingStatus: Open.#256 In Echtzeitsysteme/gips;Bug: Multiple accesses with
mappings.and/orpatterns.generate non-compilable codebugSomething isn't workingSomething isn't workingStatus: Open.#235 In Echtzeitsysteme/gips;Bug: Validator:
mappings.a->sum(element.value)(variable access) should be forbidden within the (global) objectivebugSomething isn't workingSomething isn't workingStatus: Open.#224 In Echtzeitsysteme/gips;- Status: Open.#223 In Echtzeitsysteme/gips;
Bug:
patterns.xyaccess within the objective generates non-compilable codebugSomething isn't workingSomething isn't workingStatus: Open.#222 In Echtzeitsysteme/gips;