Sign in
Join now
existential-graphs
chrisvanderloo.com
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
src/
setupTests.js
October 2026
Chris Vanderloo
ca1c6249
Copied
Failed
Copy SHA
spell the aria label out
loud
loud
Copy SHA
Browse repository
committed
3d ago
Robert Dexter
43d458f0
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
1w ago
Robert Dexter
4d59fd2c
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
2w ago
Robert Dexter
b63907e8
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2w ago
Robert Dexter
22fb85fc
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3w ago
Chris Vanderloo
6e49b1ae
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
3w ago
rsdexter
fd726982
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
4w ago
September 2026
Chris Vanderloo
039dec37
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
1mo ago
Robert Dexter
0da5ba92
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
1mo ago
rsdexter
d3847585
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
1mo ago
Robert Dexter
f7a844a4
Copied
Failed
Copy SHA
split the view out of the
route
route
Copy SHA
Browse repository
committed
1mo ago
Chris Vanderloo
de9c6ac5
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
1mo ago
rsdexter
43a2757b
Copied
Failed
Copy SHA
trim the trailing newline before
hashing
hashing
Copy SHA
Browse repository
committed
1mo ago
rsdexter
b5d7de6e
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1mo ago
August 2026
Robert Dexter
803d9967
Copied
Failed
Copy SHA
handle the ref with a slash in
it
it
Copy SHA
Browse repository
committed
2mo ago
Chris Vanderloo
3d79d28e
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
Robert Dexter
ee51067b
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
Robert Dexter
7521e6f7
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
2mo ago
rsdexter
3723b36c
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
2mo ago
Robert Dexter
a0feccc0
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
2mo ago
July 2026
rsdexter
805b27a5
Copied
Failed
Copy SHA
put the separator back between the
rows
rows
Copy SHA
Browse repository
committed
3mo ago
Chris Vanderloo
c71ff578
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3mo ago
Robert Dexter
b3627bf0
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
3mo ago
Robert Dexter
7a0d366c
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
3mo ago
Robert Dexter
62f4d77d
Copied
Failed
Copy SHA
move the guard up to the
boundary
boundary
Copy SHA
Browse repository
committed
3mo ago
Robert Dexter
f15a905d
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
3mo ago
rsdexter
042bd602
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
3mo ago
Chris Vanderloo
edb272ea
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
3mo ago
Chris Vanderloo
bd63c374
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3mo ago
Chris Vanderloo
dd3380f5
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
June 2026
Chris Vanderloo
cbffc195
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
Chris Vanderloo
503f921c
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
4mo ago
rsdexter
62bb93d4
Copied
Failed
Copy SHA
fix the off-by-one in the page
cursor
cursor
Copy SHA
Browse repository
committed
4mo ago
rsdexter
84bc2653
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
Chris Vanderloo
b7acf765
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
4mo ago
rsdexter
6c22c47b
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
Chris Vanderloo
3bbfca99
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
4mo ago
Robert Dexter
b618900b
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
4mo ago
rsdexter
3879a270
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
4mo ago
rsdexter
8b345162
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
4mo ago
rsdexter
19437b78
Copied
Failed
Copy SHA
make the toggle keyboard
reachable
reachable
Copy SHA
Browse repository
committed
4mo ago
rsdexter
2921ae33
Copied
Failed
Copy SHA
cache the resolved handle for the
session
session
Copy SHA
Browse repository
committed
4mo ago
May 2026
Robert Dexter
ff356f28
Copied
Failed
Copy SHA
pull the loader out of the
component
component
Copy SHA
Browse repository
committed
5mo ago
rsdexter
a6b7919c
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
5mo ago
Chris Vanderloo
ffa92ebf
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
5mo ago
Robert Dexter
34e34833
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
5mo ago
Robert Dexter
968043b0
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
5mo ago
Robert Dexter
33b4df3e
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
5mo ago
Robert Dexter
48a73e89
Copied
Failed
Copy SHA
name the magic
number
number
Copy SHA
Browse repository
committed
5mo ago
Robert Dexter
30b54927
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
6mo ago
Previous
1
2
3
Next