issues
search
Echtzeitsysteme
/
gips
Graph-Based (M)ILP Problem Specification Tool
https://gips.dev
GNU General Public License v3.0
3
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bug: Missing `PatternSumExpr` in branching in the `ObjectiveTemplate`
#126
maxkratz
closed
11 months ago
0
Include configs to build GIPSL and the intermediate model with one launch + bugfixes for newer intermediate model
#125
maxkratz
closed
1 year ago
0
GIPS v2: Todos & Ideas
#124
maxkratz
opened
1 year ago
0
Updates Gurobi from 10.0.2 to 10.0.3
#123
maxkratz
closed
1 year ago
0
Update Gurobi to v10.0.3 (+)
#122
maxkratz
closed
1 year ago
0
Dependency clean up
#121
maxkratz
closed
1 year ago
0
Updates Gurobi from 10.0.1 to 10.0.2
#120
maxkratz
closed
1 year ago
0
Update Gurobi to v10.0.2
#119
maxkratz
closed
1 year ago
0
[BUG] Automatic update after Rule application destroys valid mappings
#118
arg0n1s
opened
1 year ago
0
Idea: Add some kind of "invariant" (or whatever it should be called) as a shortcut for placing a constraint on `self.value()`
#117
maxkratz
opened
1 year ago
0
Idea: Explicit explanation of implicit boolean variable(s) associated with mappings
#116
maxkratz
opened
1 year ago
0
Idea: Change the wording `mapping` to something other to avoid confusion with GT mappings
#115
maxkratz
opened
1 year ago
0
`->sum(t | t.inta / t.intb)` generates non-compilable code
#114
maxkratz
opened
1 year ago
0
PSF: Change git URL from SSH to HTTPS
#113
maxkratz
closed
1 year ago
1
Updates CPLEX from 22.1.0 to 22.1.1
#112
maxkratz
closed
1 year ago
0
Bug: ILP/CPLEX: Non-deterministic test failure
#111
maxkratz
opened
1 year ago
0
Updates Gurobi from 10.0.0 to 10.0.1
#110
maxkratz
closed
1 year ago
0
Hotfix: Prevent NPE in some edge cases of the `TypeIndexer`
#109
maxkratz
closed
1 year ago
0
Include new algebraic transformations (to fix various bugs)
#108
maxkratz
closed
1 year ago
0
Updates dev PSF + README
#107
maxkratz
closed
1 year ago
0
Hotfix: Adds missing ILP solver resets + constraint data structure resets
#106
maxkratz
closed
1 year ago
0
Re-enables the validator and allows `self.value()` in mapping contexts
#105
maxkratz
closed
1 year ago
0
Updates logicng from 2.2.0 to 2.4.1
#104
maxkratz
closed
1 year ago
0
Feature/boolean equivalence
#103
maxkratz
closed
1 year ago
0
Validator: Re-enable the validation after integrating necessary bugfixes
#102
maxkratz
closed
1 year ago
0
Validator: No detection of two type issues in `[...]`
#101
maxkratz
opened
1 year ago
1
Validation log never gets an update after the first API run
#100
maxkratz
closed
6 months ago
1
Hotfix/supertypes
#99
maxkratz
closed
1 year ago
0
Remove "dirty beta/temporary bugfix#1"
#98
maxkratz
opened
1 year ago
0
Integrate dirty beta/temporary bugfix#1
#97
maxkratz
closed
1 year ago
0
Re-add parallel streams in GIPS core after integrating the new shiny GT language
#96
maxkratz
opened
1 year ago
0
Removes all parallel streams from GIPS core (eMoflon API)
#95
maxkratz
closed
1 year ago
0
fixed missing objects of subtypes
#94
maxkratz
closed
1 year ago
0
Validator: Mismatch variable type + parameter type
#93
maxkratz
opened
1 year ago
0
Variables: Bound variable not in constraint produces an exception while running
#92
maxkratz
opened
1 year ago
0
Objective: `$varExpr / 1000` generates doubled frac in generated code
#91
maxkratz
closed
1 year ago
3
Serial `filter(...)` expr: In some cases this breaks semantics
#90
maxkratz
opened
1 year ago
0
Various changes to forbid expr with: `1/$variableTerm`
#89
maxkratz
opened
1 year ago
0
Objective with type `(a+b) / 2` isn't generated
#88
maxkratz
closed
1 year ago
0
Refactoring: Move solver-specific transformations to the solver implementations
#87
maxkratz
opened
1 year ago
0
Validator: Change return type of mapping access checks from `boolean` to a new enum type
#86
maxkratz
opened
1 year ago
0
Validator: Remove warning for constant objectives
#85
maxkratz
opened
1 year ago
0
Validator: Forbid usage of the key word `var` (among others) in, e.g., `filter` expressions
#84
maxkratz
opened
1 year ago
0
GIPSL config: Make ILP solver license file path optional
#83
maxkratz
opened
1 year ago
0
Launch file configuration for CPLEX is broken
#82
maxkratz
opened
1 year ago
0
Fix context matching `class::xy` for sub-classes (inherited)
#81
maxkratz
closed
1 year ago
2
Convenient GT extensions + smaller ILP solver bugfixes
#80
maxkratz
closed
1 year ago
1
Feature/variables
#79
maxkratz
closed
1 year ago
0
Bugfix/variable names too long
#78
maxkratz
closed
1 year ago
1
Adds possibility for ILP solver (config) injection in engine + API
#77
maxkratz
closed
1 year ago
0
Previous
Next