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_base/gecode/int/branch/
val-sel-commit.cpp
October 2026
Jip J. Dekker
3135a08d
split the view out of the route
18h ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
18h ago
Jip J. Dekker
7c17409a
stop swallowing the parse error
4d ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
4d ago
Jip J. Dekker
1809958e
spell the aria label out loud
6d ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
6d ago
Jip J. Dekker
85912b9d
treat a missing body as empty, not null
1w ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
560b8c7e
defer the icon import
2w ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
68c1b18f
spell the aria label out loud
3w ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
7a996a1b
stop the header from reflowing on hover
3w ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
834283b1
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
a6a89618
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
63d1217f
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
8e62945a
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
ed791407
put the separator back between the rows
1mo ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
cf6b81f0
walk the parents once, not twice
1mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
ce58a159
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
633382b7
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
51718f3c
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
bf3015e8
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
8b7c5943
put the separator back between the rows
2mo ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
75a46f02
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
eb370945
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
199b11f5
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
6b1951b8
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
f7ad8bf3
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
July 2026
Jip J. Dekker
1eca15c5
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
3568ed38
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
f50a0f89
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
888f8c70
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
982ac3f4
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
6ef87b65
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
Jip J. Dekker
7e622e45
split the view out of the route
3mo ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
b554b07c
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
62f87574
spell the aria label out loud
3mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
June 2026
Jip J. Dekker
6f3c9646
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
98a8c6bc
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
1dd54173
keep the empty state on one line
4mo ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
3a2e5d8d
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
a185228d
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
88a81946
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
feb5b0c2
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
df192b08
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
21690cfe
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
021bf06b
trim the trailing newline before hashing
4mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
May 2026
Jip J. Dekker
0239074f
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
Jip J. Dekker
5eaa07e5
stop the header from reflowing on hover
5mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
4c21f288
make the toggle keyboard reachable
5mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
ecd5b8dd
treat a missing body as empty, not null
5mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
6b1a9e1c
spell the aria label out loud
5mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
1da03c62
trim the trailing newline before hashing
5mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
7b8458f7
drop the dead compatibility branch
5mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
2562d9fb
handle the ref with a slash in it
5mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
3
4
Next