danielbinder / LogiVis

A teaching aid for concepts and algorithms in logic

danielbinder/LogiVis Issues

Fix jitpack build
Closed 4 months ago1
Update path to logo in README
Closed 4 months ago1
Add boolean algebra toCNF functionality with button
Updated 7 months ago
Fix jitpack build and add 'Use LogiVis as library' guide to readme
Closed 7 months ago
Git update index gradlew for permissions on linux
Closed 7 months ago
Fix model tracer for multiple start states
Updated 7 months ago
Replace sparkJava dependency with Spring boot
Closed 7 months ago1
Set output type of graph to svg
Updated 7 months ago1
Persist newlines across server
Closed 7 months ago1
Check if port is blocked
Closed 7 months ago1
Detect visualisation folder when frontend extraction is called
Closed 7 months ago1
Create feature stepping through solution
Updated 8 months ago
Top right buttons on model description and graph are not scaling the correct amount
Updated 8 months ago
Add option to encode model with all steps up to (including) n
Closed 8 months ago
Create Lexer safe point
Closed 8 months ago
Fix FiniteAutomatonGenerator
Closed 8 months ago
Add isReachable to algorithms
Closed 8 months ago
Add a status message after a report was created
Closed 8 months ago1
toProductAutomaton or toPowerAutomaton not working correctly
Closed 9 months ago1
Create tutorial recording and playback feature
Updated 9 months ago
Refactor index.tsx -> index.jsx
Updated 9 months ago
Write hash comparison for report files
Updated 9 months ago
Fix the boolean grammar
Closed 9 months ago
Create possibility to run tests on implemented algorithms
Closed 9 months ago2
Gradle bug: outdated frontend used in the shadowJar
Closed 10 months ago
Process Algebra
Closed 10 months ago
Create light/dark mode button for graph
Closed 10 months ago
Create video tutorials and link to them in the frontend
Closed 10 months ago
Rewrite Simplify
Updated a year ago