Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 4, 2024

• inherit more exceptions from std::exception

  NikolajBjorner

  committed
  abd1674
  More actions

• port to inherit from std::exception

  NikolajBjorner

  committed
  a38bf3e
  More actions

• add noexcept

  NikolajBjorner

  committed
  407bad3
  More actions

• add noexcept for signature compatibility

  NikolajBjorner

  committed
  42894f7
  More actions

• Make build process work with pyodide (#7442)

  rhelmot

  authored
  75e4677
  More actions

• use std::exception as base class to z3_exception

  NikolajBjorner

  committed
  9206546
  More actions

Commits on Nov 2, 2024

• fix reporting on cancelation when based on cancel flag

  NikolajBjorner

  committed
  1957b4d
  More actions

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

  HalfdanJ

  authored
  604714b
  More actions

• Sls (#7439)

  

  5 peopleauthored
  91dc02d
  More actions

Commits on Oct 29, 2024

• fix #7434

  NikolajBjorner

  committed
  ecdfab8
  More actions

Commits on Oct 26, 2024

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

  NikolajBjorner

  authored
  b0fef64
  More actions

Commits on Oct 22, 2024

• add shortcut to retrieve kind of application

  NikolajBjorner

  committed
  8b657f2
  More actions

• add shortcut to retrieve kind of application

  NikolajBjorner

  committed
  78d1139
  More actions

• remove debug out

  NikolajBjorner

  committed
  0ebea1c
  More actions

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

  NikolajBjorner

  committed
  253f7d7
  More actions

• Update sat_ddfw.cpp

  NikolajBjorner

  committed
  d18831c
  More actions

• js: Adding manual release methods (#7428)

  HalfdanJ

  authored
  45ef6d0
  More actions

Commits on Oct 21, 2024

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

  catap

  authored
  5cee19f
  More actions

Commits on Oct 17, 2024

• add variables from definitions

  NikolajBjorner

  committed
  a23a8cd
  More actions

Commits on Oct 16, 2024

• better model replay for loose entries

  NikolajBjorner

  committed
  92376e6
  More actions

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

  NikolajBjorner

  committed
  5a5e39a
  More actions

• update unit_lim to the correct value (#7423)

  stormckey

  authored
  8ff4036
  More actions

Commits on Oct 15, 2024

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

  stormckey

  authored
  3896e18
  More actions

Commits on Oct 14, 2024

• simplify string patterns into prefix/suffix constraints

  NikolajBjorner

  committed
  5993735
  More actions

• Update docker-image.yml

  NikolajBjorner

  authored
  62478db
  More actions

Commits on Oct 13, 2024

• fixes for #7420 #7405

  NikolajBjorner

  committed
  56b706a
  More actions

Commits on Oct 12, 2024

• #7419

  NikolajBjorner

  committed
  3a8195b
  More actions

Commits on Oct 11, 2024

• increment minor version number

  NikolajBjorner

  committed
  7a0b58b
  More actions

Commits on Oct 10, 2024

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

  NikolajBjorner

  committed
  efde656
  More actions

• add _0 to platform tag for pypi

  NikolajBjorner

  committed
  54d30f2
  More actions

• downgrade to macos13 in builds until fully supported by pypi

  NikolajBjorner

  committed
  6e3b99f
  More actions

• update release notes

  NikolajBjorner

  committed
  b268b56
  More actions

Commits on Oct 9, 2024

• fix typo in setup.py

  NikolajBjorner

  committed
  00f1f1b
  More actions

• remove : from setup.py

  NikolajBjorner

  committed
  fe71b75
  More actions

• remove hard-wired osx=11.0

  NikolajBjorner

  committed
  5dc1b1a
  More actions

Pagination

PreviousNext