Commits

Branch selector

 0a6a767

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 12, 2019

• docker: ubuntu 14.04 dotnet source fix

  

  Yatao Li

  committed
  0a6a767

  Copy full SHA for 0a6a767

• dotnet: move example project build to cmake

  

  Yatao Li

  committed
  5e79dba

  Copy full SHA for 5e79dba

• dotnet: remove stale packages before pack; relay cmake config generator expression into msbuild property..

  

  Yatao Li

  committed
  55f92f3

  Copy full SHA for 55f92f3

• dotnet: identifies arch-specific native libraries

  

  Yatao Li

  committed
  4b3189f

  Copy full SHA for 4b3189f

• FindDotnet: generator expression IF is not available for older cmake versions

  

  Yatao Li

  committed
  3767c31

  Copy full SHA for 3767c31

• dotnet: reigster local repo for nupkg

  

  Yatao Li

  committed
  e5f6526

  Copy full SHA for e5f6526

• dotnet: update build scripts

  

  Yatao Li

  committed
  53eaab4

  Copy full SHA for 53eaab4

• Merge remote-tracking branch 'upstream/master'

  

  Yatao Li

  committed
  17596fc

  Copy full SHA for 17596fc

• .net: remove net35 related build props; drop src/api/dotnet/core

  

  Yatao Li

  committed
  ffd26e5

  Copy full SHA for ffd26e5

• fix cnf check

  Show description for 63d480f
  NikolajBjorner

  committed
  63d480f

  Copy full SHA for 63d480f

• speed-up handling of cnf input to inc_sat_solver

  Show description for b8d18c6
  NikolajBjorner

  committed
  b8d18c6

  Copy full SHA for b8d18c6

Commits on Jan 11, 2019

• use ref-vector for shared occurrences to avoid hash-table overhead

  Show description for 9bd4050
  NikolajBjorner

  committed
  9bd4050

  Copy full SHA for 9bd4050

• Merge branch 'master' of https://github.com/z3prover/z3

  NikolajBjorner

  committed
  f8f3549

  Copy full SHA for f8f3549

• Merge branch 'master' of https://github.com/z3prover/z3

  NikolajBjorner

  committed
  1a46365

  Copy full SHA for 1a46365

• fix Z3Prover#2077

  Show description for f1c3e1a
  NikolajBjorner

  committed
  f1c3e1a

  Copy full SHA for f1c3e1a

• add useful div lemma for case Z3Prover#2079

  Show description for 434eb25
  NikolajBjorner

  committed
  434eb25

  Copy full SHA for 434eb25

Commits on Jan 10, 2019

• fix drat output for elim_eqs

  Show description for 6e60926
  NikolajBjorner

  committed
  6e60926

  Copy full SHA for 6e60926

• set a throttle on ala

  Show description for b12c1b1
  NikolajBjorner

  committed
  b12c1b1

  Copy full SHA for b12c1b1

• Merge branch 'master' of https://github.com/z3prover/z3

  NikolajBjorner

  committed
  7fc349b

  Copy full SHA for 7fc349b

• add checkpoints to blocked clause elimination to handle timeouts, Z3Prover#2080

  Show description for 59b0b56
  NikolajBjorner

  committed
  59b0b56

  Copy full SHA for 59b0b56

• Merge pull request Z3Prover#2073 from waywardmonkeys/emscripten-no-debug

  Show description for 1e4662e
  NikolajBjorner

  authored
  1e4662e

  Copy full SHA for 1e4662e

• have sat cleaner use a fixed-point

  Show description for efaab6d
  NikolajBjorner

  committed
  efaab6d

  Copy full SHA for efaab6d

Commits on Jan 9, 2019

• fix Z3Prover#2076, add option to handle .cnf files into dimacs parser

  Show description for 9c318ed
  NikolajBjorner

  committed
  9c318ed

  Copy full SHA for 9c318ed

Commits on Jan 8, 2019

• fix regression from Z3Prover#2061 breaking Z3Prover#2074

  Show description for b63a0e3
  NikolajBjorner

  committed
  b63a0e3

  Copy full SHA for b63a0e3

Commits on Jan 7, 2019

• Merge branch 'master' of https://github.com/z3prover/z3

  NikolajBjorner

  committed
  14f3ff0

  Copy full SHA for 14f3ff0

• defer blocking propagation until all properties of literal have been axiomatized. Deals with seq part of Z3Prover#2071

  Show description for cec34c7
  NikolajBjorner

  committed
  cec34c7

  Copy full SHA for cec34c7

• Define NO_Z3_DEBUGGER for emscripten builds.

  waywardmonkeys

  committed
  d757c34

  Copy full SHA for d757c34

• Merge branch 'master' of https://github.com/z3prover/z3

  NikolajBjorner

  committed
  bde4ddd

  Copy full SHA for bde4ddd

• fix Z3Prover#2060. Code comment was right, code wasn't. Code comment and code could also be tuned

  Show description for 6113149
  NikolajBjorner

  committed
  6113149

  Copy full SHA for 6113149

• Merge pull request Z3Prover#2051 from waywardmonkeys/wasm-builds

  Show description for dc94d83
  NikolajBjorner

  authored
  dc94d83

  Copy full SHA for dc94d83

• Merge pull request Z3Prover#2065 from waywardmonkeys/improve-ios-support

  Show description for 2486971
  NikolajBjorner

  authored
  2486971

  Copy full SHA for 2486971

• Merge pull request Z3Prover#2066 from waywardmonkeys/const-str-hashtable

  Show description for 8ad2f70
  NikolajBjorner

  authored
  8ad2f70

  Copy full SHA for 8ad2f70

• add set method to iterator, Z3Prover#2068, a set method to the vector template was also added

  Show description for ea48d0a
  NikolajBjorner

  committed
  ea48d0a

  Copy full SHA for ea48d0a

Commits on Jan 6, 2019

• ever so gentle slap over the fingers for not using real regular expressions, Z3Prover#2058

  Show description for a87f7a1
  NikolajBjorner

  committed
  a87f7a1

  Copy full SHA for a87f7a1

• Merge branch 'master' of https://github.com/z3prover/z3

  NikolajBjorner

  committed
  6f68808

  Copy full SHA for 6f68808

Pagination

Previous

Next