Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

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 7, 2022

• fix Z3Prover#6326

  NikolajBjorner

  committed
  5322d4f

  Copy full SHA for 5322d4f

Commits on Nov 18, 2021

• Fix stray semicolon in examples (Z3Prover#5669)

  bostick

  authored
  5351640

  Copy full SHA for 5351640

Commits on Oct 27, 2021

• fix grouping for latest doxygen (Z3Prover#5626)

  Show description for f5f35f8
  traud

  authored
  f5f35f8

  Copy full SHA for f5f35f8

Commits on Apr 14, 2021

• clean up CMake code (Z3Prover#5182)

  Show description for 7f8e2a9
  DerDakon

  authored
  7f8e2a9

  Copy full SHA for 7f8e2a9

Commits on Aug 23, 2020

• void

  Show description for 85b4fc1
  NikolajBjorner

  committed
  85b4fc1

  Copy full SHA for 85b4fc1

Commits on Sep 22, 2019

• clean up examples for unused variables

  Show description for 3eac4a4
  NikolajBjorner

  committed
  3eac4a4

  Copy full SHA for 3eac4a4

Commits on Aug 13, 2019

• Fix confusing tabs mixed in with spaces in C examples.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  0eafeb9

  Copy full SHA for 0eafeb9

Commits on Jun 8, 2019

• increase minimal requirement to 3.4

  Show description for cb6d3d2
  NikolajBjorner

  committed
  cb6d3d2

  Copy full SHA for cb6d3d2

Commits on Dec 24, 2018

• Fix typos.

  waywardmonkeys

  committed
  44bc00f

  Copy full SHA for 44bc00f

Commits on Nov 20, 2018

• Switch from using Z3_bool to using bool.

  Show description for edf8ba4
  waywardmonkeys

  committed
  edf8ba4

  Copy full SHA for edf8ba4

Commits on Nov 19, 2018

• Remove usages of Z3_TRUE / Z3_FALSE.

  Show description for 56bbed1
  waywardmonkeys

  committed
  56bbed1

  Copy full SHA for 56bbed1

Commits on Nov 15, 2018

• use old-fashined C for test_capi

  Show description for a85a612
  NikolajBjorner

  committed
  a85a612

  Copy full SHA for a85a612

Commits on Oct 20, 2018

• Fix some spelling errors (mostly in comments).

  flopp

  committed
  326bf40

  Copy full SHA for 326bf40

Commits on Oct 2, 2018

• Refer to macOS rather than Mac OS / OSX.

  waywardmonkeys

  committed
  a76397d

  Copy full SHA for a76397d

Commits on Jul 5, 2018

• fix c

  Show description for adb9a1c
  NikolajBjorner

  committed
  adb9a1c

  Copy full SHA for adb9a1c

Commits on May 24, 2018

• remove interpolation from test_capi

  Show description for 9f3da32
  NikolajBjorner

  committed
  9f3da32

  Copy full SHA for 9f3da32

Commits on May 1, 2018

• fix build

  Show description for fa93bc4
  NikolajBjorner

  committed
  fa93bc4

  Copy full SHA for fa93bc4

Commits on Apr 30, 2018

• merge

  Show description for f525f43
  NikolajBjorner

  committed
  f525f43

  Copy full SHA for f525f43

Commits on Mar 27, 2018

• fix use of Z3_bool -> Z3_lbool

  Show description for 32c9af5
  NikolajBjorner

  committed
  32c9af5

  Copy full SHA for 32c9af5

Commits on Mar 25, 2018

• merge with master

  Show description for c513f3c
  NikolajBjorner

  committed
  c513f3c

  Copy full SHA for c513f3c

Commits on Jan 2, 2018

• Typo fixes.

  waywardmonkeys

  committed
  73b3da3

  Copy full SHA for 73b3da3

Commits on Nov 29, 2017

• fix c example, remove more smtlib1 printing

  Show description for 2749e54
  NikolajBjorner

  committed
  2749e54

  Copy full SHA for 2749e54

Commits on Nov 2, 2017

• added facility to persist model transformations

  Show description for fd49a0c
  NikolajBjorner

  committed
  fd49a0c

  Copy full SHA for fd49a0c

Commits on Oct 25, 2017

• more C fixes to model example

  Show description for fc73271
  NikolajBjorner

  committed
  fc73271

  Copy full SHA for fc73271

• re-add model example

  Show description for 7ed32f4
  NikolajBjorner

  committed
  7ed32f4

  Copy full SHA for 7ed32f4

• disable model example pending C compliance or C99 or whatever adjustment

  Show description for 2c27056
  NikolajBjorner

  committed
  2c27056

  Copy full SHA for 2c27056

• [CMake] Try to unbreak the C example build with older GCC versions

  Show description for de3700e
  

  Dan Liew

  committed
  de3700e

  Copy full SHA for de3700e

Commits on Oct 24, 2017

• Add example of using Z3's new model construction C API. This API

  Show description for f27ac24
  

  Dan Liew

  committed
  f27ac24

  Copy full SHA for f27ac24

• streamlining proof generation (initial step of removing ast-manager dependency). Detect error in model creation when declaring constant with non-zero arity. See Z3Prover#1223

  Show description for f634396
  NikolajBjorner

  committed
  f634396

  Copy full SHA for f634396

Commits on Oct 16, 2017

• [TravisCI][CMake] Add Z3_C_EXAMPLES_FORCE_CXX_LINKER CMake option

  Show description for a9fcfc5
  

  Dan Liew

  committed
  a9fcfc5

  Copy full SHA for a9fcfc5

Commits on Oct 10, 2017

• working on parallel solver

  Show description for 1a6f8c2
  NikolajBjorner

  committed
  1a6f8c2

  Copy full SHA for 1a6f8c2

• update C-example that fails to not use longjumps. Issue Z3Prover#1297

  Show description for 09ea370
  NikolajBjorner

  committed
  09ea370

  Copy full SHA for 09ea370

Commits on Jul 28, 2017

• merge

  Show description for b482dbd
  NikolajBjorner

  committed
  b482dbd

  Copy full SHA for b482dbd

Commits on Jun 12, 2017

• [CMake] Move CMake files into their intended location so the

  Show description for 4b517b9
  

  Dan Liew

  committed
  4b517b9

  Copy full SHA for 4b517b9

Pagination

Previous

Next