Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 16, 2019

• S116-001 state in README that this is a clone

  Show description for 7f1e378
  kanigsson

  committed
  7f1e378

  Copy full SHA for 7f1e378

Commits on Dec 20, 2018

• RC12-037 update cvc4 version text

  Show description for 29839e6
  kanigsson

  committed
  29839e6

  Copy full SHA for 29839e6

Commits on May 31, 2018

• R530-013 incorporate upstream bugfix

  Show description for eea9e86
  kanigsson

  committed
  eea9e86

  Copy full SHA for eea9e86

Commits on May 29, 2018

• R529-004 add CONTRIBUTING.md

  Show description for 27fe63e
  kanigsson

  committed
  27fe63e

  Copy full SHA for 27fe63e

Commits on May 16, 2018

• Q817-011 fix usage of malloc.h

  Show description for 46ea8d6
  kanigsson

  committed
  46ea8d6

  Copy full SHA for 46ea8d6

Commits on May 15, 2018

• Q817-011 proof - use cvc4 for floats

  Show description for c29aada
  

  Florian Schanda

  committed
  c29aada

  Copy full SHA for c29aada

• Q817-011 proof - use cvc4 for floats

  Show description for 69def4a
  

  Florian Schanda

  committed
  69def4a

  Copy full SHA for 69def4a

• Q817-011 proof - use cvc4 for floats

  Show description for 483becc
  

  Florian Schanda

  committed
  483becc

  Copy full SHA for 483becc

• Fix annotations in regress2. (#1917)

  ajreynol

  authored
  bc93656

  Copy full SHA for bc93656

• Minor improvements to --nl-ext-purify (#1896)

  ajreynol

  authored
  136617c

  Copy full SHA for 136617c

• Incorporating dynamic condition enumeration into cegis unif (#1916)

  ajreynol

  authored
  b87e445

  Copy full SHA for b87e445

Commits on May 14, 2018

• Floating point theory solver based on SymFPU (#1895)

  Show description for 4e96b1d
  martin-cs

  authored
  4e96b1d

  Copy full SHA for 4e96b1d

• Add contrib/get-symfpu for downloading symfpu. (#1905)

  mpreiner

  authored
  0c66811

  Copy full SHA for 0c66811

• Fix purification in SygusUnifRL (#1912)

  HanielB

  authored
  b526434

  Copy full SHA for b526434

• Add regressions, change defaults. (#1911)

  ajreynol

  authored
  c308c09

  Copy full SHA for c308c09

• Flag to check invariance of entire values in sygus explain (#1908)

  ajreynol

  authored
  33420e7

  Copy full SHA for 33420e7

• Small change for more sensible line breaking in the output of get-model. (#1910)

  

  florianschanda

  authored and

  ajreynol

  committed
  53c7350

  Copy full SHA for 53c7350

• R511-002 simplify changes to python3 script

  Show description for 7e79791
  kanigsson

  committed
  7e79791

  Copy full SHA for 7e79791

Commits on May 11, 2018

• Remove obsolete unit test for ackermannization. (#1906)

  Show description for d74fae4
  aniemetz

  authored
  d74fae4

  Copy full SHA for d74fae4

• Fix ackermannize preprocessing pass. (#1904)

  Show description for 1e0ff61
  aniemetz

  authored
  1e0ff61

  Copy full SHA for 1e0ff61

• R511-002 convert python3 script to python2

  Show description for eed4cc2
  kanigsson

  committed
  eed4cc2

  Copy full SHA for eed4cc2

• Support multiple sets of command line args in regs (#1902)

  Show description for 5e2366d
  

  4tXJ7f

  authored and

  aniemetz

  committed
  5e2366d

  Copy full SHA for 5e2366d

• Also exclude ITEs from ITE conditions in SygusUnifStrat (#1903)

  HanielB

  authored
  f50620d

  Copy full SHA for f50620d

Commits on May 10, 2018

• Exclude Boolean connectives from ITE conditions in SygusUnifStrat (#1900)

  

  ajreynol

  authored and

  HanielB

  committed
  2ac2c2a

  Copy full SHA for 2ac2c2a

• Sygus repair constants (#1812)

  ajreynol

  authored
  adcbee7

  Copy full SHA for adcbee7

• Static learn redundant operators in CegisUnif (#1899)

  HanielB

  authored
  f29ced8

  Copy full SHA for f29ced8

• Add ITE to default Boolean sygus grammar (#1898)

  ajreynol

  authored
  44b1677

  Copy full SHA for 44b1677

• Refactored BVAckermann preprocessing pass. (#1889)

  aniemetz

  authored
  31a2135

  Copy full SHA for 31a2135

• Fix priority of decisions for cegis unif (#1897)

  ajreynol

  authored
  aef0e5e

  Copy full SHA for aef0e5e

Commits on May 9, 2018

• Piecing solutions together in CegisUnif (#1894)

  HanielB

  authored
  a7393ad

  Copy full SHA for a7393ad

• Reorder class members in bv-to-bool and bool-to-bv preprocessing passes. (#1893)

  

  yoni206

  authored and

  aniemetz

  committed
  5adbae1

  Copy full SHA for 5adbae1

• Better option names for PBE (#1891)

  ajreynol

  authored
  609a4c1

  Copy full SHA for 609a4c1

• Make symmetry-breaker-exp into a preprocessing pass (#1890)

  ajreynol

  authored
  df974e6

  Copy full SHA for df974e6

• Add the symmetry breaker module (#1847)

  

  PaulMeng

  authored and

  ajreynol

  committed
  b8cc1e7

  Copy full SHA for b8cc1e7

• Q817-011 proof - update cvc4

  Show description for 9513e29
  

  Florian Schanda

  committed
  9513e29

  Copy full SHA for 9513e29

Pagination

Previous

Next