Skip to content

Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.

License

Notifications You must be signed in to change notification settings

epfl-lara/comfusy

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Comfusy: Complete Functional Synthesis

This repository contains the source code for the implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper [1]. Consider it unmaintained.

For more info, please read the corresponding page hosted at EPFL.

Comfusy was originally written against Scala 2.7 (compiler and library), and built using ant. Ports to sbt and Scala > 2.7 by paulp.

A note for Mac users

(By paulp.) Homebrew users can install z3 via my tap: brew tap paulp/extras && brew install z3 No, that's not true anymore because mavericks broke everything in the world, but here is a guy with the same problem, so maybe something will develop on that front.

References

  1. V.Kuncak, M.Mayer, R.Piskac, P.Suter, Complete Functional Synthesis, Proceedings of the 2010 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI). 2010, pp. 316–329.
  2. V.Kuncak, M.Mayer, R.Piskac, P.Suter, Software Synthesis Procedures, Communications of the ACM (Feb. 2012), pp. 103–111.

About

Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •