Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 14, 2021

• call it data instead of c_ptr for approaching C++11 std::vector convention.

  NikolajBjorner

  committed
  4a60838

  Copy full SHA for 4a60838

Commits on Feb 2, 2021

• remove ast_manager get_sort method entirely

  NikolajBjorner

  committed
  8f577d3

  Copy full SHA for 8f577d3

Commits on Oct 18, 2020

• adding dt-solver (Z3Prover#4739)

  Show description for 2f756da
  NikolajBjorner

  authored
  2f756da

  Copy full SHA for 2f756da

Commits on Jul 11, 2020

• fix a couple hundred deref-after-free bugs due to .c_str() on a temporary string

  nunoplopes

  committed
  23e6adc

  Copy full SHA for 23e6adc

Commits on Oct 6, 2018

• build

  Show description for aad0981
  NikolajBjorner

  committed
  aad0981

  Copy full SHA for aad0981

Commits on Jun 20, 2018

• fix tests

  Show description for 792bf6c
  NikolajBjorner

  committed
  792bf6c

  Copy full SHA for 792bf6c

Commits on Jul 31, 2017

• make include paths uniformly use path relative to src. Z3Prover#534

  Show description for b19f94a
  NikolajBjorner

  committed
  b19f94a

  Copy full SHA for b19f94a

Commits on Jul 27, 2017

• ensure that assertions within the unit tests are exercised in all build modes, remove special handling of SASSERT for release mode Z3Prover#1163

  Show description for b1298d7
  NikolajBjorner

  committed
  b1298d7

  Copy full SHA for b1298d7

Commits on Jul 4, 2017

• fix compiler warnings

  Show description for a1306ea
  NikolajBjorner

  committed
  a1306ea

  Copy full SHA for a1306ea

Commits on Oct 25, 2016

• fixed unhandled case warning in test/qe_arith.cpp

  

  Christoph M. Wintersteiger

  committed
  c7fddf8

  Copy full SHA for c7fddf8

Commits on Jun 26, 2016

• move arithmetical mbp functionality to model_based_opt

  Show description for 7fc294d
  NikolajBjorner

  committed
  7fc294d

  Copy full SHA for 7fc294d

Commits on Jun 22, 2016

• Fixed test case

  

  Christoph M. Wintersteiger

  committed
  89b1d7d

  Copy full SHA for 89b1d7d

Commits on May 4, 2016

• adding unit tests for qe_arith/mbo

  Show description for 044e08a
  NikolajBjorner

  committed
  044e08a

  Copy full SHA for 044e08a

Commits on Mar 19, 2016

• moving remaining qsat functionality over

  Show description for 20bbdfe
  NikolajBjorner

  committed
  20bbdfe

  Copy full SHA for 20bbdfe

Commits on Jun 24, 2015

• fix build break

  Show description for c3e666b
  NikolajBjorner

  committed
  c3e666b

  Copy full SHA for c3e666b

Commits on Jun 10, 2015

• added missing Copyright forms

  Show description for b08ccc7
  NikolajBjorner

  committed
  b08ccc7

  Copy full SHA for b08ccc7

Commits on Sep 15, 2013

• Fix build of test

  Show description for be044f4
  NikolajBjorner

  committed
  be044f4

  Copy full SHA for be044f4

Commits on Sep 13, 2013

• fix bug found by Ethan: fresh values for bit-vectors loops if the domain of bit-vectors is truly small

  Show description for 419f99c
  NikolajBjorner

  committed
  419f99c

  Copy full SHA for 419f99c

Commits on Sep 12, 2013

• testing qe_arith

  Show description for 8ab04fb
  NikolajBjorner

  committed
  8ab04fb

  Copy full SHA for 8ab04fb

• fixes for qe_arith

  Show description for 196aed7
  NikolajBjorner

  committed
  196aed7

  Copy full SHA for 196aed7

• add qe_arith routine for LW projection on monomomes

  Show description for 4af4466
  NikolajBjorner

  committed
  4af4466

  Copy full SHA for 4af4466

Loading