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/lib/
solver_instance_base.cpp
October 2026
Jip J. Dekker
c3314068
read the default from the config
2d ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
2d ago
Jip J. Dekker
bfb47c72
name the magic number
6d ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
6d ago
Jip J. Dekker
bc555272
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
0883bf7f
make the toggle keyboard reachable
1w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
06e90542
make the toggle keyboard reachable
1w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
13ac1321
read the default from the config
2w ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
62f2c4eb
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
Jip J. Dekker
73006e7b
pull the loader out of the component
3w ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
8cb36419
keep the empty state on one line
1mo ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
ac765582
spell the aria label out loud
1mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
e28ac188
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
f65485a9
collapse the two nearly identical helpers
1mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
4e9699ed
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
f160b1d0
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
7c747ef2
collapse the two nearly identical helpers
1mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
41cac54c
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
87d48bb9
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
c6f8bc92
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
b2f439e7
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
4caf8901
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
3c865e9f
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
467e0b15
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
acc5453a
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
Jip J. Dekker
533555e8
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
1bd9179b
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
4d95ab88
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
8ef54bb8
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
c4ec7d77
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
7a3332f2
defer the icon import
3mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
1905b6cf
defer the icon import
3mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
4717d69e
trim the trailing newline before hashing
3mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
c33baf63
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
e108a0d9
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
0ffd9a25
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
June 2026
Jip J. Dekker
4496972f
trim the trailing newline before hashing
3mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
b58c772b
walk the parents once, not twice
3mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
ac0941bf
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
d8e3f97d
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
51b4a898
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
5356904f
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
e95ce7d4
stop swallowing the parse error
4mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
3261d20a
collapse the two nearly identical helpers
4mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
May 2026
Jip J. Dekker
a649a681
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
a5a8db7a
keep the empty state on one line
4mo ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
f82f1053
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
423a0634
reuse the existing chip instead of a new one
5mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
78e61844
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
4b3e37e9
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
April 2026
Jip J. Dekker
c572598f
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
34c2ffe3
walk the parents once, not twice
5mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
Next