alpha
Login
Join now
dekker.one
/
on-restart-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/gecode_base/gecode/int/trace/
int-trace-view.hpp
October 2026
Jip J. Dekker
ba135c55
put the separator back between the rows
2d ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
2d ago
Jip J. Dekker
6451521d
name the magic number
5d ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
5d ago
Jip J. Dekker
ad98a66a
round the sizes to the token scale
1w ago
round the sizes to the token scale
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
e3dd3c9b
collapse the two nearly identical helpers
1w ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
2d2fb589
name the magic number
2w ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
574bdf18
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
8e37b613
stop the header from reflowing on hover
3w ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
bc96c91f
stop the header from reflowing on hover
3w ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
b07fa13e
walk the parents once, not twice
3w ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
0ba74178
split the view out of the route
1mo ago
split the view out of the route
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
208b829d
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
2af73e07
move the guard up to the boundary
1mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
f673546a
make the toggle keyboard reachable
1mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
August 2026
Jip J. Dekker
2b49bb9f
cache the resolved handle for the session
1mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
8e2d55d9
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