-
Notifications
You must be signed in to change notification settings - Fork 21
Issues: IETS3/iets3.opensource
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
Java Generator for Tests assert-that does not work yet
kernelf
Everything related to KernelF
missing generator
#183
opened Feb 20, 2019 by
lhartl
If the tracer shows another TraceRoot in the tree, allow tracing from there.
#57
opened Jul 29, 2017 by
markusvoelter
BlockExpression: Certain Expressions should lead to a new line
#73
opened Oct 5, 2017 by
markusvoelter
Create reverseValue mappings for all expressions from core.expr.base
feature
#114
opened Feb 1, 2018 by
arimer
KernelF library imports explicitly transitive
kernelf
Everything related to KernelF
#172
opened Feb 14, 2019 by
lhartl
Synchronize utils generator and interpreter tests
kernelf
Everything related to KernelF
missing generator
#176
opened Feb 19, 2019 by
lhartl
Fix Structural Coverage
bug
kernelf
Everything related to KernelF
#177
opened Feb 20, 2019 by
lhartl
Refactor implementation of Contracts java generator
kernelf
Everything related to KernelF
missing generator
#178
opened Feb 20, 2019 by
lhartl
Java Generator for function Composition
kernelf
Everything related to KernelF
missing generator
#179
opened Feb 20, 2019 by
lhartl
Java Generator for Errors
kernelf
Everything related to KernelF
missing generator
#180
opened Feb 20, 2019 by
lhartl
Refactor Java Generator for options
kernelf
Everything related to KernelF
missing generator
#181
opened Feb 20, 2019 by
lhartl
Inconsistency of Interpreter and Java generator for records with none
bug
kernelf
Everything related to KernelF
missing generator
#182
opened Feb 20, 2019 by
lhartl
Java Generator for Tuple assignment is missing
kernelf
Everything related to KernelF
missing generator
#184
opened Feb 20, 2019 by
lhartl
Interpolation should allow inserting Expression-Words without pre- and appended spaces.
#197
opened Mar 8, 2019 by
bj2015
Java Generator for InlineMessages is missing
kernelf
Everything related to KernelF
missing generator
#200
opened Mar 15, 2019 by
lhartl
NotEqualsExpression should handle the type of lists as EqualsExpression does.
bug
#238
opened Jul 15, 2019 by
kbirken
Type checks for equals/not-equals on lists should work also for other kinds of collections.
bug
#239
opened Jul 15, 2019 by
kbirken
generator for SizeOp assumes to be used with SimpleTypes
missing generator
#305
opened Dec 4, 2019 by
fvollmer
EnumLiterals typesystem does not recalculate types
kernelf
Everything related to KernelF
#314
opened Dec 17, 2019 by
lhartl
make Concept Coverage aware of Types
kernelf
Everything related to KernelF
#410
opened Nov 2, 2020 by
lhartl
AlgebraicLanguage#eval: Invalid casts between algebraic types and primitive types
#1076
opened Oct 1, 2024 by
alexanderpann
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.