issues
search
glaserL
/
viasp
A visualization tool for clingo
MIT License
3
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Backend cleanup and more tests
#30
glaserL
closed
2 years ago
0
Remove temporary names
#29
glaserL
closed
2 years ago
0
Write documentation and a good README
#28
glaserL
closed
2 years ago
0
Model search
#27
glaserL
closed
2 years ago
1
Rule filter
#26
glaserL
closed
2 years ago
0
Restore facts node
#25
glaserL
closed
2 years ago
0
Signature filter
#24
glaserL
closed
2 years ago
1
Paint an empty node instead of Ø
#23
glaserL
closed
2 years ago
0
Edge component does not trigger rerender if Settings are hidden
#22
glaserL
closed
2 years ago
0
Bounded choice rules don't work
#21
glaserL
closed
2 years ago
0
Signatures /0 look weird
#20
glaserL
closed
2 years ago
0
Allow backend url to be given as a parameter during dash component construction
#19
glaserL
closed
2 years ago
1
"Show more" ... Are not updated when toggling show all
#18
glaserL
closed
2 years ago
1
Add fading out notifications
#17
glaserL
closed
2 years ago
0
Improve detail
#16
glaserL
closed
2 years ago
0
Header doesnt add anything really, so we replace with a little popover
#15
glaserL
closed
2 years ago
0
Add filtering
#14
glaserL
closed
2 years ago
0
Make the design pretty, responsive and configurable
#13
glaserL
closed
2 years ago
0
Fix the Provider
#12
glaserL
closed
2 years ago
0
Publish workflow will (hopefully) break some time in the future
#11
glaserL
opened
2 years ago
0
Make nodes adjust their size dynamically
#10
glaserL
closed
2 years ago
0
AttributeError on 0.0.1
#9
glaserL
closed
2 years ago
1
add depends-on attribute
#8
glaserL
closed
2 years ago
0
Add publish workflow
#7
glaserL
closed
2 years ago
0
clingo 5.5.1 breaks unit tests
#6
glaserL
closed
2 years ago
0
Make frontend a dash component
#5
glaserL
closed
2 years ago
0
Fix npe in edge when no ids provided
#4
glaserL
closed
2 years ago
0
Change frontend to a dash app
#3
glaserL
closed
2 years ago
0
Move Frontend from flask to webpack
#2
glaserL
closed
3 years ago
0
Add deploy functionality
#1
glaserL
closed
3 years ago
0
Previous