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
dependabot[bot]
ca1c6249
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3d ago
dependabot[bot]
43d458f0
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
1w ago
Christian van der Loo
4d59fd2c
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
2w ago
Christian van der Loo
b63907e8
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2w ago
Christian van der Loo
22fb85fc
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3w ago
dependabot[bot]
6e49b1ae
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
3w ago
Christian van der Loo
fd726982
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
4w ago
September 2026
dependabot[bot]
039dec37
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
1mo ago
dependabot[bot]
0da5ba92
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
1mo ago
Christian van der Loo
d3847585
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
1mo ago
dependabot[bot]
f7a844a4
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
1mo ago
dependabot[bot]
de9c6ac5
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
1mo ago
Christian van der Loo
43a2757b
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1mo ago
Christian van der Loo
b5d7de6e
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1mo ago
August 2026
dependabot[bot]
803d9967
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
2mo ago
dependabot[bot]
3d79d28e
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
dependabot[bot]
ee51067b
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
Christian van der Loo
7521e6f7
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
2mo ago
Christian van der Loo
3723b36c
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
2mo ago
Christian van der Loo
a0feccc0
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
2mo ago
July 2026
Christian van der Loo
805b27a5
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
3mo ago
dependabot[bot]
c71ff578
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3mo ago
dependabot[bot]
b3627bf0
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
3mo ago
Christian van der Loo
7a0d366c
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
3mo ago
Christian van der Loo
62f4d77d
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
3mo ago
Christian van der Loo
f15a905d
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
3mo ago
Christian van der Loo
042bd602
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
3mo ago
dependabot[bot]
edb272ea
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
3mo ago
dependabot[bot]
bd63c374
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3mo ago
dependabot[bot]
dd3380f5
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
dependabot[bot]
cbffc195
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
June 2026
dependabot[bot]
503f921c
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
4mo ago
Christian van der Loo
62bb93d4
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
4mo ago
Christian van der Loo
84bc2653
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
dependabot[bot]
b7acf765
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
4mo ago
Christian van der Loo
6c22c47b
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
dependabot[bot]
3bbfca99
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
4mo ago
Christian van der Loo
b618900b
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
4mo ago
Christian van der Loo
3879a270
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
4mo ago
Christian van der Loo
8b345162
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
4mo ago
Christian van der Loo
19437b78
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
4mo ago
Christian van der Loo
2921ae33
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
4mo ago
May 2026
Christian van der Loo
ff356f28
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
5mo ago
Christian van der Loo
a6b7919c
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
5mo ago
dependabot[bot]
ffa92ebf
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
5mo ago
dependabot[bot]
34e34833
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
5mo ago
dependabot[bot]
968043b0
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
5mo ago
Christian van der Loo
33b4df3e
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
5mo ago
dependabot[bot]
48a73e89
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
5mo ago
Christian van der Loo
30b54927
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
6mo ago
Previous
1
2
3
Next