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/float/
limits.hpp
October 2026
Jip J. Dekker
890c131e
stop the header from reflowing on hover
2d ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
2d ago
Jip J. Dekker
75cfbd43
round the sizes to the token scale
3d ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
3d ago
Jip J. Dekker
5b44f077
round the sizes to the token scale
6d ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
6d ago
Jip J. Dekker
8bd9cdca
name the magic number
1w ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
8500cf14
defer the icon import
1w ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
d715da61
keep the empty state on one line
1w ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
bd78168d
name the magic number
2w ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
cfdfd3f8
cache the resolved handle for the session
3w ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
September 2026
Jip J. Dekker
ddb666c8
stop the header from reflowing on hover
4w ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
0e60bd4f
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
9a300827
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
a040312f
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
4806c123
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
8fa96b5f
stop the header from reflowing on hover
1mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
551d2aec
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
56e5d33e
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
5ad20343
spell the aria label out loud
1mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
ce0cd996
cache the resolved handle for the session
1mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
3bdee54d
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
ef63dcbb
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
052d447d
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