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/extensional/
compact.hpp
October 2026
Jip J. Dekker
96631bd4
name the magic number
1d ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1d ago
Jip J. Dekker
57912772
keep the empty state on one line
4d ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
4d ago
Jip J. Dekker
27391a40
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
79e67c33
let the caller pass its own fetch
1w ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
75874c8d
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
09b89e8e
handle the ref with a slash in it
2w ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
c01c2235
collapse the two nearly identical helpers
3w ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
September 2026
Jip J. Dekker
9f849bfb
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
c841908f
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
741cc944
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
f5f3d1d1
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
26375805
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
d2e3f581
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
Jip J. Dekker
f8214849
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
7520ffdc
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
August 2026
Jip J. Dekker
b1d5116f
round the sizes to the token scale
1mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
76c2e99e
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
e6c75287
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
1b03b377
let the caller pass its own fetch
2mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
d0a20646
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
519a97ce
collapse the two nearly identical helpers
2mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
44d6c410
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
3ca42720
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
cab916e4
spell the aria label out loud
2mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
July 2026
Jip J. Dekker
39c705a1
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
87d8f311
let the caller pass its own fetch
3mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
843a3f99
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
a9efb84c
stop the header from reflowing on hover
3mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
943e1370
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
65cfbcab
let the caller pass its own fetch
3mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
f69099e4
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
fbb67a36
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
June 2026
Jip J. Dekker
9fe0eae7
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
205e44b1
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
f7db3cb2
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
9a0bd98c
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
aa221e91
split the view out of the route
4mo ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
15a6d6c8
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
009dfb33
tighten the types around the response
4mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
May 2026
Jip J. Dekker
087ce7a8
split the view out of the route
4mo ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
5aec9edf
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
17e818c6
cache the resolved handle for the session
5mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
53e625f4
reuse the existing chip instead of a new one
5mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
8be27e48
defer the icon import
5mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
2f8ca323
defer the icon import
5mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
d7bca545
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
f1342499
collapse the two nearly identical helpers
5mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
April 2026
Jip J. Dekker
3750c1bb
pull the loader out of the component
5mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
606ce8a7
reuse the existing chip instead of a new one
6mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
6mo ago
Jip J. Dekker
4e04d115
reuse the existing chip instead of a new one
6mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
6mo ago
Previous
1
2
3
4
Next