Skip to content

Issues: danielbinder/LogiVis

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

Clear current search query, filters, and sorts
9 Open 20 Closed
9 Open 20 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

Create video tutorials and link to them in the frontend documentation Improvements or additions to documentation enhancement New feature or request
#8 by danielbinder was closed Nov 29, 2023
1
@danielbinder
Create light/dark mode button for graph enhancement New feature or request
#11 by danielbinder was closed Nov 29, 2023
1
@danielbinder
Add option to encode model with all steps up to (including) n enhancement New feature or request good first issue Good for newcomers Java Understanding Java is required React Understanding React is required
#14 by danielbinder was closed Jan 30, 2024
1
@danielbinder
Persist newlines across server enhancement New feature or request invalid This doesn't seem right Java Understanding Java is required
#16 by danielbinder was closed Mar 8, 2024
1
Create possibility to run tests on implemented algorithms enhancement New feature or request Java Understanding Java is required React Understanding React is required
#19 by danielbinder was closed Dec 28, 2023
1
@danielbinder
2
Gradle bug: outdated frontend used in the shadowJar bug Something isn't working
#22 by danielbinder was closed Dec 14, 2023
1
@danielbinder
Process Algebra invalid This doesn't seem right
#24 by csteidl was closed Dec 14, 2023
toProductAutomaton or toPowerAutomaton not working correctly bug Something isn't working help wanted Extra attention is needed Java Understanding Java is required
#25 by danielbinder was closed Jan 19, 2024
1
@danielbinder
1
Add a status message after a report was created enhancement New feature or request Java Understanding Java is required
#28 by danielbinder was closed Jan 30, 2024
@csteidl
1
Replace sparkJava dependency with Spring boot help wanted Extra attention is needed Java Understanding Java is required Refactoring Some refactoring needs to be done
#29 by danielbinder was closed Mar 14, 2024
1
@csteidl @danielbinder
1
Fix the boolean grammar bug Something isn't working Java Understanding Java is required
#30 by danielbinder was closed Jan 18, 2024
1
@danielbinder
Add isReachable to algorithms enhancement New feature or request Java Understanding Java is required React Understanding React is required
#32 by danielbinder was closed Jan 30, 2024
1
@danielbinder
Create Lexer safe point bug Something isn't working enhancement New feature or request Java Understanding Java is required
#33 by danielbinder was closed Jan 30, 2024
1
@danielbinder
Fix FiniteAutomatonGenerator bug Something isn't working Java Understanding Java is required
#36 by danielbinder was closed Jan 30, 2024
1
@danielbinder
Fix jitpack build and add 'Use LogiVis as library' guide to readme documentation Improvements or additions to documentation enhancement New feature or request
#37 by danielbinder was closed Mar 14, 2024
1
@csteidl @danielbinder
Git update index gradlew for permissions on linux bug Something isn't working
#45 by danielbinder was closed Mar 14, 2024
1
@csteidl @danielbinder
Detect visualisation folder when frontend extraction is called bug Something isn't working invalid This doesn't seem right Java Understanding Java is required
#46 by danielbinder was closed Mar 4, 2024
@csteidl
1
Check if port is blocked bug Something isn't working Java Understanding Java is required
#48 by danielbinder was closed Mar 8, 2024
@danielbinder
1
Fix jitpack build bug Something isn't working documentation Improvements or additions to documentation enhancement New feature or request Java Understanding Java is required
#54 by danielbinder was closed Jun 8, 2024
@danielbinder
1
Update path to logo in README bug Something isn't working
#55 by danielbinder was closed Jun 8, 2024
@csteidl
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.