Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 12, 2022

• modify summary

  alan23273850

  committed
  71e0f6b

  Copy full SHA for 71e0f6b

Commits on Dec 20, 2021

• add benchmark_long_sat

  alan23273850

  committed
  edcffcd

  Copy full SHA for edcffcd

• fix summary

  alan23273850

  committed
  65c4a3f

  Copy full SHA for 65c4a3f

Commits on Dec 1, 2021

• modify summary and run_benchmarks

  alan23273850

  committed
  89872f3

  Copy full SHA for 89872f3

• add more long SAT testcases

  alan23273850

  committed
  1add551

  Copy full SHA for 1add551

Commits on Nov 30, 2021

• add custom mode to run_benchmarks.py

  alan23273850

  committed
  afb322e

  Copy full SHA for afb322e

• disable length modification in solve_nc()

  alan23273850

  committed
  10adfce

  Copy full SHA for 10adfce

• add long SAT folder & filter script

  alan23273850

  committed
  2de2e11

  Copy full SHA for 2de2e11

Commits on Nov 29, 2021

• modify segments to 1,2,4,6

  alan23273850

  committed
  b79257b

  Copy full SHA for b79257b

• add stats & long_sat

  alan23273850

  committed
  864b83c

  Copy full SHA for 864b83c

• speed up blocking current assignments

  alan23273850

  committed
  6e4aa70

  Copy full SHA for 6e4aa70

• accept incomplete search for long models

  alan23273850

  committed
  33b32e0

  Copy full SHA for 33b32e0

• two modes of blocking assignments

  alan23273850

  committed
  6dbe04e

  Copy full SHA for 6dbe04e

Commits on Nov 26, 2021

• prevent flattening from missing those erased m_eqs

  alan23273850

  committed
  59f57eb

  Copy full SHA for 59f57eb

• print m_is_underapproximation only once

  alan23273850

  committed
  1467e2c

  Copy full SHA for 1467e2c

• fix bugs in check_parikh_image()

  alan23273850

  committed
  7e43d4f

  Copy full SHA for 7e43d4f

• ensure add, sub, mul have nonempty vectors

  alan23273850

  committed
  01bebb5

  Copy full SHA for 01bebb5

Commits on Nov 25, 2021

• fix printing model

  alan23273850

  committed
  c450ab3

  Copy full SHA for c450ab3

Commits on Nov 24, 2021

• correct block current assignments

  alan23273850

  committed
  fad0ac4

  Copy full SHA for fad0ac4

Commits on Nov 19, 2021

• Merge branches 'main' and 'main' of github.com:alan23273850/z3 into main

  alan23273850

  committed
  a6b31c4

  Copy full SHA for a6b31c4

• improve not contains by length

  alan23273850

  committed
  0d79756

  Copy full SHA for 0d79756

• fix print model

  alan23273850

  committed
  542c0c1

  Copy full SHA for 542c0c1

• fix bugs in not contains

  alan23273850

  committed
  6e7144a

  Copy full SHA for 6e7144a

• Revert "add arithmetic heuristics"

  Show description for 926c058
  alan23273850

  committed
  926c058

  Copy full SHA for 926c058

Commits on Nov 18, 2021

• set SASSERT(false) for unsupported arithmetics

  alan23273850

  committed
  ae7db53

  Copy full SHA for ae7db53

• eliminate forall in not contains handling

  alan23273850

  committed
  4f14559

  Copy full SHA for 4f14559

• fix arith heuristics bugs to >= 0 or <= 0

  alan23273850

  committed
  3332a3a

  Copy full SHA for 3332a3a

Commits on Nov 17, 2021

• resume GIVEUP for rcs and unhandled

  alan23273850

  committed
  0c4edd9

  Copy full SHA for 0c4edd9

• resume underapproximation flags

  alan23273850

  committed
  cd5a02e

  Copy full SHA for cd5a02e

• add status UNSAT (incomplete search)

  alan23273850

  committed
  4ed1f6d

  Copy full SHA for 4ed1f6d

Commits on Nov 16, 2021

• use better negation in blocking assignments

  alan23273850

  committed
  5c02af8

  Copy full SHA for 5c02af8

• set flag on always unknown internal solver

  alan23273850

  committed
  acf3871

  Copy full SHA for acf3871

Commits on Nov 12, 2021

• add arithmetic heuristics

  alan23273850

  committed
  0c68009

  Copy full SHA for 0c68009

• add stats

  alan23273850

  committed
  ac96879

  Copy full SHA for ac96879

• disable built-in z3 components

  alan23273850

  committed
  d8087b7

  Copy full SHA for d8087b7

Pagination

Previous

Next