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/set/ldsb/
sym-imp.cpp
October 2026
Jip J. Dekker
32bac881
move the guard up to the boundary
2d ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
2d ago
Jip J. Dekker
027610dc
treat a missing body as empty, not null
6d ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
6d ago
Jip J. Dekker
1e845f9b
defer the icon import
1w ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
92f16057
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
cc2ddc3b
reuse the existing chip instead of a new one
1w ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
0c7fde0a
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
1fd1801d
name the magic number
2w ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
c2bb3ef4
spell the aria label out loud
3w ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
September 2026
Jip J. Dekker
3eb39134
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
33327099
make the toggle keyboard reachable
4w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
55fb107a
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
Jip J. Dekker
1e0b97be
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
897ea6ea
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
21da2ea8
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
cc1c507e
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
40799c1c
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
3dd5f575
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
d3d1a2ca
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
71058f2b
handle the ref with a slash in it
1mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
03f5a63f
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
47477857
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
1c15bef1
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
88e96052
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
4a30a0a2
fix the off-by-one in the page cursor
2mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
6901fd30
fix the off-by-one in the page cursor
2mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
87f3c4d4
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
19f9436c
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
c54622e5
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
7bda7ba3
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
becbecfc
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
Jip J. Dekker
ffbd0720
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
74d47b8b
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
dda9222f
fix the off-by-one in the page cursor
2mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
44e3e364
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
af62c527
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
edf60986
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
a3116584
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
a9181514
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
40431cda
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
2c097426
read the default from the config
3mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
d8a621bc
drop the dead compatibility branch
3mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
June 2026
Jip J. Dekker
293bd58d
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
afa17713
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
46c13541
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
977e77f5
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
bd2ef866
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
c5bb4a46
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
1ae19fae
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
c931a897
move the guard up to the boundary
4mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
May 2026
Jip J. Dekker
e59a8f09
drop the dead compatibility branch
4mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Previous
1
2
3
4
Next