issues
search
ModelInference
/
perfume-frontend
Web-based frontend for Perfume tool
Other
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
unnecessary capitalization in Longest Path, Shortest Path, etc. labels
#69
bestchai
closed
4 years ago
0
Traces shorter than 3 events are absent or broken in the model
#68
bestchai
closed
4 years ago
0
Remove highlighted log lines
#67
bestchai
closed
4 years ago
0
Make INITIAL and TERMINAL nodes consistent in state-based model
#66
bestchai
closed
4 years ago
0
Perhaps change highlighted log lines when clicking nodes
#65
bestchai
opened
4 years ago
0
Highlight clicked nodes and edges
#64
bestchai
closed
4 years ago
0
No longer allow resizing of panels
#63
bestchai
closed
4 years ago
0
Fix Hangup in searchForShortestAndLongestPath
#62
bestchai
closed
4 years ago
0
Look into and fix(?) behavior of log modification
#61
bestchai
opened
4 years ago
0
Begin development on dual-pane view
#60
bestchai
closed
4 years ago
0
Thicken edges
#59
bestchai
closed
4 years ago
0
Connection tester example broken
#58
bestchai
closed
4 years ago
0
Connection Tester model often doesn't appear
#57
bestchai
closed
4 years ago
0
Pretty print floating point numbers
#56
bestchai
closed
4 years ago
0
Add legend for green and red paths
#55
bestchai
closed
4 years ago
0
Add button to reset model position and size
#54
bestchai
opened
4 years ago
0
Add ranges for edges with multiple concrete edges
#53
bestchai
closed
4 years ago
0
Color init/term nodes differently
#52
bestchai
closed
4 years ago
0
Clear button on input tab doesn't work
#51
bestchai
closed
4 years ago
0
eliminate html duplication: revision string only appears in index.html
#50
bestchai
closed
4 years ago
0
Remove invariant.html from the repo?
#49
bestchai
closed
4 years ago
0
Arguments text area loaded with tab chars
#48
bestchai
closed
4 years ago
0
Remove link to tutorial/example
#47
bestchai
closed
4 years ago
0
Model nodes are not sizes to properly fit the text
#46
bestchai
closed
4 years ago
0
Example logs with arguments
#45
bestchai
closed
4 years ago
0
Label arguments text area
#44
bestchai
closed
4 years ago
0
Change green to blue, and make edges on both the shortest and the longest path purple.
#43
bestchai
closed
4 years ago
0
When perfume fails, we should display an error message.
#42
bestchai
closed
4 years ago
0
The non-longest path is displayed as the longest path.
#41
bestchai
closed
4 years ago
0
Invariants tab data never clears
#40
bestchai
closed
4 years ago
0
Invariants column is very narrow
#39
bestchai
closed
4 years ago
0
Longest&shortest path (purple) is difficult to see
#38
bestchai
closed
4 years ago
0
delete "Input" label that does not change when in "Invariants" and "Model" tabs
#37
bestchai
closed
4 years ago
0
Invariants tab misspelled as invarients on load
#36
bestchai
closed
4 years ago
0
Add the shopping cart log to the perfume front end
#35
bestchai
closed
4 years ago
0
Host frontend on bitbucket
#34
bestchai
closed
4 years ago
0
Remove duplicate AFby and AP invariants
#33
bestchai
closed
4 years ago
0
Do not show bounds for NFby invariants
#32
bestchai
closed
4 years ago
0
Remove invariant visualization dead code
#31
bestchai
closed
4 years ago
0
Invariants always append
#30
bestchai
closed
4 years ago
0
Model edges disappear on hover
#29
bestchai
closed
4 years ago
0
Curvy edges do not touch nodes
#28
bestchai
closed
4 years ago
0
Node labels overflow
#27
bestchai
closed
4 years ago
0
Model nodes can overlap
#26
bestchai
closed
4 years ago
0
Joint.js firefox bug causes SVG paths to not render.
#25
bestchai
closed
4 years ago
0
Invariants tab visualization of constrained invariants
#24
bestchai
closed
4 years ago
0
Update "Read More" link text
#23
bestchai
closed
4 years ago
0
Highlight edge on edge label click
#22
bestchai
closed
4 years ago
0
Remove red-Xs on the model edges
#21
bestchai
closed
4 years ago
0
Revision string no longer appears at top of page
#20
bestchai
closed
4 years ago
0
Previous
Next