alpha
Login
Join now
dekker.one
/
half-reif-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/minizinc/docs/en/
python.rst
October 2026
Jip J. Dekker
326791cd
cache the resolved handle for the session
1d ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
1d ago
Jip J. Dekker
05064a3e
let the caller pass its own fetch
1d ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
1d ago
Jip J. Dekker
d35ec197
reuse the existing chip instead of a new one
2d ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
2d ago
Jip J. Dekker
e70b4c45
name the magic number
1w ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
b8ce363e
keep the empty state on one line
1w ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
a110a329
treat a missing body as empty, not null
2w ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
c2550626
spell the aria label out loud
3w ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
347d346f
treat a missing body as empty, not null
3w ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
19628f61
collapse the two nearly identical helpers
3w ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
da0d5521
read the default from the config
4w ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
36587dd5
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
6204480a
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
2fa0cd64
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
a46d1caf
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
815f28ec
tighten the types around the response
1mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
13a26703
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
3d1eeab6
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
5fe7cb7a
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
2b4e5d02
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
efd750be
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
f8ed0a1e
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
July 2026
Jip J. Dekker
645b3a60
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
6e198e76
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
d06689d7
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
5b57e569
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
6e85f9bd
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
2c3714e1
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
205915b6
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
a93bb2f9
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
295c0ca8
defer the icon import
3mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
4ebf8ccc
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
9427bf87
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
6172f4dc
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
a962b014
collapse the two nearly identical helpers
3mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
ae62e64f
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
f7e15010
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
5f2d1a42
collapse the two nearly identical helpers
3mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
fa7dc947
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
bcd5e8d1
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
7eab6527
make the toggle keyboard reachable
4mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
fecdd379
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
6294fbf6
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
May 2026
Jip J. Dekker
763c63ab
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
89c8aadd
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
710b63f8
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
84fb1022
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
9829c33b
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
96a88191
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
87067a92
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
April 2026
Jip J. Dekker
3ec9203f
make the toggle keyboard reachable
5mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
3
Next