Skip to content

Pull requests: kieler/semantics

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Nre/df fixes
#130 opened Dec 2, 2024 by NiklasRentzCAU Loading…
Remove hotfix for eclipse/elk#841 that is now included since ELK release 0.9.0 bug Something isn't working
#128 opened Nov 21, 2024 by NiklasRentzCAU Loading…
add fuzziness to edge labels enhancement New feature or request
#126 opened Nov 8, 2024 by Eddykasp Draft
Updated setup for keith and elk streams.
#112 opened Apr 26, 2024 by soerendomroes Draft
2 tasks
Add structure based editing for SCCharts
#107 opened Mar 12, 2024 by soerendomroes Draft
1 task
Dark theme support for diagrams
#96 opened Oct 23, 2023 by a-sr Draft
Added TODO to remember it.
#58 opened Jul 25, 2022 by soerendomroes Draft
ProTip! Type g i on any issue or pull request to go back to the issue listing page.