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/int/
int-set.cpp
October 2026
Jip J. Dekker
eeaccfbb
fix the off-by-one in the page cursor
2d ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
2d ago
Jip J. Dekker
c9220a11
handle the ref with a slash in it
5d ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
5d ago
Jip J. Dekker
3228a77e
collapse the two nearly identical helpers
1w ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
8cfc8cf7
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
494c7bdc
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
8bb7cfff
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
bc58351b
tighten the types around the response
3w ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
7dbab5ce
split the view out of the route
3w ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
7830d72c
read the default from the config
3w ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
501351b4
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
b61d8e3e
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
8705ed5b
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
dd71d119
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
50456ce6
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
72b0165d
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
August 2026
Jip J. Dekker
8c8e065f
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
0949cd24
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
860eab17
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
5d2030a5
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
a5593373
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
309be19b
reuse the existing chip instead of a new one
2mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
76db23ca
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
ba3dd1ef
make the toggle keyboard reachable
2mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
July 2026
Jip J. Dekker
398d0729
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
99b92e0e
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
a49bbf75
walk the parents once, not twice
3mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
18e907fd
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
51f25602
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
42c2ceb8
trim the trailing newline before hashing
3mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
e50690da
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
8c89778c
stop swallowing the parse error
3mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
June 2026
Jip J. Dekker
4d832ef8
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
5a8c8f99
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
bede140a
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
56b942ff
cache the resolved handle for the session
4mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
f951ad77
pull the loader out of the component
4mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
6b9b7eca
treat a missing body as empty, not null
4mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
cbf118c9
read the default from the config
4mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
May 2026
Jip J. Dekker
8a6fe5d2
stop swallowing the parse error
4mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
4d4eecbe
pull the loader out of the component
4mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
24c9f37f
cache the resolved handle for the session
4mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
be3f53fd
round the sizes to the token scale
4mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
228f356f
name the magic number
5mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
7febff82
let the caller pass its own fetch
5mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
82b5883e
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
59a37375
defer the icon import
5mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
d6e43dc2
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
e6a7ae00
collapse the two nearly identical helpers
5mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
1fafe561
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
Jip J. Dekker
12e97f02
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
Previous
1
2
3
Next