Commits

Branch selector

 master

User selector

mtrberzi

Datepicker

All time

Commit History

Commits on Jul 4, 2017

• clean up warnings in theory_str

  mtrberzi

  committed
  03fe3d7

  Copy full SHA for 03fe3d7

Commits on May 13, 2017

• fix consistency check involving strings with escape characters

  mtrberzi

  committed
  3c692a3

  Copy full SHA for 3c692a3

• use correct operator for lower bound assignment

  Show description for 14355a1
  mtrberzi

  committed
  14355a1

  Copy full SHA for 14355a1

• add counter to theory_str::mk_fresh_const()

  mtrberzi

  committed
  bf14755

  Copy full SHA for bf14755

Commits on May 7, 2017

• fix warnings: unused variables, string constants

  mtrberzi

  committed
  6b2a800

  Copy full SHA for 6b2a800

Commits on May 5, 2017

• formatting theory_str.h

  mtrberzi

  committed
  f904b03

  Copy full SHA for f904b03

• formatting theory_str.cpp

  mtrberzi

  committed
  21c8f4a

  Copy full SHA for 21c8f4a

• first-class re.range support in theory_str

  mtrberzi

  committed
  7ddd43e

  Copy full SHA for 7ddd43e

• remove unneeded include

  mtrberzi

  committed
  75ba4d5

  Copy full SHA for 75ba4d5

• Merge branch 'upstream-master' into develop

  mtrberzi

  committed
  8029b6b

  Copy full SHA for 8029b6b

Commits on May 4, 2017

• Merge branch 'upstream-master' into develop

  mtrberzi

  committed
  c569925

  Copy full SHA for c569925

Commits on May 3, 2017

• fix overlap detection internalization

  mtrberzi

  committed
  c2b5e8c

  Copy full SHA for c2b5e8c

• cleanup

  mtrberzi

  committed
  ab4fbe4

  Copy full SHA for ab4fbe4

• Merge branch 'upstream-master' into develop

  Show description for 41a242f
  mtrberzi

  committed
  41a242f

  Copy full SHA for 41a242f

• add iterator accessors to obj_pair_set

  mtrberzi

  committed
  ede6d7b

  Copy full SHA for ede6d7b

Commits on May 2, 2017

• smt_setup framework, all hooks to theory_str are redirected to theory_seq

  mtrberzi

  committed
  92755b0

  Copy full SHA for 92755b0

• fix spacing

  mtrberzi

  committed
  a418f0c

  Copy full SHA for a418f0c

• remove trace code from theory_arith

  mtrberzi

  committed
  e6d527c

  Copy full SHA for e6d527c

• cleanup

  mtrberzi

  committed
  15cb2d7

  Copy full SHA for 15cb2d7

• refactor: add asserts, use case split strategy param

  mtrberzi

  committed
  a8d069b

  Copy full SHA for a8d069b

• theory-aware branching heuristic

  mtrberzi

  committed
  5b47929

  Copy full SHA for 5b47929

• params for theory aware branching

  mtrberzi

  committed
  6cd1f87

  Copy full SHA for 6cd1f87

• Merge branch 'upstream-master' into develop

  Show description for 0862949
  mtrberzi

  committed
  0862949

  Copy full SHA for 0862949

Commits on May 1, 2017

• use reference for case split sets

  mtrberzi

  committed
  16a5e94

  Copy full SHA for 16a5e94

• simplify theory case split handling

  mtrberzi

  committed
  b86d472

  Copy full SHA for b86d472

• fix warning

  mtrberzi

  committed
  3bce61e

  Copy full SHA for 3bce61e

• add theory case split support to smt_context

  mtrberzi

  committed
  2f56d12

  Copy full SHA for 2f56d12

• add params for theory case split

  mtrberzi

  committed
  f655e19

  Copy full SHA for f655e19

Commits on Apr 28, 2017

• theory_str static features and cmd_context

  mtrberzi

  committed
  88147f7

  Copy full SHA for 88147f7

• remove references to str_fid

  mtrberzi

  committed
  d51ebac

  Copy full SHA for d51ebac

• fixup

  mtrberzi

  committed
  f1cee80

  Copy full SHA for f1cee80

• Merge branch 'upstream-master' into develop

  Show description for d2ae949
  mtrberzi

  committed
  d2ae949

  Copy full SHA for d2ae949

• revert change to String sort declaration

  mtrberzi

  committed
  0595819

  Copy full SHA for 0595819

• remove redundant is_seq() check

  mtrberzi

  committed
  12dd6d7

  Copy full SHA for 12dd6d7

Commits on Apr 27, 2017

• fix is_string_term()

  mtrberzi

  committed
  7811a91

  Copy full SHA for 7811a91

Pagination

Previous

Next