Search results

Successful but useless ProofTrace is not cleaned

Status: Open.

#46 In TyGuS/suslik;

· yangdinglou opened on Feb 15, 2023

Non-terminating code may be synthesised

Status: Open.

#34 In TyGuS/suslik;

· JonasAlaif opened on Nov 11, 2021

Case study: a skip-list

case study

Status: Open.

#15 In TyGuS/suslik;

· ilyasergey opened on May 15, 2019

Take immutability annotations into the account.

synthesizerCore functionality of the synthesizerCore functionality of the synthesizer

Status: Open.

#14 In TyGuS/suslik;

· ilyasergey opened on May 9, 2019

Case study: a list of lists

case study

Status: Open.

#13 In TyGuS/suslik;

· ilyasergey opened on May 8, 2019

Support chained synthesis

good first issue

synthesizerCore functionality of the synthesizerCore functionality of the synthesizer

Status: Open.

#12 In TyGuS/suslik;

· ilyasergey opened on May 8, 2019

Extract the inference tree into a data structure.

good first issue

infrastructure

synthesizerCore functionality of the synthesizerCore functionality of the synthesizer

Status: Open.

#11 In TyGuS/suslik;

· ilyasergey opened on May 8, 2019

Extend parser for specifications to support read permissions

enhancement

good first issue

parser

Status: Open.

#10 In TyGuS/suslik;

· ilyasergey opened on May 8, 2019