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/minimodel/
dom.cpp
October 2026
Jip J. Dekker
165547d2
reuse the existing chip instead of a new one
1d ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
1d ago
Jip J. Dekker
e321d96f
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
ab003ba1
handle the ref with a slash in it
5d ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
5d ago
Jip J. Dekker
943ae73c
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
310b9b81
walk the parents once, not twice
1w ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
59b12a9e
treat a missing body as empty, not null
1w ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
b03d3869
read the default from the config
1w ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
1w ago
Jip J. Dekker
2c3985af
drop the dead compatibility branch
2w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
dd0bf21f
handle the ref with a slash in it
3w ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
662c50ca
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
ca202e30
trim the trailing newline before hashing
3w ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
6ead79c8
walk the parents once, not twice
1mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
7edad5bd
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
938602fe
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
9479f363
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
Jip J. Dekker
864f6bdb
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
cb3bc3a7
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
3eac6790
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
35bfed53
handle the ref with a slash in it
2mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
aa7f1644
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
d10dbf65
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
c573ec69
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
aca2eb04
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
80f8d8f9
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
ded50b28
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
July 2026
Jip J. Dekker
149dd66d
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
9a3acee5
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
fa38697d
put the separator back between the rows
3mo ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
e7e7bfd3
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
e14f8f45
put the separator back between the rows
3mo ago
put the separator back between the rows
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
af286d9b
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
2b096b46
defer the icon import
3mo ago
defer the icon import
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
e9743f08
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
e9f55cb7
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
b8216b21
trim the trailing newline before hashing
3mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
31262d2a
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
8a82dc31
reuse the existing chip instead of a new one
4mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
d1d6d0f8
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
e08ad240
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
Jip J. Dekker
7c504a41
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
c45d6c75
stop the header from reflowing on hover
4mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
May 2026
Jip J. Dekker
a8c6778b
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
e9321612
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
fc0e4c76
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
472c6bb6
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
6e2f0296
name the magic number
5mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
88e60e2d
drop the dead compatibility branch
5mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
96301e0c
collapse the two nearly identical helpers
5mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
7bf8017b
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
43f81316
name the magic number
5mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
Next