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/flatzinc/
symboltable.hh
October 2026
Jip J. Dekker
b3ed7f8f
drop the dead compatibility branch
18h ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
18h ago
Jip J. Dekker
6a6cf2c8
fix the off-by-one in the page cursor
3d ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
3d ago
Jip J. Dekker
28b05e70
cache the resolved handle for the session
1w ago
cache the resolved handle for the session
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
a06dd8f6
trim the trailing newline before hashing
1w ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
83d369be
make the toggle keyboard reachable
2w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
1b19bae9
name the magic number
2w ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
48be595d
reuse the existing chip instead of a new one
2w ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
52a0f527
make the toggle keyboard reachable
2w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
2be41981
make the toggle keyboard reachable
2w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
a694e487
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
484114d4
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
b230455b
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
Jip J. Dekker
4f82ce64
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
f92e5037
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
41f55731
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
6361bda0
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
378a8a43
pull the loader out of the component
1mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
0c17d669
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
9717af06
read the default from the config
2mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
ce01e969
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
e13f4156
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
c9ff75cf
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
ddb68f73
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
9c9d7a45
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
July 2026
Jip J. Dekker
b092f168
put the separator back between the rows
2mo ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
7fa3a1ba
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
21541cea
handle the ref with a slash in it
3mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
fee8203a
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
d5bc5c34
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
ec6ec0c6
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