Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 19, 2024

• Add (updated and general) solve_for functionality for arithmetic, add congruence_explain to API to retrieve explanation for why two terms are congruent Tweak handling of smt.qi.max_instantations

  Show description for 87f7a20
  NikolajBjorner

  committed
  87f7a20

  Copy full SHA for 87f7a20

• Optimize expr_safe_replace for quantifiers when all source patterns are vars (#7481)

  Show description for e4ab294
  nunoplopes

  authored
  e4ab294

  Copy full SHA for e4ab294

Commits on Dec 18, 2024

• expr_abstract: save 1 hashtable lookup per app argument

  Show description for c33bc2c
  nunoplopes

  committed
  c33bc2c

  Copy full SHA for c33bc2c

Commits on Dec 17, 2024

• remove 2 unneeded lambda captures

  nunoplopes

  committed
  2f5c0a6

  Copy full SHA for 2f5c0a6

Commits on Dec 16, 2024

• reduce hash table lookups in expr_abstract in half

  nunoplopes

  committed
  6f24123

  Copy full SHA for 6f24123

• fix build flags for release.yaml

  Show description for a6e59ea
  NikolajBjorner

  committed
  a6e59ea

  Copy full SHA for a6e59ea

Commits on Dec 15, 2024

• publish pypi

  Show description for a97ad76
  NikolajBjorner

  committed
  a97ad76

  Copy full SHA for a97ad76

• Update RELEASE_NOTES.md

  NikolajBjorner

  committed
  200ef23

  Copy full SHA for 200ef23

• Update release.yml

  Show description for e40972b
  NikolajBjorner

  committed
  e40972b

  Copy full SHA for e40972b

• add unit test for incremental equation edit distance with repair

  NikolajBjorner

  committed
  b529a58

  Copy full SHA for b529a58

Commits on Dec 13, 2024

• wip - incremental edit distance algorithm

  NikolajBjorner

  committed
  31ee56c

  Copy full SHA for 31ee56c

• extract stats with finalize for parallel mode

  NikolajBjorner

  committed
  538f74d

  Copy full SHA for 538f74d

• Add __enter__ and __exit__ methods on Optimize class (#7477)

  Show description for b429562
  BarrensZeppelin

  authored
  b429562

  Copy full SHA for b429562

Commits on Dec 12, 2024

• add repair step for str.replace

  NikolajBjorner

  committed
  1e5c59a

  Copy full SHA for 1e5c59a

Commits on Dec 10, 2024

• fix #7461

  Show description for e8c2360
  NikolajBjorner

  committed
  e8c2360

  Copy full SHA for e8c2360

Commits on Dec 9, 2024

• add another baseline heuristic for string equalities, add cases for array axioms.

  Show description for 8f5658b
  NikolajBjorner

  committed
  8f5658b

  Copy full SHA for 8f5658b

Commits on Dec 7, 2024

• Update emscripten (#7473)

  Show description for e5f8327
  bakkot

  authored
  e5f8327

  Copy full SHA for e5f8327

Commits on Dec 6, 2024

• fixes to regex membership and edit updates

  Show description for 4fbf54a
  NikolajBjorner

  committed
  4fbf54a

  Copy full SHA for 4fbf54a

• partial fix to make computed term integer well-formed for solve_for functionality

  NikolajBjorner

  committed
  1ab0962

  Copy full SHA for 1ab0962

Commits on Dec 5, 2024

• v0 of edit distance repair

  NikolajBjorner

  committed
  bcb61ee

  Copy full SHA for bcb61ee

• Typescript high-level api for Sets (#7471)

  YuantianDing

  authored
  4be4067

  Copy full SHA for 4be4067

Commits on Dec 4, 2024

• bugfix to elim_uncnstr to ensure nodes are created. Prepare smt_internalizer to replay unit literals

  Show description for a17d4e6
  NikolajBjorner

  committed
  a17d4e6

  Copy full SHA for a17d4e6

Commits on Dec 2, 2024

• Bump docker/build-push-action from 6.9.0 to 6.10.0 (#7469)

  Show description for 6ea4110
  dependabot[bot]

  authored
  6ea4110

  Copy full SHA for 6ea4110

• updates to equality solving search

  Show description for aec8675
  NikolajBjorner

  committed
  aec8675

  Copy full SHA for aec8675

• sls: fix bug where unsat remains empty after a literal is flipped. The new satisfiable subset should be checked

  Show description for e6feb84
  NikolajBjorner

  committed
  e6feb84

  Copy full SHA for e6feb84

Commits on Dec 1, 2024

• add v0 of equality solver

  NikolajBjorner

  committed
  24c3cd3

  Copy full SHA for 24c3cd3

Commits on Nov 30, 2024

• add facility to solve for a linear term over API

  NikolajBjorner

  committed
  05e0532

  Copy full SHA for 05e0532

Commits on Nov 27, 2024

• add projection with witnesses

  Show description for d241156
  NikolajBjorner

  committed
  d241156

  Copy full SHA for d241156

• inherit from std::exception

  Show description for b7b611d
  NikolajBjorner

  committed
  b7b611d

  Copy full SHA for b7b611d

• internalize the reduce_args_tactic to reduce the number of heap allocations

  nunoplopes

  committed
  ab1be5c

  Copy full SHA for ab1be5c

• remove unreachble code

  nunoplopes

  committed
  1ccfba6

  Copy full SHA for 1ccfba6

Commits on Nov 26, 2024

• use ztring

  Show description for 1e62029
  NikolajBjorner

  committed
  1e62029

  Copy full SHA for 1e62029

• add basic regex functions

  Show description for fce377e
  NikolajBjorner

  committed
  fce377e

  Copy full SHA for fce377e

Commits on Nov 25, 2024

• add notes and additional functions to sls-seq

  Show description for b143a95
  NikolajBjorner

  committed
  b143a95

  Copy full SHA for b143a95

• add missing new_value_eh when repaired up

  Show description for aed3279
  NikolajBjorner

  committed
  aed3279

  Copy full SHA for aed3279

Pagination

Previous

Next