alpha
Login
Join now
dekker.one
/
on-restart-benchmarks
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
This repository has no description
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
run_record_gecode.sh
October 2026
Jip J. Dekker
55058ca8
walk the parents once, not twice
3d ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
3d ago
Jip J. Dekker
c7a71f01
make the toggle keyboard reachable
6d ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
6d ago
Jip J. Dekker
4a9af858
tighten the types around the response
6d ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
6d ago
September 2026
Jip J. Dekker
c53e2142
spell the aria label out loud
1w ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
06f97bfd
defer the icon import
2w ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
cd73ec0b
let the caller pass its own fetch
3w ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
bab58bf5
round the sizes to the token scale
3w ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
2603aa59
tighten the types around the response
1mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
16bf7a14
tighten the types around the response
1mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
34b1aa74
keep the empty state on one line
1mo ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
09706223
put the separator back between the rows
1mo ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
a9b24c58
drop the dead compatibility branch
1mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
97949189
tighten the types around the response
1mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
3a68813e
let the caller pass its own fetch
1mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
309bfb41
make the toggle keyboard reachable
2mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
f776bb59
split the view out of the route
2mo ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
July 2026
Jip J. Dekker
88dc1351
let the caller pass its own fetch
2mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
0bcfc1ca
let the caller pass its own fetch
2mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
7e0018e2
walk the parents once, not twice
2mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
14c0ed51
cache the resolved handle for the session
2mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
3482f1e6
handle the ref with a slash in it
2mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
c69cf71d
keep the empty state on one line
2mo ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
7834af97
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
da19db9e
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
586e4e51
put the separator back between the rows
3mo ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
June 2026
Jip J. Dekker
8e67019c
tighten the types around the response
3mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
2822c8f0
reuse the existing chip instead of a new one
3mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
f61f500e
tighten the types around the response
3mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
fae738ca
stop swallowing the parse error
3mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
9eb21678
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
1d43c04d
stop swallowing the parse error
4mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
71fed5d1
let the caller pass its own fetch
4mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
d13f279e
split the view out of the route
4mo ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
d3c84d57
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
7c171d5d
cache the resolved handle for the session
4mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
May 2026
Jip J. Dekker
85e6724d
handle the ref with a slash in it
4mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
b0354e6d
fix the off-by-one in the page cursor
4mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
7e5b2b9a
stop swallowing the parse error
4mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
bbbfbf33
let the caller pass its own fetch
4mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
3327a977
cache the resolved handle for the session
5mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
dc463eb2
reuse the existing chip instead of a new one
5mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
4ff88817
move the guard up to the boundary
5mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
c5feb700
split the view out of the route
5mo ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
a9960064
read the default from the config
5mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
April 2026
Jip J. Dekker
39bec3fd
drop the dead compatibility branch
5mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
ac02937e
let the caller pass its own fetch
5mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
deb537b2
walk the parents once, not twice
5mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
53a44c5f
trim the trailing newline before hashing
5mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
081f9af9
let the caller pass its own fetch
5mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
1f439587
name the magic number
5mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
3
Next