Skip to content
Type-and-example-driven program synthesis for functional programming languages
OCaml Standard ML Python BlitzBasic Makefile
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
myth-prototype
src
tests
.merlin
Makefile
README.md
_tags
check-baseline.py
generate-baseline.py
generate-data.py
myocamlbuild.ml

README.md

Myth: ML Synthesizer

Requirements

Ocaml > 4.01.0

Quick and Dirty Installation Instructions

opam install core
opam install menhir
make

Example Execution

>$ make
ocamlbuild  synml.native
Finished, 1 target (0 cached) in 00:00:00.
+ menhir --ocamlc 'ocamlfind ocamlc -thread -annot -g -package str -package core -I src' --infer src/parser.mly
Warning: 5 states have shift/reduce conflicts.
Warning: 19 shift/reduce conflicts were arbitrarily resolved.
Finished, 58 targets (0 cached) in 00:00:15.
>$ ./synml.native tests/pldi-2015-benchmarks/list_stutter.ml
let list_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

You can’t perform that action at this time.