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_base/gecode/
int.hh
October 2026
Jip J. Dekker
4b420104
keep the empty state on one line
3d ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
3d ago
Jip J. Dekker
672d1cb4
tighten the types around the response
4d ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
4d ago
Jip J. Dekker
4fe28ebc
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
8370f59f
stop the header from reflowing on hover
1w ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
1518ab60
drop the dead compatibility branch
1w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
fdee6d06
cache the resolved handle for the session
2w ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
782ea50e
make the toggle keyboard reachable
2w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
88c976a9
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
September 2026
Jip J. Dekker
b14b9ade
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
11dbd9e5
let the caller pass its own fetch
4w ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
49741be0
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
1366961d
pull the loader out of the component
1mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
8f98328a
reuse the existing chip instead of a new one
1mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
2489938a
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
a7cb9edb
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
356d4f7a
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
e3e57170
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
0f56ce93
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
1a7b7d7f
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
50a8e7bb
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
d1ca3821
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
d9e3da07
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
Jip J. Dekker
bd15c17f
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
8cbab10d
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
d586f1fb
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
512cd308
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
July 2026
Jip J. Dekker
8dbd6e43
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
0c3ff961
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
b0a3b590
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
56d2c92b
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
c0832f0e
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
8ed21000
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
d721a088
move the guard up to the boundary
3mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
1bd349c2
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
bcb4b5c8
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
June 2026
Jip J. Dekker
200a0edf
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
9d21c506
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
33e5354e
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
5576b980
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
4d6f7c92
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
26bff6ef
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
6d76d6d7
tighten the types around the response
4mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
7a227abd
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
9b3da85f
treat a missing body as empty, not null
4mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
45955d27
trim the trailing newline before hashing
4mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
4b667876
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
084cc798
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
84b4374a
stop swallowing the parse error
5mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
2e3bb883
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
8998725a
read the default from the config
5mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
3
Next