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/
driver.hh
October 2026
Jip J. Dekker
669fa5d6
tighten the types around the response
2d ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
2d ago
Jip J. Dekker
7b2b68ec
collapse the two nearly identical helpers
5d ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
5d ago
Jip J. Dekker
9bc21dcc
name the magic number
1w ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
af80416f
drop the dead compatibility branch
2w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
65cee32b
put the separator back between the rows
2w ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
fea35370
put the separator back between the rows
2w ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
ea781e1c
name the magic number
3w ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
3ff6d096
tighten the types around the response
3w ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
e1192e81
reuse the existing chip instead of a new one
4w ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
cd7ef06d
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
8f9357ef
make the toggle keyboard reachable
1mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
f385a0f2
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
8c531b09
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
2fe41a4c
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
ae0f3961
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
eacd4722
fix the off-by-one in the page cursor
1mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
1b6f70c6
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
961ad396
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
7db814cd
keep the empty state on one line
2mo ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
7a4195d4
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
2446fb98
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
bb966972
keep the empty state on one line
2mo ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
a111a767
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
dde61fda
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
July 2026
Jip J. Dekker
1322fb34
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
e0d3ebcf
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
7b9dcad4
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
f255542d
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
59433735
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
7ab18904
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
cd605aa0
round the sizes to the token scale
3mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
f70b9471
cache the resolved handle for the session
3mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
June 2026
Jip J. Dekker
62280456
handle the ref with a slash in it
3mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
6159466b
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
74990a4e
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
5eb9b9d2
make the toggle keyboard reachable
4mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago