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/var/
float.cpp
October 2026
Jip J. Dekker
677a7473
collapse the two nearly identical helpers
1d ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
1d ago
Jip J. Dekker
39c8bd75
defer the icon import
4d ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
4d ago
Jip J. Dekker
d86a12e8
split the view out of the route
4d ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
4d ago
Jip J. Dekker
ee44b72a
keep the empty state on one line
6d ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
6d ago
Jip J. Dekker
caef8e6e
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
38f2fd91
move the guard up to the boundary
2w ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
5de6ceca
stop the header from reflowing on hover
2w ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
82768647
read the default from the config
2w ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
3c4e6aa5
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
Jip J. Dekker
7fe730f6
defer the icon import
3w ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
a390c019
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
d3b79674
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
4635c8f3
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
caa90cdd
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
75eae7e3
drop the dead compatibility branch
1mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
73a92e90
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
662a48b5
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
caef3a8a
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
876776d2
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
e620eabe
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
58aabe18
spell the aria label out loud
2mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
2aff1858
walk the parents once, not twice
2mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
July 2026
Jip J. Dekker
e9d49ca5
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
ed247d4c
tighten the types around the response
2mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
acb07d4b
round the sizes to the token scale
2mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
2f1e67f3
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
be99493a
collapse the two nearly identical helpers
2mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
46bd6117
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
33636b00
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
e69859b5
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
June 2026
Jip J. Dekker
54f9e118
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
106bb1c4
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
56213dde
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
10c6303e
keep the empty state on one line
3mo ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
54418642
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
851fd8e3
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
414f8930
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
a2e82f8e
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
9490f221
read the default from the config
4mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago