Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 27, 2020

• fix z3 library search order

  

  jeff

  committed
  3402df4

  Copy full SHA for 3402df4

• prepare for throttling gcd test and patching based on cost/success ratio

  Show description for 1119961
  NikolajBjorner

  committed
  1119961

  Copy full SHA for 1119961

Commits on Feb 26, 2020

• align parity with signs

  Show description for 4f3fbd3
  NikolajBjorner

  committed
  4f3fbd3

  Copy full SHA for 4f3fbd3

• fix dotnet build

  Show description for 833b54a
  NikolajBjorner

  committed
  833b54a

  Copy full SHA for 833b54a

• fix #3089

  Show description for 915ff38
  NikolajBjorner

  committed
  915ff38

  Copy full SHA for 915ff38

• return non-escaped string value for Python #3080

  Show description for f068954
  NikolajBjorner

  committed
  f068954

  Copy full SHA for f068954

• make aig/ite extraction conditional

  Show description for dddd740
  NikolajBjorner

  committed
  dddd740

  Copy full SHA for dddd740

Commits on Feb 25, 2020

• fix #3087

  Show description for afa34a1
  NikolajBjorner

  committed
  afa34a1

  Copy full SHA for afa34a1

• disable unsound simplify, rename stats, delay region allocation for cutsets

  Show description for 39061d7
  NikolajBjorner

  committed
  39061d7

  Copy full SHA for 39061d7

• Throw proper warning instead of assertion violation in fp.rem. Fixes #2934.

  wintersteiger

  committed
  963f824

  Copy full SHA for 963f824

• fix #3081 fix #3075

  Show description for 198622b
  NikolajBjorner

  committed
  198622b

  Copy full SHA for 198622b

• CTRACE

  Show description for e1ece7e
  NikolajBjorner

  committed
  e1ece7e

  Copy full SHA for e1ece7e

Commits on Feb 24, 2020

• fix #3082

  Show description for 238ff78
  NikolajBjorner

  committed
  238ff78

  Copy full SHA for 238ff78

Commits on Feb 23, 2020

• fix fix

  Show description for b68efe4
  NikolajBjorner

  committed
  b68efe4

  Copy full SHA for b68efe4

• fix #3078

  Show description for cb6eb0f
  NikolajBjorner

  committed
  cb6eb0f

  Copy full SHA for cb6eb0f

• fix #3079

  Show description for 5af1390
  NikolajBjorner

  committed
  5af1390

  Copy full SHA for 5af1390

Commits on Feb 22, 2020

• add output for inprocessing

  Show description for c71da17
  NikolajBjorner

  committed
  c71da17

  Copy full SHA for c71da17

• add simplifiation pass

  Show description for d1e95a1
  NikolajBjorner

  committed
  d1e95a1

  Copy full SHA for d1e95a1

• fix #3055, bound iterations of subpaving

  Show description for ab9bcfd
  NikolajBjorner

  committed
  ab9bcfd

  Copy full SHA for ab9bcfd

• fix #3064

  Show description for 589db20
  NikolajBjorner

  committed
  589db20

  Copy full SHA for 589db20

• fixes to cuts

  Show description for dcd4fff
  NikolajBjorner

  committed
  dcd4fff

  Copy full SHA for dcd4fff

Commits on Feb 21, 2020

• fix #3068: unsound cache of exprs in or expression

  Show description for 7d8b560
  nunoplopes

  committed
  7d8b560

  Copy full SHA for 7d8b560

• fix #3060

  Show description for 1aea0d2
  NikolajBjorner

  committed
  1aea0d2

  Copy full SHA for 1aea0d2

• fix #3057

  Show description for 84b12dd
  NikolajBjorner

  committed
  84b12dd

  Copy full SHA for 84b12dd

Commits on Feb 20, 2020

• z3str3: fix negated str.contains, add reduction for str.at

  

  mtrberzi

  authored and

  NikolajBjorner

  committed
  f604fad

  Copy full SHA for f604fad

• fix #3058: missing cache reset in dom_simplify of not

  Show description for 55df045
  nunoplopes

  committed
  55df045

  Copy full SHA for 55df045

• cut fixes

  Show description for 8b97e26
  NikolajBjorner

  committed
  8b97e26

  Copy full SHA for 8b97e26

• fix #3052: incorrect handling of ands simplified to false in dom-simplify

  Show description for c9be09b
  nunoplopes

  committed
  c9be09b

  Copy full SHA for c9be09b

• fix lut augment

  Show description for 3bb05b5
  NikolajBjorner

  committed
  3bb05b5

  Copy full SHA for 3bb05b5

Commits on Feb 19, 2020

• fix #3023 again

  Show description for a543099
  NikolajBjorner

  committed
  a543099

  Copy full SHA for a543099

• fix #3038 again

  Show description for ff436ec
  NikolajBjorner

  committed
  ff436ec

  Copy full SHA for ff436ec

• fix #3045 fix #3046

  Show description for a4d81b2
  NikolajBjorner

  committed
  a4d81b2

  Copy full SHA for a4d81b2

• More cases needed to find all ite clauses.

  

  Mathias Soeken

  authored and

  NikolajBjorner

  committed
  290b4df

  Copy full SHA for 290b4df

• Constructor compares arguments, not member variables.

  

  Mathias Soeken

  authored and

  NikolajBjorner

  committed
  00e43b6

  Copy full SHA for 00e43b6

• Passing functor by const-reference allows to use lambdas as arguments.

  

  Mathias Soeken

  authored and

  NikolajBjorner

  committed
  b464cf2

  Copy full SHA for b464cf2

Pagination

Previous

Next