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/gecode/set/
int.cpp
October 2026
Jip J. Dekker
7f45af76
make the toggle keyboard reachable
3d ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
3d ago
Jip J. Dekker
f113e2a2
collapse the two nearly identical helpers
3d ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
3d ago
Jip J. Dekker
2ced4067
trim the trailing newline before hashing
3d ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
3d ago
Jip J. Dekker
a833e81b
put the separator back between the rows
1w ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
9c18af9f
reuse the existing chip instead of a new one
1w ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
1a758699
fix the off-by-one in the page cursor
2w ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
2dd26667
handle the ref with a slash in it
2w ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
bac562d8
split the view out of the route
2w ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
12a8e9eb
walk the parents once, not twice
3w ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
e824a8d1
trim the trailing newline before hashing
4w ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
b7658540
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
14e744f2
read the default from the config
1mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
28b11c16
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
cbbda1bf
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
dac1ebf7
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
2c588ddb
walk the parents once, not twice
1mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
cea41c63
handle the ref with a slash in it
1mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
4feac475
split the view out of the route
1mo ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
5c59e5b8
handle the ref with a slash in it
1mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
e354f003
handle the ref with a slash in it
1mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
4a8b574a
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
72fe969c
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
7588c83c
collapse the two nearly identical helpers
2mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
July 2026
Jip J. Dekker
17bc7d49
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
8cf85e5e
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
e7d929db
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
9274d5db
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
fcfc5367
stop swallowing the parse error
2mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
5d90fd21
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
786ff97e
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
45c9f426
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
dda09fd5
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
3115d4fa
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
June 2026
Jip J. Dekker
fd2b8f11
defer the icon import
3mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
69a46e01
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
e7a2ac50
spell the aria label out loud
3mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
646eaf85
walk the parents once, not twice
4mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
9d5a7a2c
drop the dead compatibility branch
4mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
ab323ec1
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
d96a0deb
put the separator back between the rows
4mo ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
8791670f
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
May 2026
Jip J. Dekker
17714f5d
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
74e02dfb
stop the header from reflowing on hover
4mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
889c79de
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
1d27f5e9
handle the ref with a slash in it
5mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
81961b77
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
341dad4a
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
1435c107
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
07924b5a
spell the aria label out loud
5mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
April 2026
Jip J. Dekker
f77449f2
round the sizes to the token scale
5mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
3
Next