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_on_replay/gecode/int/linear/
bool-post.cpp
October 2026
Jip J. Dekker
ca1d81af
handle the ref with a slash in it
1d ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
1d ago
Jip J. Dekker
6c6c24ad
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
7927ccee
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
d65f0b87
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
4b4c537e
handle the ref with a slash in it
2w ago
handle the ref with a slash in it
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
September 2026
Jip J. Dekker
06dece21
read the default from the config
2w ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
2w ago
Jip J. Dekker
f1480bd1
fix the off-by-one in the page cursor
3w ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
3w ago
Jip J. Dekker
d4e18c42
read the default from the config
4w ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
4w ago
Jip J. Dekker
32ab61bf
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
2270a93f
let the caller pass its own fetch
1mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Jip J. Dekker
committed
1mo ago
Jip J. Dekker
458d35a2
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
fd3c91a6
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
45ff0fa4
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
a638495a
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
August 2026
Jip J. Dekker
5a21947b
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
c2ad623f
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
39a79ee9
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
ad580b24
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
87ec8f73
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
70d54468
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
037cf4bb
collapse the two nearly identical helpers
2mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
1c4c4ced
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
0109a4fa
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
d187db3c
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
25e0b3e0
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
2ba3d5fe
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
cba1df96
drop the dead compatibility branch
2mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Jip J. Dekker
committed
2mo ago
Jip J. Dekker
a2e852dc
tighten the types around the response
3mo ago
tighten the types around the response
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
27d1d183
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
85bbd4a7
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
51f8e19d
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
277ec17f
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
June 2026
Jip J. Dekker
124eb5f2
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
ec2d4a2a
collapse the two nearly identical helpers
3mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
6ed1e8fe
stop swallowing the parse error
3mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Jip J. Dekker
committed
3mo ago
Jip J. Dekker
d9bd604a
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
f0d81ea8
treat a missing body as empty, not null
4mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Jip J. Dekker
committed
4mo ago
Jip J. Dekker
27092f16
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
24f266ca
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
43497764
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
1d508634
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
82776370
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
519c1acf
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
c35bf394
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
ab1c7eed
read the default from the config
5mo ago
read the default from the config
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
3e1d9bda
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
Jip J. Dekker
2e97066a
fix the off-by-one in the page cursor
5mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Jip J. Dekker
0cf8c67f
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
Jip J. Dekker
1596a8a2
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
bd320a06
spell the aria label out loud
5mo ago
spell the aria label out loud
Copy SHA
Browse repository
Jip J. Dekker
committed
5mo ago
Previous
1
2
Next