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/sequence/
violations.hpp
October 2026
Jip J. Dekker
8f11d9e5
handle the ref with a slash in it
1d ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
1d ago
Jip J. Dekker
8e7ee0e5
read the default from the config
6d ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
6d ago
Jip J. Dekker
c482ff07
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
91410df8
put the separator back between the rows
1w ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
2086d7a0
put the separator back between the rows
1w ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
da45523b
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
d1bbc84c
put the separator back between the rows
2w ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
65796073
drop the dead compatibility branch
2w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
f4b4170a
fix the off-by-one in the page cursor
3w ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
f769ccae
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
33596e42
fix the off-by-one in the page cursor
1mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
793ac84f
read the default from the config
1mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
5bf29052
read the default from the config
1mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
7de11fa0
collapse the two nearly identical helpers
1mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
9f7a6c04
treat a missing body as empty, not null
1mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
7d70a94c
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
8fe3d767
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
ac92837c
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
14a1ba5b
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
4cc6d509
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
c4871c52
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
dfc33625
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
27069ba0
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
July 2026
Jip J. Dekker
4e557192
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
8cac93bf
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
ad499fd8
move the guard up to the boundary
2mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
ac06df77
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
da4ee042
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
4a6ddd7e
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
75c83637
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
60ea6ebf
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
13452b99
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
2a3f0973
defer the icon import
3mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
673693ac
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
8bb24f6c
treat a missing body as empty, not null
3mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
a14681af
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
80b792dc
tighten the types around the response
4mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
475e23b3
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
7deed4df
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
1a3f1404
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
36c773ca
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
May 2026
Jip J. Dekker
38fee088
let the caller pass its own fetch
4mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
f938b622
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
1bdd4400
let the caller pass its own fetch
4mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
817ba6de
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
f84de4a0
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
269ee3e8
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
61d9cea5
round the sizes to the token scale
5mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
7537cf9c
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
April 2026
Jip J. Dekker
5cf82de5
collapse the two nearly identical helpers
5mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
Next