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 IterationFix

rsdexter
fixed iteration levels and allowed iterating with variables
committed
Robert Dexter
Merge pull request #6 from chrisvander/Iteration
committed
rsdexter
variables assigned levels at creation and changeLevel function changes their levels upon reaching them Iteration
committed
rsdexter
Merge branch 'Iteration' of https://github.com/chrisvander/existential-graphs into Iteration
committed
Chris Vanderloo
public url for svg
committed
Chris Vanderloo
initial state
committed
Chris Vanderloo
added publicurl handling to assets
committed
Chris Vanderloo
removed docs, added gh-pages
committed
Chris Vanderloo
jekyll ignore
committed
Chris Vanderloo
yarn fixes for build, docs
committed
rsdexter
allowed Iterate/Deiterate to select all vars
committed
rsdexter
Merge branch 'master' of https://github.com/chrisvander/existential-graphs into Iteration
committed
Chris Vanderloo
changes to stepmenu
committed
Chris Vanderloo
removed comment
committed
Chris Vanderloo
new function style
committed
Chris Vanderloo
Merge branch 'master' of github.com:chrisvander/existential-graphs into Iteration
committed
Chris Vanderloo
moved around how the functions work
committed
Chris Vanderloo
changed some stuff around
committed
Chris Vanderloo
improved performance, limited frame updates
committed
rsdexter
iteration now check that the second ID is in a nested graph of the first ID
committed
rsdexter
merged master into iteration adding the erasure function
committed
Robert Dexter
Merge pull request #5 from chrisvander/Erasure
committed
rsdexter
Merge branch 'master' of https://github.com/chrisvander/existential-graphs into Erasure Erasure
committed
rsdexter
Iteration now changes levels of the graph inserted appropriately
committed
rsdexter
Iteration adds the selection as a child of itself, but does so properly
committed
rsdexter
iteration function created along with a copy function that creates new IDs for the copied data
committed
Chris Vanderloo
tidier
committed
Chris Vanderloo
tidied up stepmenu
committed
Chris Vanderloo
cleaned up a little
committed
Chris Vanderloo
update every second
committed
rsdexter
removed console logs
committed
rsdexter
erasure deletes the selection properly when given the ID and creates a new step
committed
Robert Dexter
Merge pull request #4 from chrisvander/DoubleCutAdd
committed
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 DoubleCutAdd
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