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/
ast.cpp
October 2026
Jip J. Dekker
a1cc98db
fix the off-by-one in the page cursor
2d ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
2d ago
Jip J. Dekker
5bb8c2e9
stop swallowing the parse error
1w ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
d0c28958
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
September 2026
Jip J. Dekker
281d5025
let the caller pass its own fetch
2w ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
2e821260
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
3b8ddfef
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
4fceb4a3
tighten the types around the response
4w ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
d5ab64e0
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
8bcbdbd0
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
b6609a3b
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
August 2026
Jip J. Dekker
dcf33076
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
41797553
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
1f91d035
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
55f936e2
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
fb8986f3
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
dcdff3b9
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
f84c4282
reuse the existing chip instead of a new one
2mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
c066c806
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
July 2026
Jip J. Dekker
15c32353
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
43c44a73
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
94c774ae
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
0d25939c
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
c55bd7bf
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
27ce9d6f
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
436ff88b
stop the header from reflowing on hover
3mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
50439dd2
move the guard up to the boundary
3mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
a801de9b
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
5bad835a
walk the parents once, not twice
3mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
June 2026
Jip J. Dekker
afc96534
defer the icon import
3mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
71b60988
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
Jip J. Dekker
b7136dd0
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
4cc538fa
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
c2aeaf7b
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
3bf0a0a7
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
113e0643
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
May 2026
Jip J. Dekker
02b2639b
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
a4fb5762
drop the dead compatibility branch
4mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
6b223773
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
c3868e19
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
dee777bd
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
cf408197
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
28fb9f02
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
de0f8dac
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
3c11ccfd
pull the loader out of the component
5mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
01d01745
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
b05138c9
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
April 2026
Jip J. Dekker
07b88755
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
471a66cc
pull the loader out of the component
5mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
2177deb2
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
7c3ba275
read the default from the config
5mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
Next