existential-graphs
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Star
Fork
Watch

Commits on DoubleCutAdd

rsdexter
DCRemove now also works when selection is within another cut, adding the children to the correct cut instead of the top of the step
committed
rsdexter
AddDC now functions properly when done inside another cut, adding the child to the corrent place
committed
rsdexter
changeCutLevel function inc/decreases the levels of a cut and all cuts inside it
committed
rsdexter
DCAdd adds two cuts to the selection properly and adds it to the data array in the next step
committed
rsdexter
doubleCutAdd gets and logs the data that will be inside the new two cuts
committed
Chris Vanderloo
merge of DoubleCut, utilize new interaction for removal
committed
Chris Vanderloo
few more changes
committed
Chris Vanderloo
removed useless func
committed
Chris Vanderloo
Selection of double cut and execution
committed
rsdexter
renamed doubleCut to doubleCutRemove, and added blank doubleCutAdd tool and function DoubleCut
committed
Chris Vanderloo
added some stuff
committed
rsdexter
cleaned up extra bits, commented out debug cutID assignment
committed
rsdexter
doubleCut functions properly when given a cut ID
committed
rsdexter
ID search performs as expected on arrays
committed
rsdexter
DC removes a cut with given ID and the second cut
committed
rsdexter
upon given a cut ID, DC will create a step with the new cut as its statement
committed
rsdexter
prototype for findID function to find the element of a given ID in a step
committed
rsdexter
double cut removes one cut, if the index is known
committed
rsdexter
Double cut creates new step using the premises on click
committed
rsdexter
edited Toolbox constructor to properly get the functions from the 'functions' map in props
committed
rsdexter
added placeholder functions to toolbox buttons to allow building
committed
Chris Vanderloo
fixes, IDs
committed
Chris Vanderloo
Merge pull request #3 from chrisvander/StepMenuStyle
committed
Chris Vanderloo
some changes
committed
Chris Vanderloo
MERGE
committed
Chris Vanderloo
small changes
committed
rsdexter
Constructor now sets colors in state for back buttons to be greyed out initially
committed
rsdexter
coloring changes to match the appropriate step currently displayed
committed
rsdexter
step buttons change colors after click, but are always one update behind
committed
rsdexter
all buttons now go to next step
committed
rsdexter
made svg step buttons appear clickable by changing cursor on hover
committed
rsdexter
changed currentStep in canvas to not increase by 1
committed
rsdexter
edited top margin to properly center step buttons
committed
Chris Vanderloo
Merge branch 'master' of github.com:chrisvander/existential-graphs into StepMenuStyle
committed
Chris Vanderloo
Cut modifications, configuration for grid
committed
rsdexter
back and next buttons now color independently and appropriately
committed
rsdexter
all step buttons change color at the same time
committed
rsdexter
back step buttons now greyed out at step 1
committed
rsdexter
centered step buttons vertically
committed
Chris Vanderloo
notes in StepMenu.js
committed
Chris Vanderloo
dragging, basic grouping
committed
Chris Vanderloo
move to svg
committed
Chris Vanderloo
some basic ui stuff
committed
Chris Vanderloo
removed canvas
committed
Chris Vanderloo
fixed parenthesis issue
committed
Chris Vanderloo
Merge branch 'ArrayConverter' of github.com:chrisvander/existential-graphs
committed
Chris Vanderloo
converter stuff
committed
rsdexter
added getMatchingParen() function to converters to handle adjacent cut cases such as ({P})({Q})
committed
rsdexter
Added functionality to work in all cases except when cuts are adjacent, ex: ({P})({Q})
committed
rsdexter
added initial array building and console log tests
committed
rsdexter
created initial convertToArray in converters
committed
Chris Vanderloo
EG format for proof at app level
committed
Chris Vanderloo
fixed some styling
committed
Chris Vanderloo
initial window, animations, load canvas
committed
Chris Vanderloo
general starting point for existential graphs
committed
Chris Vanderloo
Initialize project using Create React App
committed