alpha
Login
Join now
dekker.one
/
bytecode-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
mzn-rewriting/
test_solve.py
October 2026
Jip J. Dekker
e6b739c7
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
b9de979b
drop the dead compatibility branch
5d ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
5d ago
Jip J. Dekker
fb7944b5
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
d52532c0
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
September 2026
Jip J. Dekker
08856140
cache the resolved handle for the session
2w ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
ee6122f7
collapse the two nearly identical helpers
2w ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
a3571823
pull the loader out of the component
2w ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
d3ab89d8
tighten the types around the response
3w ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
7b79e602
make the toggle keyboard reachable
3w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
9b6bc2c4
round the sizes to the token scale
3w ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
b50251ef
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
daf3ad82
drop the dead compatibility branch
1mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
27ec5384
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
1efa9cb1
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
ed97192f
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
August 2026
Jip J. Dekker
aff33374
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
3fa6fc84
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
f882098b
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
3fbae74f
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
ad2f9b07
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
8da8b395
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
30abface
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
1016c10e
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
July 2026
Jip J. Dekker
a1126458
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
1e452aff
keep the empty state on one line
2mo ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
15b96a44
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
c87efe61
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
03d96b95
keep the empty state on one line
2mo ago
keep the empty state on one line
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
643e8663
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
00da7dce
cache the resolved handle for the session
3mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
5dd288d3
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
e7f338d3
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
June 2026
Jip J. Dekker
58bc741d
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
b0157763
fix the off-by-one in the page cursor
3mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
3adeee6a
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
fa8bc60c
spell the aria label out loud
3mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
abde581d
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
e1cb5ac9
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
bbc9d76b
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
286ca252
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
7a34abc0
collapse the two nearly identical helpers
4mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
20253d13
pull the loader out of the component
4mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
May 2026
Jip J. Dekker
e1702c68
walk the parents once, not twice
4mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
c0817e12
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
3211f72b
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
Jip J. Dekker
2945d594
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
bf2e455b
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
9d85f280
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
April 2026
Jip J. Dekker
ac3c8083
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
f732d28e
handle the ref with a slash in it
5mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
3
Next