Commits

Breadcrumbs

History for

onmaster

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

Commits on Nov 4, 2024

• use std::exception as base class to z3_exception

  Show description for 9206546
  NikolajBjorner

  committed
  9206546

Commits on Nov 2, 2024

• Sls (#7439)

  Show description for 91dc02d
  

  5 peopleauthored
  91dc02d

Commits on Oct 2, 2024

• remove default destructors

  nunoplopes

  committed
  3586b61

Commits on Oct 1, 2024

• fixes for #7402

  Show description for c7af973
  NikolajBjorner

  committed
  c7af973

Commits on Sep 30, 2024

• fixes to build warnings

  NikolajBjorner

  committed
  826835f

Commits on Sep 23, 2024

• delete more default constructors

  Show description for 737c220
  nunoplopes

  committed
  737c220

Commits on Sep 22, 2024

• updated handling of value initialization for bit-vectors

  NikolajBjorner

  committed
  a9f8ec1

Commits on Sep 20, 2024

• Add support for initializing variable values in solver and optimize contexts in Z3

  NikolajBjorner

  committed
  0c48a50

Commits on Sep 19, 2024

• Add tracking of values size in scoped_state push method in opt_context

  NikolajBjorner

  committed
  4896edf

Commits on Sep 18, 2024

• Add command to set initial value hints for solver in various components

  NikolajBjorner

  committed
  a3f35b6

• Add initial value setting for variables in Z3 API, solver, and optimize modules

  NikolajBjorner

  committed
  48712b4

Commits on Aug 14, 2024

• fix #7343

  Show description for 6565455
  NikolajBjorner

  committed
  6565455

• fix #7343

  Show description for ed17de5
  NikolajBjorner

  committed
  ed17de5

Commits on Jun 15, 2024

• fix #7245

  NikolajBjorner

  committed
  01e47bf

Commits on Feb 8, 2024

• Fix some typos. (#7115)

  waywardmonkeys

  authored
  53f89a8

Commits on Jan 12, 2024

• spell check from microsoft/z3guide#165

  Show description for 3381fd2
  NikolajBjorner

  committed
  3381fd2

Commits on Dec 14, 2023

• fix #7053

  NikolajBjorner

  committed
  b40e301

Commits on Nov 28, 2023

• fix #7018

  NikolajBjorner

  committed
  69f9640

Commits on Apr 25, 2023

• weird latent bug in wmax: init() succeeds and it returns undef

  NikolajBjorner

  committed
  d8156ae

• use only maxres if there is a lexicographic objective, fix #6697

  Show description for fdd5c92
  NikolajBjorner

  committed
  fdd5c92

Commits on Dec 31, 2022

• experimental feature to access congruence closure of SimpleSolver

  Show description for f6d411d
  NikolajBjorner

  committed
  f6d411d

Commits on Nov 15, 2022

• remove legacy solve_eqs_tactic entirely

  Show description for 6297c00
  NikolajBjorner

  committed
  6297c00

Commits on Nov 8, 2022

• switch to solve_eqs2 tactic

  NikolajBjorner

  committed
  3a37cfc

Commits on Nov 3, 2022

• move model and proof converters to self-contained module

  NikolajBjorner

  committed
  1dca640

Commits on Oct 28, 2022

• #6421

  NikolajBjorner

  committed
  0e651ee

Commits on Sep 28, 2022

• update proof formats for new core

  Show description for 107981f
  NikolajBjorner

  committed
  107981f

Commits on Sep 21, 2022

• #6319

  Show description for 42945de
  NikolajBjorner

  committed
  42945de

Commits on Aug 5, 2022

• Use = default for virtual constructors.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  5014b1a

• Fix typos.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  1d9345c

Commits on Jul 30, 2022

• Remove empty leaf destructors. (#6211)

  waywardmonkeys

  authored
  5d0dea0

Commits on Jul 5, 2022

• add parameter incremental to ensure preprocessing does not interefere with adding constraints during search

  Show description for ac822ac
  NikolajBjorner

  committed
  ac822ac

Commits on Jul 1, 2022

• totalizer

  NikolajBjorner

  committed
  94a2477

Commits on Jun 30, 2022

• add totalizer version of rc2

  Show description for c3d2120
  NikolajBjorner

  committed
  c3d2120

Commits on Jun 29, 2022

• adding totalizer

  NikolajBjorner

  committed
  5afcb48

Pagination

PreviousNext