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/set/
bool.cpp
October 2026
Jip J. Dekker
e440a749
trim the trailing newline before hashing
1d ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
1d ago
Jip J. Dekker
7ecf799b
make the toggle keyboard reachable
3d ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
3d ago
Jip J. Dekker
e7c504a8
stop swallowing the parse error
1w ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
c03599c5
name the magic number
1w ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
September 2026
Jip J. Dekker
04911e3b
keep the empty state on one line
2w ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
ce24a617
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
a4df9a20
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
54fe8e1c
tighten the types around the response
1mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
96da19e4
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
b3b8ff6c
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
August 2026
Jip J. Dekker
2579948d
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
5348f8e8
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
e3788b15
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
ee4565ba
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
fe55680c
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
834b7320
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
5bbf9283
pull the loader out of the component
2mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
de8d90d1
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
9c478317
stop the header from reflowing on hover
2mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
0c8e243b
tighten the types around the response
2mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
July 2026
Jip J. Dekker
9153ca29
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
b6343815
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
81e15084
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
6a97b2aa
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
fafbb37a
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
af6526eb
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
1f108751
defer the icon import
3mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
ef6cccb1
drop the dead compatibility branch
3mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
June 2026
Jip J. Dekker
6b3465ef
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
c2534747
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
Jip J. Dekker
0645f68c
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
525ec734
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
75c6613a
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
6f9a04bd
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
May 2026
Jip J. Dekker
bc24a7ef
put the separator back between the rows
4mo ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
a196cc86
stop the header from reflowing on hover
4mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
266be6d5
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
135da7ff
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
91e6ca4a
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
1a41301d
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
8f19e44a
read the default from the config
5mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
d47113cb
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
499ed61b
trim the trailing newline before hashing
5mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
April 2026
Jip J. Dekker
4f0cc928
split the view out of the route
5mo ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
1a8ec208
walk the parents once, not twice
5mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
1cee4ae9
name the magic number
5mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
65eabced
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
a198d80d
move the guard up to the boundary
5mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
599101a5
split the view out of the route
6mo ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
6mo ago
Jip J. Dekker
85118442
trim the trailing newline before hashing
6mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
6mo ago
Previous
1
2
Next