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

Commits on IterationFix

fixed iteration levels and allowed iterating with variables IterationFix
rsdexter committed
Merge pull request #6 from chrisvander/Iteration
Robert Dexter committed
variables assigned levels at creation and changeLevel function changes their levels upon reaching them Iteration
rsdexter committed
Merge branch 'Iteration' of https://github.com/chrisvander/existential-graphs into Iteration
rsdexter committed
public url for svg
Chris Vanderloo committed
initial state
Chris Vanderloo committed
added publicurl handling to assets
Chris Vanderloo committed
removed docs, added gh-pages
Chris Vanderloo committed
jekyll ignore
Chris Vanderloo committed
yarn fixes for build, docs
Chris Vanderloo committed
allowed Iterate/Deiterate to select all vars
rsdexter committed
Merge branch 'master' of https://github.com/chrisvander/existential-graphs into Iteration
rsdexter committed
changes to stepmenu
Chris Vanderloo committed
removed comment
Chris Vanderloo committed
new function style
Chris Vanderloo committed
Merge branch 'master' of github.com:chrisvander/existential-graphs into Iteration
Chris Vanderloo committed
moved around how the functions work
Chris Vanderloo committed
changed some stuff around
Chris Vanderloo committed
improved performance, limited frame updates
Chris Vanderloo committed
iteration now check that the second ID is in a nested graph of the first ID
rsdexter committed
merged master into iteration adding the erasure function
rsdexter committed
Merge pull request #5 from chrisvander/Erasure
Robert Dexter committed
Merge branch 'master' of https://github.com/chrisvander/existential-graphs into Erasure Erasure
rsdexter committed
Iteration now changes levels of the graph inserted appropriately
rsdexter committed
Iteration adds the selection as a child of itself, but does so properly
rsdexter committed
iteration function created along with a copy function that creates new IDs for the copied data
rsdexter committed
tidier
Chris Vanderloo committed
tidied up stepmenu
Chris Vanderloo committed
cleaned up a little
Chris Vanderloo committed
update every second
Chris Vanderloo committed
removed console logs
rsdexter committed
erasure deletes the selection properly when given the ID and creates a new step
rsdexter committed
Merge pull request #4 from chrisvander/DoubleCutAdd
Robert Dexter committed
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
rsdexter committed
AddDC now functions properly when done inside another cut, adding the child to the corrent place
rsdexter committed
changeCutLevel function inc/decreases the levels of a cut and all cuts inside it
rsdexter committed
DCAdd adds two cuts to the selection properly and adds it to the data array in the next step
rsdexter committed
doubleCutAdd gets and logs the data that will be inside the new two cuts
rsdexter committed
merge of DoubleCut, utilize new interaction for removal
Chris Vanderloo committed
few more changes
Chris Vanderloo committed
removed useless func
Chris Vanderloo committed
Selection of double cut and execution
Chris Vanderloo committed
renamed doubleCut to doubleCutRemove, and added blank doubleCutAdd tool and function DoubleCut
rsdexter committed
added some stuff
Chris Vanderloo committed
cleaned up extra bits, commented out debug cutID assignment
rsdexter committed
doubleCut functions properly when given a cut ID
rsdexter committed
ID search performs as expected on arrays
rsdexter committed
DC removes a cut with given ID and the second cut
rsdexter committed
upon given a cut ID, DC will create a step with the new cut as its statement
rsdexter committed
prototype for findID function to find the element of a given ID in a step
rsdexter committed
double cut removes one cut, if the index is known
rsdexter committed
Double cut creates new step using the premises on click
rsdexter committed
edited Toolbox constructor to properly get the functions from the 'functions' map in props
rsdexter committed
added placeholder functions to toolbox buttons to allow building
rsdexter committed
fixes, IDs
Chris Vanderloo committed
Merge pull request #3 from chrisvander/StepMenuStyle
Chris Vanderloo committed
some changes
Chris Vanderloo committed
MERGE
Chris Vanderloo committed
small changes
Chris Vanderloo committed
Constructor now sets colors in state for back buttons to be greyed out initially
rsdexter committed