Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on May 14, 2026

• Disable caching SAT counts of nodes with ref_count 1 by default

  nhusung

  committed
  fe99191

  Copy full SHA for fe99191

Commits on May 8, 2026

• Clippy

  nhusung

  committed
  035f5bc

  Copy full SHA for 035f5bc

• Optimize `concurrent_bubble_sort`

  Show description for bf391fd
  nhusung

  committed
  bf391fd

  Copy full SHA for bf391fd

• Add `Worker::slice_for_each`

  nhusung

  committed
  7ac15a3

  Copy full SHA for 7ac15a3

• ApplyCache: rename `*_with_numeric()` into `*_extended()`, update docs

  nhusung

  committed
  ef88fb9

  Copy full SHA for ef88fb9

• Fix spellcheck

  nhusung

  committed
  7da8947

  Copy full SHA for 7da8947

• Allow multiple values in ApplyCache

  nhusung

  committed
  57c0b57

  Copy full SHA for 57c0b57

• C/C++: add OXIDD_STATISTICS option

  nhusung

  committed
  e636990

  Copy full SHA for e636990

• Add example using the C API

  nhusung

  committed
  a586527

  Copy full SHA for a586527

• C++: replace `*_var_name_cpp` by `*_with_var_name`

  Show description for 0498154
  nhusung

  committed
  0498154

  Copy full SHA for 0498154

• C/C++: tidy (LLVM 22)

  nhusung

  committed
  b4bca94

  Copy full SHA for b4bca94

Commits on May 7, 2026

• Remove deprecated items

  nhusung

  committed
  aeff269

  Copy full SHA for aeff269

• cargo fmt

  nhusung

  committed
  43781b8

  Copy full SHA for 43781b8

Commits on May 4, 2026

• Update oxidd-* crates to the 2024 edition

  nhusung

  committed
  b00391d

  Copy full SHA for b00391d

• Remove old formula-based tests

  Show description for aa20a82
  nhusung

  committed
  aa20a82

  Copy full SHA for aa20a82

Commits on May 3, 2026

• Bump MSRV to 1.85 for oxidd-* crates

  nhusung

  committed
  602fea4

  Copy full SHA for 602fea4

• Add basic reordering tests

  nhusung

  committed
  551742d

  Copy full SHA for 551742d

• Optimize `set_var_order()`

  Show description for 72ae780
  nhusung

  committed
  72ae780

  Copy full SHA for 72ae780

• Only allow taking a `LevelView` during reordering

  nhusung

  committed
  bcf4f00

  Copy full SHA for bcf4f00

• Add `Manager::level_unchecked()`

  nhusung

  committed
  214fea3

  Copy full SHA for 214fea3

• Replace `OnDrop` by `ScopeGuard`

  nhusung

  committed
  8468400

  Copy full SHA for 8468400

Commits on Apr 30, 2026

• Add unchecked insertion methods to `LevelView`

  nhusung

  committed
  2ac04d3

  Copy full SHA for 2ac04d3

Commits on Apr 24, 2026

• CI: update actions

  nhusung

  committed
  1fec23a

  Copy full SHA for 1fec23a

Commits on Apr 16, 2026

• oxidd-reorder: improve documentation of sort_order

  nhusung

  committed
  4c3ab60

  Copy full SHA for 4c3ab60

Commits on Apr 14, 2026

• Python: add installation instructions

  Show description for b5c8852
  

  axelbdt

  and

  nhusung

  committed
  b5c8852

  Copy full SHA for b5c8852

• CMake: consistent indentation

  nhusung

  committed
  46ec35d

  Copy full SHA for 46ec35d

• Add version switcher for C++ and Python API docs

  nhusung

  committed
  bb66a55

  Copy full SHA for bb66a55

• Python: update to pydata-sphinx-theme 0.17

  nhusung

  committed
  12e8b83

  Copy full SHA for 12e8b83

• Use round logo in docs

  nhusung

  committed
  914557e

  Copy full SHA for 914557e

• CI: improve curl options

  nhusung

  committed
  4b7bf0a

  Copy full SHA for 4b7bf0a

• Declare Python 3.14 support in pyproject.toml

  nhusung

  committed
  4d835a5

  Copy full SHA for 4d835a5

• Update copyright year

  nhusung

  committed
  c9d3614

  Copy full SHA for c9d3614

• Update dependencies

  nhusung

  committed
  69c889c

  Copy full SHA for 69c889c

Commits on Feb 27, 2026

• Release oxidd-ffi-python 0.11.2

  nhusung

  committed
  9158645

  Copy full SHA for 9158645

• C/C++: update corrosion

  nhusung

  committed
  84bead0

  Copy full SHA for 84bead0