Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 19, 2020

• use single return pattern

  Show description for 0f8f886
  NikolajBjorner

  committed
  0f8f886

  Copy full SHA for 0f8f886

• typing error

  Show description for bc03ffb
  NikolajBjorner

  committed
  bc03ffb

  Copy full SHA for bc03ffb

• don't pretend to handle new operators #4387

  Show description for 7f22eb5
  NikolajBjorner

  committed
  7f22eb5

  Copy full SHA for 7f22eb5

• na

  Show description for e525543
  NikolajBjorner

  committed
  e525543

  Copy full SHA for e525543

• na

  Show description for d26ef08
  NikolajBjorner

  committed
  d26ef08

  Copy full SHA for d26ef08

• ranges are never nullable

  Show description for ff34d84
  NikolajBjorner

  committed
  ff34d84

  Copy full SHA for ff34d84

• constant folding

  Show description for 6e55880
  NikolajBjorner

  committed
  6e55880

  Copy full SHA for 6e55880

• kleene

  Show description for 5bbf05c
  NikolajBjorner

  committed
  5bbf05c

  Copy full SHA for 5bbf05c

• try to make template parsing work

  Show description for fcd2bc6
  NikolajBjorner

  committed
  fcd2bc6

  Copy full SHA for fcd2bc6

• disable maxsat. for a mysterious reason it started failing on a single macos build

  Show description for 323a752
  NikolajBjorner

  committed
  323a752

  Copy full SHA for 323a752

• remove std::mutex, replace by util/mutex.h in api_solver

  Show description for 5522582
  NikolajBjorner

  committed
  5522582

  Copy full SHA for 5522582

• na

  Show description for 10edee4
  NikolajBjorner

  committed
  10edee4

  Copy full SHA for 10edee4

• remove case with hi = 0

  Show description for 9d6c870
  NikolajBjorner

  committed
  9d6c870

  Copy full SHA for 9d6c870

• add nullable, get-head-tail with Caleb

  Show description for f8d328b
  NikolajBjorner

  committed
  f8d328b

  Copy full SHA for f8d328b

• parens

  Show description for c40c431
  NikolajBjorner

  committed
  c40c431

  Copy full SHA for c40c431

• rename temporary macro

  Show description for 5844964
  NikolajBjorner

  committed
  5844964

  Copy full SHA for 5844964

Commits on May 18, 2020

• st

  Show description for 8e8e9be
  NikolajBjorner

  committed
  8e8e9be

  Copy full SHA for 8e8e9be

• thanks to https://github.com/Z3Prover/z3/pull/4382#issuecomment-630468832_

  Show description for c2a59a8
  NikolajBjorner

  committed
  c2a59a8

  Copy full SHA for c2a59a8

• remove thread dependency in symbol.cpp on single thread #4382

  Show description for 801eb47
  NikolajBjorner

  committed
  801eb47

  Copy full SHA for 801eb47

• remove thread dependency in symbol.cpp on single thread #4382

  Show description for ff10afd
  NikolajBjorner

  committed
  ff10afd

  Copy full SHA for ff10afd

• another module level ifdef for #4382

  Show description for f538ee3
  NikolajBjorner

  committed
  f538ee3

  Copy full SHA for f538ee3

• another module level ifdef for #4382

  Show description for fd57fae
  NikolajBjorner

  committed
  fd57fae

  Copy full SHA for fd57fae

• another module level ifdef for #4382

  Show description for c8c0206
  NikolajBjorner

  committed
  c8c0206

  Copy full SHA for c8c0206

• disable selected functionality in SINGLE_THREAD mode

  Show description for d603bd7
  NikolajBjorner

  committed
  d603bd7

  Copy full SHA for d603bd7

• deal with unsigned / bignum #4361

  Show description for 1072bf1
  NikolajBjorner

  committed
  1072bf1

  Copy full SHA for 1072bf1

• fix #4359 and regression to #3270

  NikolajBjorner

  committed
  78a4717

  Copy full SHA for 78a4717

• re.range with non-unit arguments is the empty language (#4360)

  mtrberzi

  authored
  1c760b0

  Copy full SHA for 1c760b0

• fix hex digit radix in unicode escape (#4356)

  mtrberzi

  authored
  152d633

  Copy full SHA for 152d633

• optional unicode mode

  Show description for 1def58b
  NikolajBjorner

  committed
  1def58b

  Copy full SHA for 1def58b

Commits on May 17, 2020

• fix #4355

  Show description for 30f17b1
  NikolajBjorner

  committed
  30f17b1

  Copy full SHA for 30f17b1

• fix build

  Show description for 951c769
  NikolajBjorner

  committed
  951c769

  Copy full SHA for 951c769

• initial stab at independent unicode module

  Show description for 1bfc12d
  NikolajBjorner

  committed
  1bfc12d

  Copy full SHA for 1bfc12d

• seq

  Show description for fc8dfe3
  NikolajBjorner

  committed
  fc8dfe3

  Copy full SHA for fc8dfe3

• additional str/re operators, remove encoding option from zstring

  Show description for 34cc604
  NikolajBjorner

  committed
  34cc604

  Copy full SHA for 34cc604

• fix nla_monotone lemmas again

  Show description for b2bfb1f
  NikolajBjorner

  committed
  b2bfb1f

  Copy full SHA for b2bfb1f

Pagination

Previous

Next