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/view/
int.hpp
October 2026
Jip J. Dekker
3c02a9cc
walk the parents once, not twice
3h ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
3h ago
Jip J. Dekker
17e628ef
handle the ref with a slash in it
4d ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
4d ago
Jip J. Dekker
9e62095f
make the toggle keyboard reachable
1w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
f73cd2c2
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
6246085c
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
33bf9ca7
drop the dead compatibility branch
3w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
September 2026
Jip J. Dekker
e5b32fc7
name the magic number
3w ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
a1511711
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
cde29159
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
c453c652
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
331541bb
reuse the existing chip instead of a new one
1mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
fa9227ea
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
935b38e6
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
f72ebba7
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
24f5658f
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
58ee07e1
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
e6ea7c0e
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
026e7e8b
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
a0555fdf
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
4e898f53
move the guard up to the boundary
2mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
6d357a42
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
19932a13
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
dc7a1b6d
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
b23987eb
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
184b5cf9
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
16cfc2ed
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
b667ab0e
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
78391b1a
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
b881f145
defer the icon import
3mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
6ad5fd24
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
959b3cdc
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
708e8845
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
65334f7b
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
a8b45313
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
1cdf21ec
spell the aria label out loud
4mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
f232aa93
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
94355fc0
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