# Project-527

**Repository Path**: liweier/Project-527

## Basic Information

- **Project Name**: Project-527
- **Description**: Example-Directed Program Synthesis: Review and Test Cases
- **Primary Language**: Unknown
- **License**: MIT
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2020-12-15
- **Last Updated**: 2020-12-18

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

Project for COMP527 - Analysis on Myth by Osera and Zdancewic.


Original README on Myth



Myth: ML Synthesizer


Myth is a type-directed program synthesis tool for ML-like typed, functional programming languages.
Given a set of top-level declarations, a goal type, and a set of examples, Myth produces a program of the appropriate type that satisfies those examples.
For more information about Myth, please check out the one-minute overview of our work:

    https://www.youtube.com/watch?v5a2kRmCtEtM

For more details, please consule our PLDI 2015 paper:

    https://dl.acm.org/citation.cfm?id2738007&CFID520143291&CFTOKEN37485843

Requirements


Ocaml > 4.01.0

Quick and Dirty Installation Instructions


    opam pin add myth https://github.com/psosera/myth.git

Example Execution


    >$ myth tests/pldi-2015-benchmarks/list_stutter.ml
    let stutter : list -> list 
      let rec f1 (l1:list) : list 
        match l1 with
          | Nil -> []
          | Cons (n1, l2) -> Cons (n1, Cons (n1, f1 l2))
      in
        f1
    ;;

Test Locations

    tests/pldi-2015-benchmarks
    tests/pldi-2015-extended
    tests/pldi-2015-contexts

.ml files  test
.out file  baseline output



Additional tests

    test/reproducibility
    test/modified-example
    test/newcases

Modification to the source code

Changed output formatting in
    src/pp.ml

Added report folder