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/
convex.cpp
October 2026
Jip J. Dekker
a1a18ea1
tighten the types around the response
3d ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
3d ago
Jip J. Dekker
967ad4df
keep the empty state on one line
5d ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
5d ago
Jip J. Dekker
d0e86eef
defer the icon import
1w ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
4968240f
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
Jip J. Dekker
a75a7792
treat a missing body as empty, not null
2w ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
c1b154db
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
86ba4c52
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
06bea4c9
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
Jip J. Dekker
4bf25421
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
f89d159a
round the sizes to the token scale
1mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
d124c238
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
2281c945
collapse the two nearly identical helpers
1mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
24b049e9
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
1958b31b
trim the trailing newline before hashing
1mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
9ab5ac23
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
b7b45b8e
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
c52e6c93
stop the header from reflowing on hover
2mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
59a6c9dd
pull the loader out of the component
2mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
f4a360e1
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
a0ca6180
fix the off-by-one in the page cursor
2mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
36d1519e
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
bee46508
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
cdf0b821
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
8cb30eea
stop the header from reflowing on hover
2mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
July 2026
Jip J. Dekker
6d4a314b
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
e144eae2
reuse the existing chip instead of a new one
2mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
a446ca50
fix the off-by-one in the page cursor
3mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
ed824493
stop the header from reflowing on hover
3mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
87a19894
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
9a7648ac
read the default from the config
3mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
09054df1
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
f28bb3ec
drop the dead compatibility branch
3mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
June 2026
Jip J. Dekker
3caad223
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
Jip J. Dekker
89166dd2
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
fb8e6e9e
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
2260bae6
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
5ae711ad
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
5d209955
read the default from the config
4mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
68742480
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
d03c2360
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
May 2026
Jip J. Dekker
7c8deed2
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
d9fd6c79
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
83b80f0e
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
09fbd817
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
b314b10f
tighten the types around the response
5mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
f1d0a10b
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
2b306772
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
51429e01
collapse the two nearly identical helpers
5mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
April 2026
Jip J. Dekker
cddf21b2
tighten the types around the response
5mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
49e49f82
fix the off-by-one in the page cursor
5mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
Next