Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 20, 2025

• Bumped version.

  alexeyignatiev

  committed
  88190fd

  Copy full SHA for 88190fd

• Timer cancelation.

  alexeyignatiev

  committed
  35866e8

  Copy full SHA for 35866e8

Commits on Dec 19, 2025

• Merge pull request #211 from hbierlee/feature/add-interrupts-to-rc2

  Show description for 8872e03
  alexeyignatiev

  authored
  8872e03

  Copy full SHA for 8872e03

Commits on Dec 18, 2025

• Add docs

  hbierlee

  committed
  34c512e

  Copy full SHA for 34c512e

• Change arguments `oracle_solve`

  hbierlee

  committed
  07e932c

  Copy full SHA for 07e932c

Commits on Dec 17, 2025

• Pass **kwargs to oracle.solve(..)

  hbierlee

  committed
  31b76b3

  Copy full SHA for 31b76b3

Commits on Dec 16, 2025

• Add interrupts to RC2

  hbierlee

  committed
  c927b5f

  Copy full SHA for c927b5f

Commits on Dec 15, 2025

• Updated the build action.

  alexeyignatiev

  committed
  394b3a1

  Copy full SHA for 394b3a1

• Bumped version.

  alexeyignatiev

  committed
  5a8d5bc

  Copy full SHA for 5a8d5bc

• Added automatic negation handling.

  alexeyignatiev

  committed
  f19758f

  Copy full SHA for f19758f

Commits on Nov 6, 2025

• Cosmetics.

  alexeyignatiev

  committed
  fd02e5d

  Copy full SHA for fd02e5d

• Merge pull request #206 from OrestisLomis/master

  Show description for e94d1df
  alexeyignatiev

  authored
  e94d1df

  Copy full SHA for e94d1df

Commits on Oct 31, 2025

• skipped testcase

  OrestisLomis

  committed
  4532948

  Copy full SHA for 4532948

• complete tests

  OrestisLomis

  committed
  eaa12f7

  Copy full SHA for eaa12f7

• add conditionals to vpool

  OrestisLomis

  committed
  efcf098

  Copy full SHA for efcf098

Commits on Oct 13, 2025

• Bumped version.

  alexeyignatiev

  committed
  fa93c44

  Copy full SHA for fa93c44

• Fixed zstd compression issue on Python 3.14.

  alexeyignatiev

  committed
  75c1dd4

  Copy full SHA for 75c1dd4

• Bumped version.

  alexeyignatiev

  committed
  e759727

  Copy full SHA for e759727

• Updated BBScan.

  alexeyignatiev

  committed
  92d4ddd

  Copy full SHA for 92d4ddd

Commits on Sep 26, 2025

• Bumped version.

  alexeyignatiev

  committed
  1c9b329

  Copy full SHA for 1c9b329

• Made a few corrections in bbscan.

  alexeyignatiev

  committed
  661fe43

  Copy full SHA for 661fe43

Commits on Sep 22, 2025

• Bumped version.

  alexeyignatiev

  committed
  e519c56

  Copy full SHA for e519c56

• Added bbscan.

  alexeyignatiev

  committed
  a7718e0

  Copy full SHA for a7718e0

Commits on Sep 18, 2025

• Some final badge simplifications.

  alexeyignatiev

  committed
  c2dde7d

  Copy full SHA for c2dde7d

• Yet another attempt.

  alexeyignatiev

  committed
  19f433c

  Copy full SHA for 19f433c

• Tweaking the badges.

  alexeyignatiev

  committed
  fbeeb7c

  Copy full SHA for fbeeb7c

• Added badges to the README.

  alexeyignatiev

  committed
  90c1d7f

  Copy full SHA for 90c1d7f

Commits on Sep 17, 2025

• Reflected the change in updates.md.

  alexeyignatiev

  committed
  e558cb3

  Copy full SHA for e558cb3

• Minor fixes in the example scripts.

  alexeyignatiev

  committed
  4780991

  Copy full SHA for 4780991

Commits on Sep 16, 2025

• Tweaking releases 2.

  alexeyignatiev

  committed
  45e9163

  Copy full SHA for 45e9163

• Tweaking releases.

  alexeyignatiev

  committed
  30ef814

  Copy full SHA for 30ef814

• Updated the build action.

  alexeyignatiev

  committed
  1afc917

  Copy full SHA for 1afc917

• Another fix in the Glucose 4.2.1 patch.

  alexeyignatiev

  committed
  11c976a

  Copy full SHA for 11c976a

• Merge pull request #204 from chrjabs/glucose421-cxx

  Show description for b706272
  alexeyignatiev

  authored
  b706272

  Copy full SHA for b706272

• use `c++` in glucose421 makefile

  chrjabs

  committed
  43988b8

  Copy full SHA for 43988b8

Pagination

Previous

Next