Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 12, 2024

• fix #7446, by adding rewrite simplification

  Show description for c0e748a
  NikolajBjorner

  committed
  c0e748a

  Copy full SHA for c0e748a

• fix #7446, by adding rewrite simplification

  Show description for 1cc808c
  NikolajBjorner

  committed
  1cc808c

  Copy full SHA for 1cc808c

Commits on Nov 11, 2024

• fix #7449

  NikolajBjorner

  committed
  30ad22a

  Copy full SHA for 30ad22a

• avoid circular dependencies in justifications that get updated. fixes #7443

  NikolajBjorner

  committed
  879bb4b

  Copy full SHA for 879bb4b

Commits on Nov 10, 2024

• fix #7448

  NikolajBjorner

  committed
  1856ab7

  Copy full SHA for 1856ab7

• fix #7445

  NikolajBjorner

  committed
  4f060dd

  Copy full SHA for 4f060dd

Commits on Nov 4, 2024

• inherit more exceptions from std::exception

  Show description for abd1674
  NikolajBjorner

  committed
  abd1674

  Copy full SHA for abd1674

• port to inherit from std::exception

  Show description for a38bf3e
  NikolajBjorner

  committed
  a38bf3e

  Copy full SHA for a38bf3e

• add noexcept

  Show description for 407bad3
  NikolajBjorner

  committed
  407bad3

  Copy full SHA for 407bad3

• add noexcept for signature compatibility

  Show description for 42894f7
  NikolajBjorner

  committed
  42894f7

  Copy full SHA for 42894f7

• Make build process work with pyodide (#7442)

  rhelmot

  authored
  75e4677

  Copy full SHA for 75e4677

• use std::exception as base class to z3_exception

  Show description for 9206546
  NikolajBjorner

  committed
  9206546

  Copy full SHA for 9206546

Commits on Nov 2, 2024

• fix reporting on cancelation when based on cancel flag

  NikolajBjorner

  committed
  1957b4d

  Copy full SHA for 1957b4d

• js: Add pseudo-boolean high-level functions (#7426)

  Show description for 604714b
  HalfdanJ

  authored
  604714b

  Copy full SHA for 604714b

• Sls (#7439)

  Show description for 91dc02d
  

  5 peopleauthored
  91dc02d

  Copy full SHA for 91dc02d

Commits on Oct 29, 2024

• fix #7434

  Show description for ecdfab8
  NikolajBjorner

  committed
  ecdfab8

  Copy full SHA for ecdfab8

Commits on Oct 26, 2024

• Add assert_and_track support to Optimize class in .NET binding (#7437)

  Show description for b0fef64
  NikolajBjorner

  authored
  b0fef64

  Copy full SHA for b0fef64

Commits on Oct 22, 2024

• add shortcut to retrieve kind of application

  Show description for 8b657f2
  NikolajBjorner

  committed
  8b657f2

  Copy full SHA for 8b657f2

• add shortcut to retrieve kind of application

  Show description for 78d1139
  NikolajBjorner

  committed
  78d1139

  Copy full SHA for 78d1139

• remove debug out

  Show description for 0ebea1c
  NikolajBjorner

  committed
  0ebea1c

  Copy full SHA for 0ebea1c

• fix non-termination bug in elim-unconstrained, add parameter validation to fix #7432

  NikolajBjorner

  committed
  253f7d7

  Copy full SHA for 253f7d7

• Update sat_ddfw.cpp

  NikolajBjorner

  committed
  d18831c

  Copy full SHA for d18831c

• js: Adding manual release methods (#7428)

  Show description for 45ef6d0
  HalfdanJ

  authored
  45ef6d0

  Copy full SHA for 45ef6d0

Commits on Oct 21, 2024

• It uses C++20 BTW (#7429)

  catap

  authored
  5cee19f

  Copy full SHA for 5cee19f

Commits on Oct 17, 2024

• add variables from definitions

  Show description for a23a8cd
  NikolajBjorner

  committed
  a23a8cd

  Copy full SHA for a23a8cd

Commits on Oct 16, 2024

• better model replay for loose entries

  NikolajBjorner

  committed
  92376e6

  Copy full SHA for 92376e6

• fix incrementality bug for pre-processing: replay has to be invoked on every push regardless.

  NikolajBjorner

  committed
  5a5e39a

  Copy full SHA for 5a5e39a

• update unit_lim to the correct value (#7423)

  Show description for 8ff4036
  stormckey

  authored
  8ff4036

  Copy full SHA for 8ff4036

Commits on Oct 15, 2024

• fix the code to cube at the correct frequency (#7422)

  Show description for 3896e18
  stormckey

  authored
  3896e18

  Copy full SHA for 3896e18

Commits on Oct 14, 2024

• simplify string patterns into prefix/suffix constraints

  Show description for 5993735
  NikolajBjorner

  committed
  5993735

  Copy full SHA for 5993735

• Update docker-image.yml

  Show description for 62478db
  NikolajBjorner

  authored
  62478db

  Copy full SHA for 62478db

Commits on Oct 13, 2024

• fixes for #7420 #7405

  NikolajBjorner

  committed
  56b706a

  Copy full SHA for 56b706a

Commits on Oct 12, 2024

• #7419

  Show description for 3a8195b
  NikolajBjorner

  committed
  3a8195b

  Copy full SHA for 3a8195b

Commits on Oct 11, 2024

• increment minor version number

  Show description for 7a0b58b
  NikolajBjorner

  committed
  7a0b58b

  Copy full SHA for 7a0b58b

Commits on Oct 10, 2024

• fix recursive self call for slice_solver check-sat-cc method

  Show description for efde656
  NikolajBjorner

  committed
  efde656

  Copy full SHA for efde656

Pagination

Previous

Next