Commits

Branch selector

 master

User selector

levnach

Datepicker

All time

Commit History

Commits on Jul 17, 2018

• Merge pull request #1758 from levnach/bugfix

  Show description for 01b5db6
  levnach

  authored
  01b5db6

  Copy full SHA for 01b5db6

Commits on Jul 16, 2018

• speed up find_cube

  Show description for b71fe0b
  levnach

  committed
  b71fe0b

  Copy full SHA for b71fe0b

• Merge pull request #1756 from levnach/bugfix

  Show description for 84c1e00
  levnach

  authored
  84c1e00

  Copy full SHA for 84c1e00

• fix in cube heuristic

  Show description for 35f7f1f
  levnach

  committed
  35f7f1f

  Copy full SHA for 35f7f1f

Commits on Jul 15, 2018

• avoid a vector copy

  Show description for f7ac096
  levnach

  committed
  f7ac096

  Copy full SHA for f7ac096

Commits on Jul 11, 2018

• Merge pull request #1750 from levnach/master

  Show description for 5314ae6
  levnach

  authored
  5314ae6

  Copy full SHA for 5314ae6

• fix in hnf for the lower bounds

  Show description for e0e893b
  levnach

  committed
  e0e893b

  Copy full SHA for e0e893b

• do not add term to hnf if one of the vars has v.y value

  Show description for 2dfb8f5
  levnach

  committed
  2dfb8f5

  Copy full SHA for 2dfb8f5

• create hnf cuts too, when gomory_cut_period is 2

  Show description for 5cfc359
  levnach

  committed
  5cfc359

  Copy full SHA for 5cfc359

• rebase

  Show description for 3c23072
  levnach

  committed
  3c23072

  Copy full SHA for 3c23072

• rebase

  Show description for adf0d74
  levnach

  committed
  adf0d74

  Copy full SHA for adf0d74

• setting smt.arith.solver=6 by default

  Show description for bc17b18
  levnach

  committed
  bc17b18

  Copy full SHA for bc17b18

Commits on Jul 10, 2018

• Merge pull request #1747 from levnach/master

  Show description for 61cc3d1
  levnach

  authored
  61cc3d1

  Copy full SHA for 61cc3d1

• remove an assert

  Show description for a4a4686
  levnach

  committed
  a4a4686

  Copy full SHA for a4a4686

• enable printing in Release

  Show description for c4c52ad
  levnach

  committed
  c4c52ad

  Copy full SHA for c4c52ad

• create hnf cuts too, when gomory_cut_period is 2

  Show description for 5c712d4
  levnach

  committed
  5c712d4

  Copy full SHA for 5c712d4

• rebase

  Show description for c518dda
  levnach

  committed
  c518dda

  Copy full SHA for c518dda

• rebase

  Show description for fd98095
  levnach

  committed
  fd98095

  Copy full SHA for fd98095

• setting smt.arith.solver=6 by default

  Show description for 367fff6
  levnach

  committed
  367fff6

  Copy full SHA for 367fff6

Commits on Jul 5, 2018

• reshufle var_register to faster access

  Show description for 852df6f
  levnach

  committed
  852df6f

  Copy full SHA for 852df6f

• fix in theory_lra.cpp get_value

  Show description for 905282f
  levnach

  committed
  905282f

  Copy full SHA for 905282f

Commits on Jul 3, 2018

• remove tracing arith from theory_lra.cpp

  Show description for f59ffc2
  levnach

  committed
  f59ffc2

  Copy full SHA for f59ffc2

• make lp_tst optional

  Show description for 8b4223f
  levnach

  committed
  8b4223f

  Copy full SHA for 8b4223f

Commits on Jul 2, 2018

• changed in for loops for terms

  Show description for fbf0d0d
  levnach

  committed
  fbf0d0d

  Copy full SHA for fbf0d0d

Commits on Jun 30, 2018

• fixes in theory_lra by Nikolaj

  Show description for c554e17
  levnach

  committed
  c554e17

  Copy full SHA for c554e17

Commits on Jun 29, 2018

• regression fix

  Show description for 16d4e2f
  levnach

  committed
  16d4e2f

  Copy full SHA for 16d4e2f

• fixes in get_lower,get_upper of theory_lra

  Show description for 4d88818
  levnach

  committed
  4d88818

  Copy full SHA for 4d88818

• implement get_lower, get_upper in theory_lra.cpp

  Show description for 342feef
  levnach

  committed
  342feef

  Copy full SHA for 342feef

• added stubs for get_lower/get_upper required by theory_seq

  Show description for da44ad7
  levnach

  committed
  da44ad7

  Copy full SHA for da44ad7

• avoid a crash in maximize_term when the term var has not been used

  Show description for f2e8780
  levnach

  committed
  f2e8780

  Copy full SHA for f2e8780

• regression failures fixes

  Show description for d80f6e3
  levnach

  committed
  d80f6e3

  Copy full SHA for d80f6e3

• fixes to get z3test.py back on track etc

  Show description for 4641d5f
  levnach

  committed
  4641d5f

  Copy full SHA for 4641d5f

Commits on Jun 28, 2018

• Nikolaj's changes in rationals

  Show description for 40a363d
  levnach

  committed
  40a363d

  Copy full SHA for 40a363d

• name change

  Show description for c2f3428
  levnach

  committed
  c2f3428

  Copy full SHA for c2f3428

• grammar

  Show description for fd8f972
  levnach

  committed
  fd8f972

  Copy full SHA for fd8f972

Pagination

Previous

Next