Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 29, 2022

• Mark override methods appropriately. (Z3Prover#6207)

  waywardmonkeys

  authored
  1eb84fe

  Copy full SHA for 1eb84fe

• Enable more tests on non-Windows. (Z3Prover#6199)

  Show description for 7823757
  waywardmonkeys

  authored
  7823757

  Copy full SHA for 7823757

Commits on Jul 23, 2022

• Make sure all headers do #pragma once. (Z3Prover#6188)

  waywardmonkeys

  authored
  3e38bbb

  Copy full SHA for 3e38bbb

Commits on Jul 14, 2022

• add var_factors

  Show description for 4a19285
  NikolajBjorner

  committed
  4a19285

  Copy full SHA for 4a19285

Commits on Jun 30, 2022

• add totalizer version of rc2

  Show description for c3d2120
  NikolajBjorner

  committed
  c3d2120

  Copy full SHA for c3d2120

Commits on Jun 29, 2022

• adding totalizer

  NikolajBjorner

  committed
  5afcb48

  Copy full SHA for 5afcb48

Commits on Jun 17, 2022

• attempt to fix windows build bot

  nunoplopes

  committed
  f08e3d7

  Copy full SHA for f08e3d7

• attempt to fix windows build bot

  nunoplopes

  committed
  f3c00a0

  Copy full SHA for f3c00a0

• fix build of tests

  nunoplopes

  committed
  c3407fc

  Copy full SHA for c3407fc

Commits on May 10, 2022

• kernel

  Show description for 5ca3bc3
  NikolajBjorner

  committed
  5ca3bc3

  Copy full SHA for 5ca3bc3

• na

  Show description for 0557d72
  NikolajBjorner

  committed
  0557d72

  Copy full SHA for 0557d72

Commits on May 9, 2022

• adding K

  Show description for 6a8ac5f
  NikolajBjorner

  committed
  6a8ac5f

  Copy full SHA for 6a8ac5f

• gauss jordan

  Show description for ad2445e
  NikolajBjorner

  committed
  ad2445e

  Copy full SHA for ad2445e

Commits on Dec 13, 2021

• include atomic

  Show description for fcdf8d4
  NikolajBjorner

  committed
  fcdf8d4

  Copy full SHA for fcdf8d4

• this one is for you Nuno

  Show description for 0a7e003
  NikolajBjorner

  committed
  0a7e003

  Copy full SHA for 0a7e003

Commits on Dec 12, 2021

• add stub for testing updates to scoped_timer

  Show description for 96e871c
  NikolajBjorner

  committed
  96e871c

  Copy full SHA for 96e871c

Commits on Dec 6, 2021

• Handle correctly cancelled run (Z3Prover#5695)

  Show description for 7758b51
  levnach

  authored
  7758b51

  Copy full SHA for 7758b51

Commits on Sep 20, 2021

• fix build

  Show description for fd79908
  NikolajBjorner

  committed
  fd79908

  Copy full SHA for fd79908

Commits on Aug 27, 2021

• bit_blaster unit tests for adder and multiplier (Z3Prover#5514)

  Show description for cd7a826
  jameysharp

  authored
  cd7a826

  Copy full SHA for cd7a826

Commits on May 20, 2021

• consolidate literals

  NikolajBjorner

  committed
  03d2c5f

  Copy full SHA for 03d2c5f

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 Mar 23, 2021

• zstring: fix encode rountrip for '\' as printable ASCII (Z3Prover#5120)

  Show description for b918f12
  lucab

  authored
  b918f12

  Copy full SHA for b918f12

Commits on Mar 21, 2021

• more scaffolding

  NikolajBjorner

  committed
  2fef6dc

  Copy full SHA for 2fef6dc

Commits on Mar 16, 2021

• fix Z3Prover#5107

  NikolajBjorner

  committed
  0949ad2

  Copy full SHA for 0949ad2

Commits on Feb 20, 2021

• fix user-after-free in smt_ctx test

  nunoplopes

  committed
  7b6eff6

  Copy full SHA for 7b6eff6

Commits on Feb 2, 2021

• remove ast_manager get_sort method entirely

  NikolajBjorner

  committed
  8f577d3

  Copy full SHA for 8f577d3

• refactor get_sort

  NikolajBjorner

  committed
  3ae4c6e

  Copy full SHA for 3ae4c6e

Commits on Feb 1, 2021

• build test

  Show description for 20870c4
  NikolajBjorner

  committed
  20870c4

  Copy full SHA for 20870c4

Commits on Dec 31, 2020

• na

  Show description for 5da71dc
  NikolajBjorner

  committed
  5da71dc

  Copy full SHA for 5da71dc

Commits on Oct 18, 2020

• adding dt-solver (Z3Prover#4739)

  Show description for 2f756da
  NikolajBjorner

  authored
  2f756da

  Copy full SHA for 2f756da

Commits on Sep 17, 2020

• bv and gc of literals (Z3Prover#4692)

  Show description for 5497538
  NikolajBjorner

  authored
  5497538

  Copy full SHA for 5497538

Commits on Sep 14, 2020

• arrays (Z3Prover#4684)

  Show description for 796e2fd
  NikolajBjorner

  authored
  796e2fd

  Copy full SHA for 796e2fd

Commits on Sep 10, 2020

• fixing Z3Prover#4670 (Z3Prover#4682)

  Show description for cfa7c73
  NikolajBjorner

  authored
  cfa7c73

  Copy full SHA for cfa7c73

Commits on Sep 8, 2020

• running updates to bv_solver (Z3Prover#4674)

  Show description for d02b0cd
  NikolajBjorner

  authored
  d02b0cd

  Copy full SHA for d02b0cd

Commits on Aug 25, 2020

• fix build

  Show description for ab10616
  NikolajBjorner

  committed
  ab10616

  Copy full SHA for ab10616

Pagination

Previous

Next