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/
prettyprinter.cpp
October 2026
Jip J. Dekker
661788bb
read the default from the config
3d ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
3d ago
Jip J. Dekker
1f8868f3
make the toggle keyboard reachable
4d ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
4d ago
Jip J. Dekker
26f5d6f7
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
September 2026
Jip J. Dekker
9f788ff8
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
d43f2951
walk the parents once, not twice
2w ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
faafea2a
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
bcb6f393
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
dbf3bbdf
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
6210e665
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
39a6dc02
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
b4f16a21
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
August 2026
Jip J. Dekker
290e9308
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
26a514b5
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
55b9aa8c
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
21292937
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
0e98f0b5
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
0f93b622
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
d2fff594
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
July 2026
Jip J. Dekker
3987c1ec
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