Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jul 11, 2022

• Move bv arith conversions to arith (#8945)

  Show description for 3c3a730
  ajreynol

  authored
  3c3a730

  Copy full SHA for 3c3a730

• [IntToBV] Add check for unsupported operators (#8949)

  Show description for 5f7eee9
  4tXJ7f

  authored
  5f7eee9

  Copy full SHA for 5f7eee9

Commits on Jul 9, 2022

• Remove `--strings-unified-vspt` option (#8947)

  Show description for 79db74b
  4tXJ7f

  authored
  79db74b

  Copy full SHA for 79db74b

• Eliminate static options accesses in sygus (#8943)

  Show description for d568dc5
  ajreynol

  authored
  d568dc5

  Copy full SHA for d568dc5

• Add scripts for casc j11 (#8941)

  ajreynol

  authored
  d195582

  Copy full SHA for d195582

• Eliminate static options access in proof utilities (#8927)

  Show description for 2812687
  ajreynol

  authored
  2812687

  Copy full SHA for 2812687

• Fix issues with mixed types in relevant domain (#8901)

  Show description for 5750f28
  ajreynol

  authored
  5750f28

  Copy full SHA for 5750f28

Commits on Jul 8, 2022

• Do not use sygus-inst for internal bounded quantifiers for string reductions (#8946)

  Show description for ef9b1b9
  ajreynol

  authored
  ef9b1b9

  Copy full SHA for ef9b1b9

Commits on Jul 7, 2022

• Fix casting for arith msum (#8940)

  Show description for bf53190
  ajreynol

  authored
  bf53190

  Copy full SHA for bf53190

• Fix mod elimination in learned rewrite preprocessing pass (#8938)

  Show description for 2d858aa
  ajreynol

  authored
  2d858aa

  Copy full SHA for 2d858aa

• Do not eagerly preprocess seq.nth (#8937)

  Show description for cd6db95
  ajreynol

  authored
  cd6db95

  Copy full SHA for cd6db95

• Revert usage of seq.nth in reductions (#8939)

  Show description for c3987a6
  ajreynol

  authored
  c3987a6

  Copy full SHA for c3987a6

• Fix pto handling for heaps that are not a subset of the base heap (#8942)

  Show description for f08aa56
  ajreynol

  authored
  f08aa56

  Copy full SHA for f08aa56

Commits on Jul 6, 2022

• Add rel.project operator to sets (#8929)

  mudathirmahgoub

  authored
  17d5e26

  Copy full SHA for 17d5e26

• Update SMT-COMP scripts (#8930)

  4tXJ7f

  authored
  264ad1e

  Copy full SHA for 264ad1e

Commits on Jun 30, 2022

• Remove `Theory::postsolve()` (#8924)

  Show description for 9480126
  4tXJ7f

  authored
  9480126

  Copy full SHA for 9480126

• Remove spurious pto singleton inference (#8925)

  Show description for 906aa7a
  ajreynol

  authored
  906aa7a

  Copy full SHA for 906aa7a

• [SMT-COMP] Update use of `--decision` option (#8922)

  Show description for 95f928b
  4tXJ7f

  authored
  95f928b

  Copy full SHA for 95f928b

• Fix injectivity inferences for seq.nth applied to strings (#8920)

  Show description for 0bf059f
  ajreynol

  authored
  0bf059f

  Copy full SHA for 0bf059f

• Fix type issue in substitutions from covering solver (#8921)

  Show description for c501613
  ajreynol

  authored
  c501613

  Copy full SHA for c501613

• Add set.aggr operator to sets (#8878)

  Show description for 9e20f45
  mudathirmahgoub

  authored
  9e20f45

  Copy full SHA for 9e20f45

Commits on Jun 29, 2022

• Fix reduction for seq.nth for strings (#8919)

  Show description for ca2a39f
  ajreynol

  authored
  ca2a39f

  Copy full SHA for ca2a39f

• Fix model construction for str.unit (#8917)

  Show description for 4bc7135
  ajreynol

  authored
  4bc7135

  Copy full SHA for 4bc7135

Commits on Jun 28, 2022

• Add rel.group operator to sets (#8876)

  Show description for 61026f8
  mudathirmahgoub

  authored
  61026f8

  Copy full SHA for 61026f8

Commits on Jun 27, 2022

• Move `SymbolManager` and `SymbolTable` to parser (#8910)

  Show description for 55d024a
  4tXJ7f

  authored
  55d024a

  Copy full SHA for 55d024a

• [Docs] Update `EnumDocumenter` for newer Sphinx (#8914)

  Show description for ad425c0
  4tXJ7f

  authored
  ad425c0

  Copy full SHA for ad425c0

• Revert change in lemma order in prop engine (#8911)

  Show description for b71fcbb
  ajreynol

  authored
  b71fcbb

  Copy full SHA for b71fcbb

Commits on Jun 23, 2022

• Add inference rules for table.group (#8819)

  mudathirmahgoub

  authored
  3f63a76

  Copy full SHA for 3f63a76

• Remove `CommandSequence` command (#8904)

  Show description for b5dec96
  4tXJ7f

  authored
  b5dec96

  Copy full SHA for b5dec96

• Move non-stream options out of `printer_options.toml` (#8909)

  Show description for 288ad53
  4tXJ7f

  authored
  288ad53

  Copy full SHA for 288ad53

• Fix explanation for strings unit oob inference (#8908)

  Show description for c898b0e
  ajreynol

  authored
  c898b0e

  Copy full SHA for c898b0e

• Add set.fold operator (#8867)

  mudathirmahgoub

  authored
  8435632

  Copy full SHA for 8435632

• Fix rewrite for `(to_int real.pi)` (#8907)

  Show description for ce382ef
  4tXJ7f

  authored
  ce382ef

  Copy full SHA for ce382ef

• Fix handling of injectivity for str.unit (#8899)

  Show description for fa43b88
  ajreynol

  authored
  fa43b88

  Copy full SHA for fa43b88

Commits on Jun 22, 2022

• print run_process command (#8859)

  mudathirmahgoub

  authored
  1176459

  Copy full SHA for 1176459