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/
flatten.cpp
October 2026
Jip J. Dekker
c5ca9263
stop the header from reflowing on hover
2d ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
2d ago
Jip J. Dekker
ffc33d4c
pull the loader out of the component
1w ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
a0e260a6
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
75f0faa4
defer the icon import
2w ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
a52ffbdc
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
e980a19e
spell the aria label out loud
4w ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
2c818cad
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
ee838609
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
3ab55201
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
e796a88a
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
e6ded7d8
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
946edbec
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
cc865968
walk the parents once, not twice
1mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
a6dfcba2
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
1926ed25
spell the aria label out loud
2mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
85164bf2
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
3a978f3b
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
1c0e256c
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
f66d21b9
fix the off-by-one in the page cursor
2mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
July 2026
Jip J. Dekker
6f9eadaa
drop the dead compatibility branch
2mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
5f13c6af
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
6c9c67e7
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
bee0ec2a
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
a54918d9
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
efc0bee9
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
334543db
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
6c6ceae4
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
51a7a5bd
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
483c5dad
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
04a39faf
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
ff56d515
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
725db578
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
8e634504
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
11c1046c
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
f57b64e0
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
577d3baa
fix the off-by-one in the page cursor
4mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
ab2efd2b
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
Jip J. Dekker
660b4457
name the magic number
5mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
6e3115de
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
ff63897b
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
6ec02014
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
Jip J. Dekker
3ac1d15a
stop the header from reflowing on hover
5mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
f064fd97
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
f019ed0d
tighten the types around the response
5mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
ce119e50
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
b9448c3d
put the separator back between the rows
6mo ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
6mo ago
Jip J. Dekker
935bddbf
put the separator back between the rows
6mo ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
6mo ago
Jip J. Dekker
02e5cc45
defer the icon import
6mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
6mo ago
Jip J. Dekker
38df0cf0
pull the loader out of the component
6mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
6mo ago
Jip J. Dekker
beb57241
read the default from the config
6mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
6mo ago
Previous
1
2
3
Next