Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 16, 2019

• typo

  nunoplopes

  committed
  f0b8da4

  Copy full SHA for f0b8da4

• update release notes

  Show description for 2bf595c
  NikolajBjorner

  committed
  2bf595c

  Copy full SHA for 2bf595c

• fix #2706

  Show description for cbac860
  NikolajBjorner

  committed
  cbac860

  Copy full SHA for cbac860

• fix crash in BV internalizer due to unknown bv_neg symbol

  nunoplopes

  committed
  b9bc697

  Copy full SHA for b9bc697

Commits on Nov 15, 2019

• consolidate model.compact and model_compress #2704

  Show description for cb600a9
  NikolajBjorner

  committed
  cb600a9

  Copy full SHA for cb600a9

Commits on Nov 14, 2019

• inherit weights

  Show description for 1a9dfc5
  NikolajBjorner

  committed
  1a9dfc5

  Copy full SHA for 1a9dfc5

• print weight if it is different from default #2667

  Show description for 784e272
  NikolajBjorner

  committed
  784e272

  Copy full SHA for 784e272

• ensure generation is increased #2667

  Show description for 5f90e72
  NikolajBjorner

  committed
  5f90e72

  Copy full SHA for 5f90e72

Commits on Nov 12, 2019

• fix E instantiation

  Show description for 1281964
  NikolajBjorner

  committed
  1281964

  Copy full SHA for 1281964

Commits on Nov 11, 2019

• clang warnings

  Show description for 74cfcc4
  NikolajBjorner

  committed
  74cfcc4

  Copy full SHA for 74cfcc4

• address clang warnings

  Show description for 20598e3
  NikolajBjorner

  committed
  20598e3

  Copy full SHA for 20598e3

• remove unused variable

  Show description for 0c1b68b
  NikolajBjorner

  committed
  0c1b68b

  Copy full SHA for 0c1b68b

• remove assert

  Show description for c73a87c
  NikolajBjorner

  committed
  c73a87c

  Copy full SHA for c73a87c

• fixing smtfd

  Show description for 779183d
  NikolajBjorner

  committed
  779183d

  Copy full SHA for 779183d

• fix declaration sorts of auxiliary functions

  Show description for d23230e
  NikolajBjorner

  committed
  d23230e

  Copy full SHA for d23230e

Commits on Nov 8, 2019

• remove IS_GNU

  Show description for dd827ca
  NikolajBjorner

  committed
  dd827ca

  Copy full SHA for dd827ca

• remove deprecated and bind1st and unused warnings

  Show description for 4fabaf9
  NikolajBjorner

  committed
  4fabaf9

  Copy full SHA for 4fabaf9

• deal with warnings

  Show description for 984db30
  NikolajBjorner

  committed
  984db30

  Copy full SHA for 984db30

• fix #2675

  Show description for 4527a99
  NikolajBjorner

  committed
  4527a99

  Copy full SHA for 4527a99

Commits on Nov 7, 2019

• fix output

  Show description for 1fec4bb
  NikolajBjorner

  committed
  1fec4bb

  Copy full SHA for 1fec4bb

• remove print

  Show description for 0a8b924
  NikolajBjorner

  committed
  0a8b924

  Copy full SHA for 0a8b924

Commits on Nov 6, 2019

• na

  Show description for b76dee7
  NikolajBjorner

  committed
  b76dee7

  Copy full SHA for b76dee7

• add definitions for under-specified cases of arithmetic operators #2663 #2676 #2679

  Show description for 1e0c1ce
  NikolajBjorner

  committed
  1e0c1ce

  Copy full SHA for 1e0c1ce

• adding div0

  Show description for 6cf7d8e
  NikolajBjorner

  committed
  6cf7d8e

  Copy full SHA for 6cf7d8e

• Merge pull request #2683 from fpoli/fix-static-linking

  Show description for 1048abf
  NikolajBjorner

  authored
  1048abf

  Copy full SHA for 1048abf

• Merge branch 'master' into fix-static-linking

  NikolajBjorner

  authored
  ac60269

  Copy full SHA for ac60269

• Link pthread with --whole-archive option on Linux

  Show description for 7eb6731
  fpoli

  committed
  7eb6731

  Copy full SHA for 7eb6731

• enable static linking pthreads, conditionally, #2683

  Show description for c181f89
  NikolajBjorner

  committed
  c181f89

  Copy full SHA for c181f89

• update README on cmake

  Show description for cef5a26
  NikolajBjorner

  committed
  cef5a26

  Copy full SHA for cef5a26

Commits on Nov 5, 2019

• remove divergent ordering

  Show description for 8a420c8
  NikolajBjorner

  committed
  8a420c8

  Copy full SHA for 8a420c8

• investigating relevancy

  Show description for 23029da
  NikolajBjorner

  committed
  23029da

  Copy full SHA for 23029da

Commits on Nov 3, 2019

• expand deep stores by lambdas to avoid expanding select/store axioms

  Show description for a78f899
  NikolajBjorner

  committed
  a78f899

  Copy full SHA for a78f899

• na

  Show description for d866a93
  NikolajBjorner

  committed
  d866a93

  Copy full SHA for d866a93

• Add hurd support

  Show description for da061bb
  

  sthibaul

  authored and

  NikolajBjorner

  committed
  da061bb

  Copy full SHA for da061bb

Commits on Oct 31, 2019

• na

  Show description for 16d4ccd
  NikolajBjorner

  committed
  16d4ccd

  Copy full SHA for 16d4ccd

Pagination

Previous

Next