issues
search
danielbinder
/
LogiVis
A teaching aid for concepts and algorithms in logic
MIT License
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Rebuilt frontend for release 1.8.0
#58
csteidl
closed
4 months ago
0
Implement different sat solvers
#57
csteidl
closed
4 months ago
0
Implement different sat solvers
#56
csteidl
closed
4 months ago
0
Update path to logo in README
#55
danielbinder
closed
4 months ago
1
Fix jitpack build
#54
danielbinder
closed
4 months ago
1
Add boolean algebra toCNF functionality with button
#53
danielbinder
opened
7 months ago
0
Fix jitpack build
#52
csteidl
closed
7 months ago
0
Modified index for executable permissions on linux
#51
csteidl
closed
7 months ago
0
1.7.0 29 replace sparkjava dependency with spring boot
#50
danielbinder
closed
7 months ago
2
Fix model tracer for multiple start states
#49
danielbinder
opened
7 months ago
0
Check if port is blocked
#48
danielbinder
closed
7 months ago
1
Added AlgorithmTester.getStronglyConnectedComponents()
#47
danielbinder
closed
8 months ago
0
Detect visualisation folder when frontend extraction is called
#46
danielbinder
closed
7 months ago
1
Git update index gradlew for permissions on linux
#45
danielbinder
closed
7 months ago
0
Added simulation algorithm for Finite Automata
#44
csteidl
closed
8 months ago
0
Set output type of graph to svg
#43
danielbinder
opened
8 months ago
1
1.6.2 14 add option to encode model with all steps up to including n
#42
danielbinder
closed
8 months ago
0
1.6.1.2 33 create lexer safe point
#41
danielbinder
closed
8 months ago
0
1.6.1.1 36 fix finiteautomatongenerator
#40
danielbinder
closed
8 months ago
0
1.6.1 32 add isreachable to algorithms
#39
danielbinder
closed
8 months ago
0
1.6.0 Refactoring and restructuring
#38
danielbinder
closed
8 months ago
0
Fix jitpack build and add 'Use LogiVis as library' guide to readme
#37
danielbinder
closed
7 months ago
0
Fix FiniteAutomatonGenerator
#36
danielbinder
closed
8 months ago
0
25 toproductautomaton or topowerautomaton not working correctly
#35
danielbinder
closed
8 months ago
0
Create feature stepping through solution
#34
danielbinder
opened
8 months ago
0
Create Lexer safe point
#33
danielbinder
closed
8 months ago
0
Add isReachable to algorithms
#32
danielbinder
closed
8 months ago
0
30 fix the boolean grammar
#31
danielbinder
closed
8 months ago
0
Fix the boolean grammar
#30
danielbinder
closed
8 months ago
0
Replace sparkJava dependency with Spring boot
#29
danielbinder
closed
7 months ago
1
Add a status message after a report was created
#28
danielbinder
closed
8 months ago
1
Write hash comparison for report files
#27
danielbinder
opened
9 months ago
0
Added CTL Formula Generator
#26
csteidl
closed
9 months ago
0
toProductAutomaton or toPowerAutomaton not working correctly
#25
danielbinder
closed
8 months ago
1
Process Algebra
#24
csteidl
closed
10 months ago
0
[1.5.6.1] 22 gradle bug outdated frontend used in the shadowjar
#23
danielbinder
closed
10 months ago
0
Gradle bug: outdated frontend used in the shadowJar
#22
danielbinder
closed
10 months ago
0
[1.5.6] Algorithm implementation improvements
#21
danielbinder
closed
10 months ago
0
[1.5.5] 19 create possibility to run tests on implemented algorithms
#20
danielbinder
closed
10 months ago
0
Create possibility to run tests on implemented algorithms
#19
danielbinder
closed
9 months ago
2
Refactor index.tsx -> index.jsx
#18
danielbinder
opened
11 months ago
0
Create tutorial recording and playback feature
#17
danielbinder
opened
11 months ago
0
Persist newlines across server
#16
danielbinder
closed
7 months ago
1
Rewrite Simplify
#15
danielbinder
opened
11 months ago
0
Add option to encode model with all steps up to (including) n
#14
danielbinder
closed
8 months ago
0
Top right buttons on model description and graph are not scaling the correct amount
#13
danielbinder
opened
11 months ago
0
1.5.4 Created light/dark mode button for graph
#12
danielbinder
closed
10 months ago
1
Create light/dark mode button for graph
#11
danielbinder
closed
10 months ago
0
Bugfix: Added errors to SampleImplementation since the behavior was unclear i…
#10
danielbinder
closed
10 months ago
0
1.5.3 Created video tutorials and linked to them in the frontend
#9
danielbinder
closed
10 months ago
0
Next