issues
search
ubc-carnap-team
/
Rudolf
Truth Tree Widget for Carnap
2
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump elliptic from 6.5.2 to 6.5.3
#82
dependabot[bot]
closed
4 years ago
0
80 fix feedback arrows
#81
mbecker20
closed
4 years ago
0
Arrows disappear whenever there is feedback
#80
McTano
closed
4 years ago
1
Button on each formula for activating context menu
#79
McTano
opened
4 years ago
0
Move row numbers and justifications outside scrollable box
#78
McTano
opened
4 years ago
2
Display better error messages
#77
McTano
closed
4 years ago
2
39 55 tree layout
#76
mbecker20
closed
4 years ago
5
position set to static if topItemsRef.current is undefined
#75
mbecker20
closed
4 years ago
0
Top offset of tree window
#74
mbecker20
closed
4 years ago
1
Add some labels
#73
lf-
closed
4 years ago
1
tree enclosed in individually scrolling bounder
#72
mbecker20
closed
4 years ago
0
Arrows not being created sometimes
#71
orbit-stabilizer
closed
4 years ago
1
in widget resizing of content
#70
mbecker20
opened
4 years ago
1
horizontally overflowing trees can only scroll to the right
#69
mbecker20
closed
4 years ago
0
fix phantom line bug
#68
mbecker20
closed
4 years ago
1
Problem with new arrows
#67
orbit-stabilizer
closed
4 years ago
2
add and implement react-archer, remove react-lineto
#66
mbecker20
closed
4 years ago
1
Migrate lines drawn between nodes to react-archer to make them prettier
#65
McTano
closed
4 years ago
3
pass dimensions to LineTo component as key prop
#64
McTano
closed
4 years ago
2
React LineTo lines not rerendering on window resize
#63
mbecker20
closed
4 years ago
9
Apply feedback
#62
McTano
closed
4 years ago
3
JSONView collapse on click
#61
mbecker20
closed
4 years ago
7
merge changes from master
#60
mbecker20
closed
4 years ago
0
Separate exportable Rudolf component from demo app scaffold.
#59
McTano
closed
4 years ago
0
Avoid manually entering formulas at each node when they are created on the same row
#58
McTano
opened
4 years ago
0
Make JSONDisplay less obtrusive
#57
McTano
closed
4 years ago
0
Deploy live demo of widget
#56
McTano
closed
4 years ago
0
Move justifications to separate column on the right hand side, row numbers to left.
#55
McTano
closed
4 years ago
1
Design for displaying checker feedback to user
#54
McTano
opened
4 years ago
0
Apply JSON feedback to tree
#53
McTano
closed
4 years ago
1
Make trees geometrically well-behaved.
#52
McTano
closed
4 years ago
5
Check as sequent
#51
McTano
closed
4 years ago
0
Bump websocket-extensions from 0.1.3 to 0.1.4
#50
dependabot[bot]
closed
4 years ago
0
Contradictory formulas
#49
kylemas
closed
4 years ago
0
Document the UI
#48
McTano
closed
4 years ago
5
Fix delay between selection and tree update
#47
orbit-stabilizer
closed
4 years ago
0
Fix delay between selection and change in tree
#46
orbit-stabilizer
closed
4 years ago
3
Add development environment setup instructions
#45
lf-
closed
4 years ago
3
Collect formulas.
#44
kylemas
closed
4 years ago
6
Make user enter rows of contradictory formulas when closing branch
#43
McTano
closed
4 years ago
0
Bump acorn from 5.7.3 to 5.7.4
#42
dependabot[bot]
closed
4 years ago
0
Updated examples
#41
kylemas
closed
4 years ago
2
Add a pre-commit hook to run prettier
#40
McTano
closed
4 years ago
3
Space out formulas vertically so that each row lines up.
#39
McTano
closed
4 years ago
3
Formula array on nodes
#38
McTano
closed
4 years ago
0
Tree examples
#37
kylemas
closed
4 years ago
1
Node Rows
#36
kylemas
closed
4 years ago
4
Implement Rows
#35
McTano
closed
4 years ago
7
moved node ids from component tree into tree data structure
#34
McTano
closed
5 years ago
0
Reorganize css
#33
McTano
closed
5 years ago
0
Previous
Next