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 master

update dependencies master
Christian van der Loo committed
added yarn to devcontainer
Christian van der Loo committed
add python
Christian van der Loo committed
Merge branch 'master' of https://github.com/chrisvander/existential-graphs
Christian van der Loo committed
added port and postinstall to devcontainer
Christian van der Loo committed
Merge pull request #13 from chrisvander:dependabot/npm_and_yarn/nanoid-3.1.31
Chris Vanderloo committed
added devcontainer
Christian van der Loo committed
Bump nanoid from 3.1.16 to 3.1.31
Signed-off-by: dependabot[bot] <support@github.com>
dependabot[bot] committed
fixed commonly observed bug of duplicates reapplying after undo
Chris Vanderloo committed
fixed mode kicking out when selection is poor
Chris Vanderloo committed
resolved input box for insertion
Chris Vanderloo committed
fixed up insertion
Chris Vanderloo committed
fitch-style notation checkbox
Chris Vanderloo committed
fixed recent docs deletion
Chris Vanderloo committed
Added Goal view on right
Chris Vanderloo committed
macOS Big Sur compatability updates
Chris Vanderloo committed
rewrote converters
Chris Vanderloo committed
undo history now saves with proof
Chris Vanderloo committed
improved expression parsing from creation steps - built out deiteration
Chris Vanderloo committed
improvement to checknig level integrity
Chris Vanderloo committed
stopgap until deiteration is finished
Chris Vanderloo committed
can move graphs by clicking and dragging (little laggy)
Chris Vanderloo committed
expanded red highlighting
Chris Vanderloo committed
red highlight around rejected hover
Chris Vanderloo committed
removed function that adjusted levels - unneeded
Chris Vanderloo committed
fixed level miscalculation, modified colors
Chris Vanderloo committed
fixed conditional
Chris Vanderloo committed
fixes
Chris Vanderloo committed
iteration for entire canvas
Chris Vanderloo committed
fixed iteration bug
Chris Vanderloo committed
basic interface for insertion
Chris Vanderloo committed
added delete
Chris Vanderloo committed
built in double cut add
Chris Vanderloo committed
fixed toggling off selection state
Chris Vanderloo committed
improved cancellation
Chris Vanderloo committed
Merge remote-tracking branch 'origin/master'
Chris Vanderloo committed
Removed top-level SVGs, added a bit of documentation
Chris Vanderloo committed
Merge pull request #10 from chrisvander/dependabot/npm_and_yarn/websocket-extensions-0.1.4
Chris Vanderloo committed
Bump websocket-extensions from 0.1.3 to 0.1.4
Signed-off-by: dependabot[bot] <support@github.com>
dependabot[bot] committed
shrank window size
Chris Vanderloo committed
empty cut fixes
Chris Vanderloo committed
small redo svg fix
Chris Vanderloo committed
lots of file management updates
Chris Vanderloo committed
undo/redo
Chris Vanderloo committed
initial undo/redo ui
Chris Vanderloo committed
kill selection
Chris Vanderloo committed
kill selection after failure
Chris Vanderloo committed
Merge pull request #7 from chrisvander/IterationFix
Robert Dexter committed
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