Commits

Branch selector

 master

User selector

HanielB

Datepicker

All time

Commit History

Commits on May 14, 2018

• Fix purification in SygusUnifRL (#1912)

  HanielB

  authored
  b526434

  Copy full SHA for b526434

Commits on May 11, 2018

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

  HanielB

  authored
  f50620d

  Copy full SHA for f50620d

Commits on May 10, 2018

• Static learn redundant operators in CegisUnif (#1899)

  HanielB

  authored
  f29ced8

  Copy full SHA for f29ced8

Commits on May 9, 2018

• Piecing solutions together in CegisUnif (#1894)

  HanielB

  authored
  a7393ad

  Copy full SHA for a7393ad

Commits on May 8, 2018

• Classifying data in SygusUnifRL (#1886)

  HanielB

  authored
  919c30e

  Copy full SHA for 919c30e

• only lazy trie changes (#1885)

  

  HanielB

  authored and

  ajreynol

  committed
  f73aef2

  Copy full SHA for f73aef2

Commits on May 4, 2018

• Move Lazy trie datastructure to its own file (#1871)

  Show description for b35ed9d
  HanielB

  authored
  b35ed9d

  Copy full SHA for b35ed9d

Commits on May 3, 2018

• Make CegisUnif default to Cegis when no unif used (#1836)

  

  HanielB

  authored and

  ajreynol

  committed
  53e1523

  Copy full SHA for 53e1523

Commits on Apr 30, 2018

• Refactor real2int (#1813)

  Show description for d0e61e4
  HanielB

  authored
  d0e61e4

  Copy full SHA for d0e61e4

Commits on Apr 28, 2018

• Initial implementation of SygusUnifRL (#1829)

  

  HanielB

  authored and

  ajreynol

  committed
  6cdf6fb

  Copy full SHA for 6cdf6fb

Commits on Apr 27, 2018

• New module for synthesizing functions in a data-driven SyGuS approach (#1819)

  

  HanielB

  authored and

  ajreynol

  committed
  79296a5

  Copy full SHA for 79296a5

Commits on Feb 2, 2018

• Option to check solutions produced by SyGuS solver (#1553)

  

  HanielB

  authored and

  ajreynol

  committed
  73a9276

  Copy full SHA for 73a9276

Commits on Dec 5, 2017

• Adding SyGuS grammars for rationals. (#1426)

  

  HanielB

  authored and

  ajreynol

  committed
  a319213

  Copy full SHA for a319213

Commits on Dec 3, 2017

• Normalize grammars - 2 (#1420)

  Show description for 612e4e2
  HanielB

  authored
  612e4e2

  Copy full SHA for 612e4e2

Commits on Nov 23, 2017

• Converting defined functions and let expressions from Sygus grammars to lambdas (#1403)

  Show description for c9ae6b9
  HanielB

  authored
  c9ae6b9

  Copy full SHA for c9ae6b9

Commits on Nov 21, 2017

• Adding infrastructure for normalizing SyGuS grammars (#1397)

  Show description for b2f4485
  HanielB

  authored
  b2f4485

  Copy full SHA for b2f4485