Skip to content

Issues: kieler/semantics

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.

Sign up for GitHub

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

42 Open 14 Closed
42 Open 14 Closed
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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

@diagram annotation case-sensitivity is not consistent with e.g. @layout annotations
#129 opened Nov 21, 2024 by NiklasRentzCAU
input signals aren't automatically reset
#118 opened Aug 19, 2024 by YorikHansen
Student feedback: Proper Javadoc in HTML support enhancement New feature or request
#103 opened Jan 30, 2024 by soerendomroes
Student feedback: The simulation of history transitions does not work
#102 opened Jan 30, 2024 by soerendomroes
Student feedback: Error markers
#101 opened Jan 30, 2024 by soerendomroes
Student feedback: SCCharts Syntax not properly documented documentation Improvements or additions to documentation
#100 opened Jan 30, 2024 by soerendomroes
Student feedback: Nearly everything got a warning label
#99 opened Jan 30, 2024 by soerendomroes
Student feedback: KIELER was working and crashed after some weeks
#98 opened Jan 30, 2024 by soerendomroes
Simulation Exceptions
#86 opened Apr 17, 2023 by Drakae
Combine automatically generated boolean variables
#78 opened Jan 14, 2023 by n1kPLV
1
Permit boolean variables and expressions in SCEst statements enhancement New feature or request
#77 opened Dec 16, 2022 by a-sr
Verification throws a generic exception for already closed connections when nuXmv is not on PATH enhancement New feature or request
#75 opened Nov 14, 2022 by NiklasRentzCAU
[KISEMA-1329] For SCChart simulation with induced data flow, show state of registers enhancement New feature or request jira Legacy issues migrated from old KISEMA Jira
#48 opened May 11, 2022 by fabianheyer
@fabianheyer
[KISEMA-1245] Colors and fonts used in syntheses should be configurable in the preferences enhancement New feature or request jira Legacy issues migrated from old KISEMA Jira
#47 opened May 11, 2022 by fabianheyer
@fabianheyer
[KISEMA-1324] Simulation should also consider _TERM signal enhancement New feature or request jira Legacy issues migrated from old KISEMA Jira
#46 opened May 11, 2022 by fabianheyer
[KISEMA-1374] Introduce "currentState" output for debugging enhancement New feature or request jira Legacy issues migrated from old KISEMA Jira
#45 opened May 11, 2022 by fabianheyer
[KISEMA-1490] Add a template for debounced buttons enhancement New feature or request jira Legacy issues migrated from old KISEMA Jira
#44 opened May 11, 2022 by fabianheyer
[KISEMA-1534] Prio Java Code Generation produces wrong Behavior bug Something isn't working jira Legacy issues migrated from old KISEMA Jira
#43 opened May 11, 2022 by fabianheyer
2
[KISEMA-1576] Pre: Use SDs to avoid reg vars in transformation enhancement New feature or request jira Legacy issues migrated from old KISEMA Jira
#42 opened May 11, 2022 by fabianheyer
[KISEMA-1591] Pre in Count Delay Transformation is superfluos enhancement New feature or request jira Legacy issues migrated from old KISEMA Jira
#40 opened May 11, 2022 by fabianheyer
[KISEMA-1593] Automatic Reset for Input Signals in Simulation View enhancement New feature or request jira Legacy issues migrated from old KISEMA Jira
#39 opened May 11, 2022 by fabianheyer
[KISEMA-1594] Add "Undo Step" in Simulation enhancement New feature or request jira Legacy issues migrated from old KISEMA Jira
#38 opened May 11, 2022 by fabianheyer
@fabianheyer
[KISEMA-1075] Count delay not possible in during action enhancement New feature or request jira Legacy issues migrated from old KISEMA Jira
#36 opened Apr 19, 2022 by fabianheyer
[KISEMA-1597] Promela export of arrays fails to declare array vars properly bug Something isn't working enhancement New feature or request jira Legacy issues migrated from old KISEMA Jira
#35 opened Apr 19, 2022 by fabianheyer
[KISEMA-1609] Commutative Operators in Dataflow should have free port constraints enhancement New feature or request jira Legacy issues migrated from old KISEMA Jira
#34 opened Apr 19, 2022 by fabianheyer
2
ProTip! Exclude everything labeled bug with -label:bug.