Sign in
Join now
existential-graphs
chrisvanderloo.com
/
Star
Starred
Star
0
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
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
src/
setupTests.js
November 2026
Robert Dexter
ca1c6249
Copied
Failed
Copy SHA
spell the aria label out
loud
loud
Copy SHA
Browse repository
committed
3d ago
October 2026
Chris Vanderloo
43d458f0
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
1w ago
Chris Vanderloo
4d59fd2c
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
2w ago
Chris Vanderloo
b63907e8
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2w ago
Chris Vanderloo
22fb85fc
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3w ago
Robert Dexter
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
Robert Dexter
039dec37
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
1mo ago
September 2026
Chris Vanderloo
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
Chris Vanderloo
f7a844a4
Copied
Failed
Copy SHA
split the view out of the
route
route
Copy SHA
Browse repository
committed
1mo ago
Robert Dexter
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
Chris Vanderloo
803d9967
Copied
Failed
Copy SHA
handle the ref with a slash in
it
it
Copy SHA
Browse repository
committed
2mo ago
August 2026
Robert Dexter
3d79d28e
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
Chris Vanderloo
ee51067b
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
Chris Vanderloo
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
Chris Vanderloo
a0feccc0
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
2mo ago
rsdexter
805b27a5
Copied
Failed
Copy SHA
put the separator back between the
rows
rows
Copy SHA
Browse repository
committed
3mo ago
July 2026
Robert Dexter
c71ff578
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3mo ago
Chris Vanderloo
b3627bf0
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
3mo ago
Chris Vanderloo
7a0d366c
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
3mo ago
Chris Vanderloo
62f4d77d
Copied
Failed
Copy SHA
move the guard up to the
boundary
boundary
Copy SHA
Browse repository
committed
3mo ago
Chris Vanderloo
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
Robert Dexter
edb272ea
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
3mo ago
Robert Dexter
bd63c374
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3mo ago
Robert Dexter
dd3380f5
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
Robert Dexter
cbffc195
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
June 2026
Robert Dexter
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
Robert Dexter
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
Robert Dexter
3bbfca99
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
4mo ago
Chris Vanderloo
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
Chris Vanderloo
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
Robert Dexter
ffa92ebf
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
5mo ago
Chris Vanderloo
34e34833
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
5mo ago
Chris Vanderloo
968043b0
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
5mo ago
Chris Vanderloo
33b4df3e
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
5mo ago
Chris Vanderloo
48a73e89
Copied
Failed
Copy SHA
name the magic
number
number
Copy SHA
Browse repository
committed
5mo ago
Chris Vanderloo
30b54927
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
6mo ago
Previous
1
2
3
Next