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/
script.hpp
October 2026
Jip J. Dekker
84789cf8
stop swallowing the parse error
2d ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
2d ago
Jip J. Dekker
22f6bb29
defer the icon import
3d ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
3d ago
Jip J. Dekker
6e91120f
trim the trailing newline before hashing
1w ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
2b1c1b25
name the magic number
1w ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
c4a6ff49
round the sizes to the token scale
2w ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
d22c8ab8
round the sizes to the token scale
2w ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
eb86b95a
put the separator back between the rows
3w ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
0a660c3b
drop the dead compatibility branch
3w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
1fdfb240
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
0a03a36b
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
d3d2eea2
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
ad93d7d5
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
7466ae11
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
0bb13e35
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
7866867a
collapse the two nearly identical helpers
1mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
a65fa8eb
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
c806b294
treat a missing body as empty, not null
1mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
5e7ceccf
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
b2cac54b
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
245079c2
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
7801f983
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
2476d97b
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
141e1cd6
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
197d0bdd
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
51699737
read the default from the config
2mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
1e07dd25
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
1ad842be
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
1fef8efa
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
Jip J. Dekker
1b287d6f
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
a59ff521
collapse the two nearly identical helpers
3mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
5250e326
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
c8522a59
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
f42684ea
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
cae1a7b2
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
cd067bec
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
97a7d489
stop swallowing the parse error
3mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
018247f5
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
25a53918
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
8d233e8f
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
41848816
make the toggle keyboard reachable
4mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
24da8a2d
reuse the existing chip instead of a new one
4mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
9e451b4c
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
d3399ab4
collapse the two nearly identical helpers
4mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
3e3f8dde
reuse the existing chip instead of a new one
4mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
280a744e
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
May 2026
Jip J. Dekker
8d7a2a6d
collapse the two nearly identical helpers
4mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
83858f51
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
972700a4
walk the parents once, not twice
5mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
4b0ab5a6
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