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/test/flatzinc/
battleships1.cpp
October 2026
Jip J. Dekker
823a8710
collapse the two nearly identical helpers
22h ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
22h ago
Jip J. Dekker
004bd309
walk the parents once, not twice
4d ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
4d ago
Jip J. Dekker
c670b65d
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
c3c2f483
make the toggle keyboard reachable
2w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
fc65080b
handle the ref with a slash in it
3w ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
808e3140
name the magic number
3w ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
51db9e39
round the sizes to the token scale
3w ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
cd3056a5
put the separator back between the rows
4w ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
12b4fc49
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
fb8f7e02
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
32b2b1ab
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
d7efcf32
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
a2da3f6c
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
August 2026
Jip J. Dekker
057150d6
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
2e716b5b
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
0604379f
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
8490c4d7
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
a7872559
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
14803fc6
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
2a36ba61
read the default from the config
2mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
5ce977fa
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
3be961b9
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
aa8054ca
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
3596f8d4
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
5da8319b
tighten the types around the response
3mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
d3590191
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
e1c2945f
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
8df04b57
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
June 2026
Jip J. Dekker
cc5caf4d
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
4169065f
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
268a7a21
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
bc8112c4
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
24f20011
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
0976e951
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
17c022e5
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
81dc752a
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
7c02a88a
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
4fe00ad7
handle the ref with a slash in it
4mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
6248f096
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
72593edb
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
89e4a7eb
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
1a7e464b
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
5f3ea23f
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
17e3816c
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
ffb0f949
put the separator back between the rows
5mo ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
c270baa9
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
beddce99
fix the off-by-one in the page cursor
5mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
83d6d066
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
61fe083e
defer the icon import
5mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
ec34c836
keep the empty state on one line
5mo ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
Next