Commits

Commit history

1. Commits on Oct 22, 2026

   • Merge pull request #850 from vkhomenko/fix-slow-debug-bnn-watches

     Show description for ed61e21
     msoos

     authored
     ed61e21View commit details

     Copy full SHA for ed61e21

     Browse repository at this point

   • SLOW_DEBUG: make the watch checkers skip BNN watches

     Show description for de96b4f
     

     vkhomenko

     and

     claude

     committed
     de96b4fView commit details

     Copy full SHA for de96b4f

     Browse repository at this point
2. Commits on Oct 9, 2026

   • Merge pull request #846 from msoos/release-5.17.0

     Show description for 03954f7
     msoos

     authored
     03954f7View commit details

     Copy full SHA for 03954f7

     Browse repository at this point

   • Bump version to 5.17.0

     Show description for 735a047
     

     msoos

     and

     claude

     committed
     735a047View commit details

     Copy full SHA for 735a047

     Browse repository at this point

   • python: add congruence and absbudget options to the tests and README

     Show description for 5b3dbf1
     

     msoos

     and

     claude

     committed
     5b3dbf1View commit details

     Copy full SHA for 5b3dbf1

     Browse repository at this point

   • Update cadiback

     msoos

     committed
     989cf3bView commit details

     Copy full SHA for 989cf3b

     Browse repository at this point

   • Merge branch 'develop-crystal-onepred'

     msoos

     committed
     260e54cView commit details

     Copy full SHA for 260e54c

     Browse repository at this point

   • Merge pull request #845 from stp/fix-ccnr-oracle-unprefixed-output

     Show description for 5c689ea
     msoos

     authored
     5c689eaView commit details

     Copy full SHA for 5c689ea

     Browse repository at this point

   • crystal: round 4 and the half-lives 2, 4, 8, documented

     Show description for 9143a4e
     

     msoos

     and

     claude

     committed
     9143a4eView commit details

     Copy full SHA for 9143a4e

     Browse repository at this point

   • occsimp: cl_rem_with_or_gates uses the shared to_clear instead of a local vector

     Show description for d514bf0
     

     msoos

     and

     claude

     committed
     d514bf0View commit details

     Copy full SHA for d514bf0

     Browse repository at this point

   • crystal: the predictor build on 19 longer instances of new families, documented

     Show description for 689d2db
     

     msoos

     and

     claude

     committed
     689d2dbView commit details

     Copy full SHA for 689d2db

     Browse repository at this point

   • Do not print an unprefixed line when the oracle's local search gives up

     Show description for b7a63c1
     aytey

     committed
     b7a63c1View commit details

     Copy full SHA for b7a63c1

     Browse repository at this point

   • crystal: a median rate that is always 0 is a warning

     Show description for 121273e
     

     msoos

     and

     claude

     committed
     121273eView commit details

     Copy full SHA for 121273e

     Browse repository at this point

   • crystal: the gone-rows check no longer fails long runs

     Show description for 827a801
     

     msoos

     and

     claude

     committed
     827a801View commit details

     Copy full SHA for 827a801

     Browse repository at this point

   • crystal: rounds 2 and 3 were gathered under a mis-fed model, documented

     Show description for 59c0783
     

     msoos

     and

     claude

     committed
     59c0783View commit details

     Copy full SHA for 59c0783

     Browse repository at this point

   • crystal: what the solver predicts from against what the model is trained on

     Show description for 31f3208
     

     msoos

     and

     claude

     committed
     31f3208View commit details

     Copy full SHA for 31f3208

     Browse repository at this point

   • Stats+predictor build: the model sees the features once prepared

     Show description for 9a4b6d7
     

     msoos

     and

     claude

     committed
     9a4b6d7View commit details

     Copy full SHA for 9a4b6d7

     Browse repository at this point
3. Commits on Oct 8, 2026

   • crystal: one gather can be labelled with several half-lives

     Show description for 58e3843
     

     msoos

     and

     claude

     committed
     58e3843View commit details

     Copy full SHA for 58e3843

     Browse repository at this point

   • crystal: the A/B summary reports bogoprops too

     Show description for f8c3363
     

     msoos

     and

     claude

     committed
     f8c3363View commit details

     Copy full SHA for f8c3363

     Browse repository at this point

   • crystal: when the proof uses lie, as a stage of the pipeline

     Show description for 10d16aa
     

     msoos

     and

     claude

     committed
     10d16aaView commit details

     Copy full SHA for 10d16aa

     Browse repository at this point

   • crystal: the replayed rule is checked against what the solver removed

     Show description for e1fc1f4
     

     msoos

     and

     claude

     committed
     e1fc1f4View commit details

     Copy full SHA for e1fc1f4

     Browse repository at this point

   • crystal: what a per-reduce count could win, and four judges that do not

     Show description for 3df9977
     

     msoos

     and

     claude

     committed
     3df9977View commit details

     Copy full SHA for 3df9977

     Browse repository at this point

   • crystal: the candidates of a reduce in quarters, by the model and by glue

     Show description for 0ee91d7
     

     msoos

     and

     claude

     committed
     0ee91d7View commit details

     Copy full SHA for 0ee91d7

     Browse repository at this point

   • crystal: the labels are computed a second time and compared

     Show description for 715077b
     

     msoos

     and

     claude

     committed
     715077bView commit details

     Copy full SHA for 715077b

     Browse repository at this point

   • crystal: the labelling step prints the proof's size per conflict

     Show description for 04d1c02
     

     msoos

     and

     claude

     committed
     04d1c02View commit details

     Copy full SHA for 04d1c02

     Browse repository at this point

   • crystal: the proof pass skips XOR records

     Show description for 8962e3e
     

     msoos

     and

     claude

     committed
     8962e3eView commit details

     Copy full SHA for 8962e3e

     Browse repository at this point

   • backbone: XOR-skip warning only at verbosity 1

     Show description for a60b478
     

     msoos

     and

     claude

     committed
     a60b478View commit details

     Copy full SHA for a60b478

     Browse repository at this point

   • Binary XLRUP output, remove the FRAT writer

     Show description for dc8a280
     

     msoos

     and

     claude

     committed
     dc8a280View commit details

     Copy full SHA for dc8a280

     Browse repository at this point

   • Merge branch 'master' into develop-crystal-onepred

     Show description for 9729fd7
     msoos

     committed
     9729fd7View commit details

     Copy full SHA for 9729fd7

     Browse repository at this point

   • Merge pull request #841 from msoos/nocadical

     Show description for 183c550
     msoos

     authored
     183c550View commit details

     Copy full SHA for 183c550

     Browse repository at this point

   • Merge pull request #843 from stp/fix-or-gate-removed-clause

     Show description for a4b160c
     msoos

     authored
     a4b160cView commit details

     Copy full SHA for a4b160c

     Browse repository at this point

   • crystal: the model at one round, timed alone on 4 seeds

     Show description for cc44cd9
     

     msoos

     and

     claude

     committed
     cc44cd9View commit details

     Copy full SHA for cc44cd9

     Browse repository at this point

   • crystal: the replay defaults to the predictor build's one round

     Show description for ffa02c4
     

     msoos

     and

     claude

     committed
     ffa02c4View commit details

     Copy full SHA for ffa02c4

     Browse repository at this point

   • Do not read a removed clause when removing clauses with OR gates

     Show description for 86639e2
     aytey

     committed
     86639e2View commit details

     Copy full SHA for 86639e2

     Browse repository at this point

   • crystal: the tier1 glue with the model at one round, and the replay's knobs

     Show description for 25d91ae
     

     msoos

     and

     claude

     committed
     25d91aeView commit details

     Copy full SHA for 25d91ae

     Browse repository at this point