Skip to content

Issues: tokiwa-software/fuzion

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

314 Open 1,215 Closed
314 Open 1,215 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

Failure to infer type from different branches in ternary ? : results in postcondition failure bug Something isn't working front end related to the front end until .fum file is created: call and type resolution, type checking, etc.
#4988 opened Mar 28, 2025 by fridis
Update dependencies in README documentation related to user documentation, man pages, help output, etc.
#4985 opened Mar 27, 2025 by simonvonhackewitz
DFA should fail if pre/post condition fails and no custom fault effects are instated dfa/monomorphization related to the creation of Fuzion IR from Fuzion modules
#4965 opened Mar 22, 2025 by michaellilltokiwa
Pre- and Postcondition failures when compiling small example using effect and type parameter bug Something isn't working front end related to the front end until .fum file is created: call and type resolution, type checking, etc.
#4962 opened Mar 21, 2025 by fridis
1
Confusing error produced by [0,1,2].map 42 enhancement New feature or request front end related to the front end until .fum file is created: call and type resolution, type checking, etc.
#4938 opened Mar 17, 2025 by fridis
1
native_string and native_array features could do runtime checks of whether the read stays within the bounds of memory of the application enhancement New feature or request
#4933 opened Mar 13, 2025 by michaellilltokiwa
be/int: support upcalls enhancement New feature or request interpreter backend related to the Java Interpreter Backend
#4927 opened Mar 13, 2025 by michaellilltokiwa
add StringBuilder like effect base library related to the Fuzion base library enhancement New feature or request
#4920 opened Mar 12, 2025 by maxteufel
@maxteufel
2
java.lang.Error: check-condition failed: FeatureAndOuter.java:194 bug Something isn't working front end related to the front end until .fum file is created: call and type resolution, type checking, etc.
#4912 opened Mar 11, 2025 by simonvonhackewitz
naming: bind2 should be renamed base library related to the Fuzion base library cleanup improve code quality
#4909 opened Mar 11, 2025 by michaellilltokiwa
1
add clang to dev container bug Something isn't working build infrastructure related to the build infrastructure, Makefile, etc.
#4885 opened Mar 6, 2025 by michaellilltokiwa
@simonvonhackewitz
DFA does not fail to verify that effect is instated bug Something isn't working dfa/monomorphization related to the creation of Fuzion IR from Fuzion modules
#4880 opened Mar 5, 2025 by michaellilltokiwa
can not define extension feature on universe bug Something isn't working front end related to the front end until .fum file is created: call and type resolution, type checking, etc.
#4836 opened Feb 21, 2025 by michaellilltokiwa
@simonvonhackewitz
workaround in random.type.time_seeded base library related to the Fuzion base library cleanup improve code quality
#4828 opened Feb 19, 2025 by michaellilltokiwa
Sequence.scan and Sequence.reduce argument order inconsistency base library related to the Fuzion base library enhancement New feature or request
#4789 opened Feb 13, 2025 by fridis
@simonvonhackewitz
1
isChoiceAssignableFrom is probably unsound bug Something isn't working front end related to the front end until .fum file is created: call and type resolution, type checking, etc.
#4756 opened Feb 10, 2025 by michaellilltokiwa
1
Syntax sugar for T.zero? enhancement New feature or request front end related to the front end until .fum file is created: call and type resolution, type checking, etc. Fuzion language related to the language, syntax, etc
#4754 opened Feb 7, 2025 by fridis
1
@simonvonhackewitz
1
Documentation improvement discussion documentation related to user documentation, man pages, help output, etc.
#4729 opened Feb 5, 2025 by simonvonhackewitz
2
tests, base64url and base64 take very long interpreter backend related to the Java Interpreter Backend
#4695 opened Jan 29, 2025 by michaellilltokiwa
arg types in contracts that contain this types do not work bug Something isn't working front end related to the front end until .fum file is created: call and type resolution, type checking, etc.
#4676 opened Jan 24, 2025 by michaellilltokiwa
1
fully qualified choice and unit types are annoying Fuzion language related to the language, syntax, etc
#4657 opened Jan 22, 2025 by fridis
ambiguous name leads to unexpected error enhancement New feature or request front end related to the front end until .fum file is created: call and type resolution, type checking, etc.
#4654 opened Jan 22, 2025 by simonvonhackewitz
1
fzweb: DFA gets stuck bug Something isn't working dfa/monomorphization related to the creation of Fuzion IR from Fuzion modules performance issue Performance of an operation (time, memory demand, etc.) is not satisfactory
#4634 opened Jan 20, 2025 by maxteufel
@fridis
type inference should be improved to produce a better error enhancement New feature or request front end related to the front end until .fum file is created: call and type resolution, type checking, etc.
#4626 opened Jan 17, 2025 by michaellilltokiwa
1
Constructor whose outer feature is ref may result in confusing error bug Something isn't working middle end related to the Middle End that creates Fuzion Application from Fuzion Modules
#4619 opened Jan 16, 2025 by fridis
1
ProTip! Add no:assignee to see everything that’s not assigned.