Commits

Breadcrumbs

History for

ondevel

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 23, 2024

• Update Ubuntu job name in Azure pipeline and add string variable creation in C API example

  NikolajBjorner

  committed
  ec14ef7

  Copy full SHA for ec14ef7

Commits on Feb 21, 2024

• fix generic example

  Show description for f7691d3
  NikolajBjorner

  committed
  f7691d3

  Copy full SHA for f7691d3

Commits on Feb 8, 2024

• Fix some typos. (Z3Prover#7115)

  waywardmonkeys

  authored
  53f89a8

  Copy full SHA for 53f89a8

Commits on Dec 23, 2023

• Add branch and bound solver, for fun

  NikolajBjorner

  committed
  ebe5ebf

  Copy full SHA for ebe5ebf

Commits on Dec 21, 2023

• bugfix on slack

  Show description for 4fe4234
  NikolajBjorner

  committed
  4fe4234

  Copy full SHA for 4fe4234

• improve add bin/item functions

  Show description for ae1d927
  NikolajBjorner

  committed
  ae1d927

  Copy full SHA for ae1d927

• rudimentary bin cover solver using the user propagator

  Show description for b09c237
  NikolajBjorner

  committed
  b09c237

  Copy full SHA for b09c237

• Add Z3_get_estimated_alloc_size to OCaml API (Z3Prover#7068)

  wintersteiger

  authored
  68a2c08

  Copy full SHA for 68a2c08

Commits on Nov 23, 2023

• Add accessors for RCF numeral internals (Z3Prover#7013)

  wintersteiger

  authored
  16753e4

  Copy full SHA for 16753e4

Commits on Oct 6, 2023

• Add RCF functions to OCaml API (Z3Prover#6932)

  wintersteiger

  authored
  23de805

  Copy full SHA for 23de805

Commits on Apr 2, 2023

• fix Z3Prover#6665

  Show description for 5b385bd
  NikolajBjorner

  committed
  5b385bd

  Copy full SHA for 5b385bd

Commits on Mar 27, 2023

• fix build

  NikolajBjorner

  committed
  ce09c2e

  Copy full SHA for ce09c2e

• fix Z3Prover#6644

  NikolajBjorner

  committed
  b4ad747

  Copy full SHA for b4ad747

Commits on Jan 24, 2023

• switch to expose fresh function instead of changing legacy function

  Show description for fa72ec5
  NikolajBjorner

  committed
  fa72ec5

  Copy full SHA for fa72ec5

• update ml example to 64 bit

  Show description for 47c7ed3
  NikolajBjorner

  committed
  47c7ed3

  Copy full SHA for 47c7ed3

Commits on Jan 20, 2023

• remove msf example, add option to make model converter not reduce models

  Show description for f3d6856
  NikolajBjorner

  committed
  f3d6856

  Copy full SHA for f3d6856

Commits on Dec 1, 2022

• fix tptp5 build

  NikolajBjorner

  committed
  147fb0d

  Copy full SHA for 147fb0d

Commits on Nov 30, 2022

• add more simplifiers, fix model reconstruction order for elim_unconstrained

  Show description for cfc8e19
  NikolajBjorner

  committed
  cfc8e19

  Copy full SHA for cfc8e19

Commits on Oct 20, 2022

• add examples with proof replay

  Show description for f6595c1
  NikolajBjorner

  committed
  f6595c1

  Copy full SHA for f6595c1

Commits on Oct 19, 2022

• add example for monitoring proof logs

  Show description for 88d10f7
  NikolajBjorner

  committed
  88d10f7

  Copy full SHA for 88d10f7

Commits on Oct 14, 2022

• add missing break stmt to example

  Show description for 87e4522
  nunoplopes

  committed
  87e4522

  Copy full SHA for 87e4522

Commits on Sep 12, 2022

• revert update to netcoreapp version

  Show description for 9b7c66e
  NikolajBjorner

  committed
  9b7c66e

  Copy full SHA for 9b7c66e

• increment version number

  NikolajBjorner

  committed
  ff679e0

  Copy full SHA for ff679e0

Commits on Sep 7, 2022

• fix Z3Prover#6326

  NikolajBjorner

  committed
  5322d4f

  Copy full SHA for 5322d4f

Commits on Aug 11, 2022

• formula simplification example

  Show description for 791ca02
  NikolajBjorner

  committed
  791ca02

  Copy full SHA for 791ca02

Commits on Aug 5, 2022

• z3++.h: No longer include unused sstream.

  Show description for 6835522
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  6835522

  Copy full SHA for 6835522

• userPropagator: Compile as C++20.

  Show description for 7eb1e6d
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  7eb1e6d

  Copy full SHA for 7eb1e6d

Commits on Aug 2, 2022

• cmake: Remove ExternalProject BUILD_ALWAYS workaround.

  Show description for fb1d0bc
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  fb1d0bc

  Copy full SHA for fb1d0bc

Commits on Jul 21, 2022

• add mutual recursive datatypes to c++ API Z3Prover#6179

  Show description for 5b219aa
  NikolajBjorner

  committed
  5b219aa

  Copy full SHA for 5b219aa

• add API and example for one dimensional algebraic datatype Z3Prover#6179

  NikolajBjorner

  committed
  2e13c0b

  Copy full SHA for 2e13c0b

Commits on Jul 18, 2022

• fix Z3Prover#6114

  NikolajBjorner

  committed
  393c63f

  Copy full SHA for 393c63f

Commits on Jun 17, 2022

• fix build warning+error in c++ example

  nunoplopes

  committed
  fcbbf7b

  Copy full SHA for fcbbf7b

Commits on May 28, 2022

• use structured proof hints

  Show description for dd46224
  NikolajBjorner

  committed
  dd46224

  Copy full SHA for dd46224

Commits on Apr 5, 2022

• add example for Z3Prover#5933

  NikolajBjorner

  committed
  a5d588c

  Copy full SHA for a5d588c

Commits on Apr 4, 2022

• handle return status

  NikolajBjorner

  committed
  053cb72

  Copy full SHA for 053cb72

Pagination

Previous

Next