-
Notifications
You must be signed in to change notification settings - Fork 1
Issues: Echtzeitsysteme/gips
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Inconsistent build behavior on some tests (Something isn't working
gips.multilayeredinheritence
)
bug
#146
opened Apr 29, 2024 by
maxkratz
Comparison with Boolean literals is currently not supported
bug
Something isn't working
#133
opened Jan 19, 2024 by
maxkratz
Boolean variables in mappings lead to non-compilable code
bug
Something isn't working
#132
opened Jan 19, 2024 by
maxkratz
Serial Something isn't working
filter(...)
expression: Missing filter operations in generated code
bug
#128
opened Nov 15, 2023 by
maxkratz
2 tasks
[BUG] Automatic update after Rule application destroys valid mappings
bug
Something isn't working
#118
opened Jul 12, 2023 by
arg0n1s
->sum(t | t.inta / t.intb)
generates non-compilable code
bug
#114
opened Apr 5, 2023 by
maxkratz
Bug: ILP/CPLEX: Non-deterministic test failure
bug
Something isn't working
#111
opened Feb 14, 2023 by
maxkratz
Validator: No detection of two type issues in Something isn't working
validator
Issue includes validator bugs
[...]
bug
#101
opened Dec 21, 2022 by
maxkratz
Remove "dirty beta/temporary bugfix#1"
bug
Something isn't working
#98
opened Dec 16, 2022 by
maxkratz
Validator: Mismatch variable type + parameter type
bug
Something isn't working
still broken
Issue/Bug is not resolved when adding this label
validator
Issue includes validator bugs
#93
opened Dec 16, 2022 by
maxkratz
Variables: Bound variable not in constraint produces an exception while running
bug
Something isn't working
can not reproduce
A bug I can't reproduce for now
#92
opened Dec 15, 2022 by
maxkratz
Serial Something isn't working
still broken
Issue/Bug is not resolved when adding this label
filter(...)
expr: In some cases this breaks semantics
bug
#90
opened Dec 15, 2022 by
maxkratz
Various changes to forbid expr with: Something isn't working
validator
Issue includes validator bugs
1/$variableTerm
bug
#89
opened Dec 15, 2022 by
maxkratz
3 tasks
Validator: Change return type of mapping access checks from Something isn't working
enhancement
New feature or request
validator
Issue includes validator bugs
boolean
to a new enum type
bug
#86
opened Dec 15, 2022 by
maxkratz
Validator: Remove warning for constant objectives
bug
Something isn't working
validator
Issue includes validator bugs
#85
opened Dec 15, 2022 by
maxkratz
Validator: Forbid usage of the key word Something isn't working
validator
Issue includes validator bugs
var
(among others) in, e.g., filter
expressions
bug
#84
opened Dec 15, 2022 by
maxkratz
Launch file configuration for CPLEX is broken
bug
Something isn't working
still broken
Issue/Bug is not resolved when adding this label
#82
opened Dec 15, 2022 by
maxkratz
[<boolExpr>] == [<boolExpr>]
-> mismatched input
bug
#75
opened Nov 24, 2022 by
maxkratz
GIPSL files without at least one GT pattern/rule throw exceptions when executing
bug
Something isn't working
still broken
Issue/Bug is not resolved when adding this label
#73
opened Nov 23, 2022 by
maxkratz
Newly created projects do not show correct package structure when created outside of the workspace
bug
Something isn't working
#72
opened Nov 23, 2022 by
maxkratz
Validator: Something isn't working
validator
Issue includes validator bugs
1 == self.nodes()... * 0
throws an exception
bug
#60
opened Sep 8, 2022 by
maxkratz
Validator: At least use Something isn't working
validator
Issue includes validator bugs
self
once per sub-constraint
bug
#59
opened Sep 8, 2022 by
maxkratz
Validator: Forbid the use of Something isn't working
validator
Issue includes validator bugs
self.value()
and m.value()
in filter expressions
bug
#45
opened Sep 2, 2022 by
maxkratz
Validator: Check if a stream expression terminal produces a boolean, double or collection
bug
Something isn't working
validator
Issue includes validator bugs
#44
opened Sep 2, 2022 by
maxkratz
Validator: Something isn't working
validator
Issue includes validator bugs
mapping.value()
must be forbidden if it is used in a filter expression AND a sum expression at the same time
bug
#42
opened Sep 2, 2022 by
maxkratz
Previous Next
ProTip!
no:milestone will show everything without a milestone.