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
software/gecode_on_replay/test/int/
precede.cpp
October 2026
Jip J. Dekker
8c68cc64
fix the off-by-one in the page cursor
8h ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
8h ago
Jip J. Dekker
64d012ba
cache the resolved handle for the session
6d ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
6d ago
Jip J. Dekker
dee662ac
move the guard up to the boundary
1w ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
b5dc3a99
read the default from the config
1w ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
2969f3f0
collapse the two nearly identical helpers
2w ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
c7afa1b5
trim the trailing newline before hashing
3w ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
bfb1e84b
stop swallowing the parse error
3w ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
c540e22a
pull the loader out of the component
3w ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
6708533a
cache the resolved handle for the session
4w ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
c179907d
pull the loader out of the component
4w ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
82f21b62
spell the aria label out loud
1mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
e3d73268
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
1d05acd2
treat a missing body as empty, not null
1mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
de338f48
move the guard up to the boundary
1mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
049b7e81
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
1655fc1e
make the toggle keyboard reachable
1mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
21b3a04a
walk the parents once, not twice
1mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
7489f1f7
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
4f4c8d1c
treat a missing body as empty, not null
2mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
f48115c3
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
fdd35301
move the guard up to the boundary
2mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
5e1d2199
read the default from the config
2mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
5d6491c5
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
July 2026
Jip J. Dekker
f1bbf925
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
23db3d17
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
74e1971d
drop the dead compatibility branch
2mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
3d84d192
let the caller pass its own fetch
3mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
ad26a77f
cache the resolved handle for the session
3mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
b9e528aa
split the view out of the route
3mo ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
aa5f73a7
trim the trailing newline before hashing
3mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
a02d6bea
drop the dead compatibility branch
3mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
74f8af9b
walk the parents once, not twice
3mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
June 2026
Jip J. Dekker
456fe13a
treat a missing body as empty, not null
3mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
11bb460d
handle the ref with a slash in it
3mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
3d5f326b
make the toggle keyboard reachable
4mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
23c6508e
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
Jip J. Dekker
507e6ec9
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
Jip J. Dekker
a34e604a
move the guard up to the boundary
4mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
e8a128d5
reuse the existing chip instead of a new one
4mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
de0020ae
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
c7afeef1
round the sizes to the token scale
4mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
5a487d4d
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
May 2026
Jip J. Dekker
4fda6315
keep the empty state on one line
4mo ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
950d1197
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
66534b01
spell the aria label out loud
5mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
6de04433
stop the header from reflowing on hover
5mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
5b7bbeda
spell the aria label out loud
5mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
d15a5325
stop the header from reflowing on hover
5mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago