Echtzeitsysteme/gips

Issues

• Update LogicNG + LogicNG parser to v2.6.0

  #161 opened 4 days ago by maxkratz
  0

• Update LogicNG + LogicNG parser to v2.5.1

  #158 opened a month ago by maxkratz
  0

• Update Gurobi to v11.0.3

  #156 opened 2 months ago by maxkratz
  0

• Ant build script/config is broken in newer Eclipse versions (at least on Linux)

  #154 opened 2 months ago by maxkratz
  1

• Path of the intermediate model is hard-coded in `src-gen`

  #129 opened 2 months ago by maxkratz
  0

• Update LogicNG to v2.5.0

  #147 opened 4 months ago by maxkratz
  1

• Update Gurobi to v11.0.2

  #148 opened 4 months ago by maxkratz
  0

• Inconsistent build behavior on some tests (`gips.multilayeredinheritence`)

  #146 opened 5 months ago by maxkratz
  1

• Validation log never gets an update after the first API run

  #100 opened 5 months ago by maxkratz
  1

• `GipsAPI.terminate()` does not terminate the eMoflon::IBeX-GT engine (esp. the pattern matcher)

  #141 opened 5 months ago by maxkratz
  0

• Update Gurobi to v11.0.1

  #138 opened 6 months ago by maxkratz
  0

• Update Gurobi to v11.0.0

  #131 opened 6 months ago by maxkratz
  0

• Validator shows non-existing package name duplicates (if package name == project name)

  #136 opened 6 months ago by maxkratz
  1

• Feature request: possibility to specify constraints on multiple mappings/... at once

  #134 opened 8 months ago by maxkratz
  0

• Comparison with Boolean literals is currently not supported

  #133 opened 8 months ago by maxkratz
  0

• Boolean variables in mappings lead to non-compilable code

  #132 opened 8 months ago by maxkratz
  0

• Serial `filter(...)` expression: Missing filter operations in generated code

  #128 opened 10 months ago by maxkratz
  0

• Bug: Missing `PatternSumExpr` in branching in the `ObjectiveTemplate`

  #126 opened 10 months ago by maxkratz
  0

• GIPS v2: Todos & Ideas

  #124 opened a year ago by maxkratz
  0

• Update Gurobi to v10.0.3 (+)

  #122 opened a year ago by maxkratz
  0

• Update Gurobi to v10.0.2

  #119 opened a year ago by maxkratz
  0

• [BUG] Automatic update after Rule application destroys valid mappings

  #118 opened a year ago by arg0n1s
  0

• Idea: Add some kind of "invariant" (or whatever it should be called) as a shortcut for placing a constraint on `self.value()`

  #117 opened a year ago by maxkratz
  0

• Idea: Explicit explanation of implicit boolean variable(s) associated with mappings

  #116 opened a year ago by maxkratz
  0

• Idea: Change the wording `mapping` to something other to avoid confusion with GT mappings

  #115 opened a year ago by maxkratz
  0

• `->sum(t | t.inta / t.intb)` generates non-compilable code

  #114 opened a year ago by maxkratz
  0

• PSF: Change git URL from SSH to HTTPS

  #113 opened a year ago by maxkratz
  1

• Bug: ILP/CPLEX: Non-deterministic test failure

  #111 opened 2 years ago by maxkratz
  0

• Objective with type `(a+b) / 2` isn't generated

  #88 opened 2 years ago by maxkratz
  0

• Objective: `$varExpr / 1000` generates doubled frac in generated code

  #91 opened 2 years ago by maxkratz
  3

• Validator: Re-enable the validation after integrating necessary bugfixes

  #102 opened 2 years ago by maxkratz
  0

• Validator: No detection of two type issues in `[...]`

  #101 opened 2 years ago by maxkratz
  1

• Remove "dirty beta/temporary bugfix#1"

  #98 opened 2 years ago by maxkratz
  0

• Re-add parallel streams in GIPS core after integrating the new shiny GT language

  #96 opened 2 years ago by maxkratz
  0

• GIPSL constraints on supertypes do not generate ILP constraints on subtypes

  #71 opened 2 years ago by maxkratz
  1

• Validator: Mismatch variable type + parameter type

  #93 opened 2 years ago by maxkratz
  0

• Fix context matching `class::xy` for sub-classes (inherited)

  #81 opened 2 years ago by maxkratz
  2

• Variables: Bound variable not in constraint produces an exception while running

  #92 opened 2 years ago by maxkratz
  0

• Serial `filter(...)` expr: In some cases this breaks semantics

  #90 opened 2 years ago by maxkratz
  0

• Various changes to forbid expr with: `1/$variableTerm`

  #89 opened 2 years ago by maxkratz
  0

• Refactoring: Move solver-specific transformations to the solver implementations

  #87 opened 2 years ago by maxkratz
  0

• Validator: Change return type of mapping access checks from `boolean` to a new enum type

  #86 opened 2 years ago by maxkratz
  0

• Validator: Remove warning for constant objectives

  #85 opened 2 years ago by maxkratz
  0

• Validator: Forbid usage of the key word `var` (among others) in, e.g., `filter` expressions

  #84 opened 2 years ago by maxkratz
  0

• GIPSL config: Make ILP solver license file path optional

  #83 opened 2 years ago by maxkratz
  0

• Launch file configuration for CPLEX is broken

  #82 opened 2 years ago by maxkratz
  0

• `[<boolExpr>] == [<boolExpr>]` -> mismatched input

  #75 opened 2 years ago by maxkratz
  1

• Newly created projects do not show correct package structure when created outside of the workspace

  #72 opened 2 years ago by maxkratz
  0

• GIPSL files without at least one GT pattern/rule throw exceptions when executing

  #73 opened 2 years ago by maxkratz
  1

• Update Gurobi to v10.0.0

  #68 opened 2 years ago by maxkratz
  0