Code

Dev-0.18.0 20250128#284

Code

Draft

shnarazk wants to merge 13 commits intomainshnarazk/splr:mainfrom dev-0.18.0-20250128shnarazk/splr:dev-0.18.0-20250128Copy head branch name to clipboard

+3,212-3,466

Commits

Commits on Jan 28, 2025

• Bump version to 0.18.0-dev0

  shnarazk

  committed
  37eba6e

  Copy full SHA for 37eba6e

• Remove feature 'incremental_solver'

  shnarazk

  committed
  6630bb2

  Copy full SHA for 6630bb2

• modified: Cargo.toml

  shnarazk

  committed
  b55714a

  Copy full SHA for b55714a

• Fix f64 ordering (401fa3c)

  shnarazk

  committed
  82e0555

  Copy full SHA for 82e0555

Commits on Feb 2, 2025

• Fix Ord::cmp for OrderedProxy<T> (see #277)

  shnarazk

  committed
  2d86321

  Copy full SHA for 2d86321

• Fix bugs in an unused function

  shnarazk

  committed
  792ce92

  Copy full SHA for 792ce92

Commits on Feb 3, 2025

• 20250202 refactor primitive types (#288)

  Show description for 9fe7933
  shnarazk

  authored
  9fe7933

  Copy full SHA for 9fe7933

Commits on Feb 6, 2025

• Use pub static mut VAR_VECTOR: Vec<Var> (#289)

  Show description for d570f43
  shnarazk

  authored
  d570f43

  Copy full SHA for d570f43

• Remove AssignStack::satisfies

  shnarazk

  committed
  0eed343

  Copy full SHA for 0eed343

Commits on Feb 8, 2025

• pub static mut VAR_ACTIVITY_MANAGER: VarActivityManager (#290)

  Show description for 0705c8d
  shnarazk

  authored
  0705c8d

  Copy full SHA for 0705c8d

• Bump version to 0.18.0-dev4

  shnarazk

  committed
  678073c

  Copy full SHA for 678073c

Commits on Feb 9, 2025

• Use rustc_data_structures::fx::FxHashSet

  shnarazk

  committed
  257de87

  Copy full SHA for 257de87

• Remove log option

  shnarazk

  committed
  7df2938

  Copy full SHA for 7df2938