dekker.one / on-restart-benchmarks
This repository has no description
Star
Fork 0
Watch

Version history of software/gecode_base/contribs/quacode/examples/qbf.cpp

October 2026

fix the off-by-one in the page cursor
Jip J. Dekker committed
pull the loader out of the component
Jip J. Dekker committed
keep the empty state on one line
Jip J. Dekker committed
walk the parents once, not twice
Jip J. Dekker committed
walk the parents once, not twice
Jip J. Dekker committed
name the magic number
Jip J. Dekker committed

September 2026

name the magic number
Jip J. Dekker committed
fix the off-by-one in the page cursor
Jip J. Dekker committed
name the magic number
Jip J. Dekker committed
read the default from the config
Jip J. Dekker committed
trim the trailing newline before hashing
Jip J. Dekker committed
put the separator back between the rows
Jip J. Dekker committed
keep the empty state on one line
Jip J. Dekker committed
cache the resolved handle for the session
Jip J. Dekker committed
stop swallowing the parse error
Jip J. Dekker committed
trim the trailing newline before hashing
Jip J. Dekker committed
collapse the two nearly identical helpers
Jip J. Dekker committed

August 2026

trim the trailing newline before hashing
Jip J. Dekker committed
name the magic number
Jip J. Dekker committed
let the caller pass its own fetch
Jip J. Dekker committed
move the guard up to the boundary
Jip J. Dekker committed
read the default from the config
Jip J. Dekker committed
drop the dead compatibility branch
Jip J. Dekker committed
put the separator back between the rows
Jip J. Dekker committed
defer the icon import
Jip J. Dekker committed

July 2026

drop the dead compatibility branch
Jip J. Dekker committed
read the default from the config
Jip J. Dekker committed
walk the parents once, not twice
Jip J. Dekker committed
stop swallowing the parse error
Jip J. Dekker committed
let the caller pass its own fetch
Jip J. Dekker committed
move the guard up to the boundary
Jip J. Dekker committed
move the guard up to the boundary
Jip J. Dekker committed
handle the ref with a slash in it
Jip J. Dekker committed
walk the parents once, not twice
Jip J. Dekker committed
stop swallowing the parse error
Jip J. Dekker committed

June 2026

treat a missing body as empty, not null
Jip J. Dekker committed
name the magic number
Jip J. Dekker committed
reuse the existing chip instead of a new one
Jip J. Dekker committed
spell the aria label out loud
Jip J. Dekker committed
read the default from the config
Jip J. Dekker committed
move the guard up to the boundary
Jip J. Dekker committed
keep the empty state on one line
Jip J. Dekker committed
collapse the two nearly identical helpers
Jip J. Dekker committed
read the default from the config
Jip J. Dekker committed
stop the header from reflowing on hover
Jip J. Dekker committed
treat a missing body as empty, not null
Jip J. Dekker committed
fix the off-by-one in the page cursor
Jip J. Dekker committed

May 2026

read the default from the config
Jip J. Dekker committed
make the toggle keyboard reachable
Jip J. Dekker committed
keep the empty state on one line
Jip J. Dekker committed