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/kernel/
view.hpp
October 2026
Jip J. Dekker
7b63e7aa
stop the header from reflowing on hover
2d ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
2d ago
Jip J. Dekker
18f787e4
tighten the types around the response
5d ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
5d ago
Jip J. Dekker
55220594
trim the trailing newline before hashing
1w ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
ccf83e23
read the default from the config
1w ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
fdbad4d3
handle the ref with a slash in it
1w ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
36b279df
pull the loader out of the component
2w ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
1adc0588
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
84d72898
round the sizes to the token scale
4w ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
83181019
spell the aria label out loud
4w ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
2e2085d1
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
af2d0cb3
stop the header from reflowing on hover
1mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
c0f9da13
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
46b94cd1
drop the dead compatibility branch
1mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
b1a6fff5
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
fce75a7e
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
233b5955
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
4e2c828c
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
849587e5
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
e7ff323a
drop the dead compatibility branch
1mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
a5bf6a6f
make the toggle keyboard reachable
2mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
e27277a6
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
7a58cc53
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
454b6be7
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
July 2026
Jip J. Dekker
027186e9
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
e787b84a
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
173af015
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
0a31437f
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
5da85309
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
e07f9cfd
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
c45b06dd
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
06541bbf
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
June 2026
Jip J. Dekker
9441dc60
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
3a49a8c8
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
67d87a43
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
fb960963
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
c1fb71a9
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
e4658060
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
0a8464c2
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
561b04c1
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
09a12bfd
drop the dead compatibility branch
4mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
09c2fd0c
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
May 2026
Jip J. Dekker
488f26ac
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
3b37ca6e
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
099265c6
walk the parents once, not twice
4mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
81c56828
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
d06be8bc
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
2cc68eeb
stop swallowing the parse error
5mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
26a7b426
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
f3be8c84
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
ef1fcd29
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
Previous
1
2
3
Next