mcmc-synthesis 0.1.2.1 → 0.1.2.2
raw patch · 1 files changed
+6/−30 lines, 1 files
Files
- mcmc-synthesis.cabal +6/−30
mcmc-synthesis.cabal view
@@ -1,44 +1,20 @@ -- Initial mcmc-synthesis.cabal generated by cabal init. For further -- documentation, see http://haskell.org/cabal/users-guide/ --- The name of the package. name: mcmc-synthesis---- The package version. See the Haskell package versioning policy (PVP) --- for standards guiding when and how versions should be incremented.--- http://www.haskell.org/haskellwiki/Package_versioning_policy--- PVP summary: +-+------- breaking API changes--- | | +----- non-breaking API additions--- | | | +--- code changes with no API change-version: 0.1.2.1---- A short (one-line) description of the package.+version: 0.1.2.2 synopsis: MCMC applied to probabilistic program synthesis --- A longer description of the package.--- description: +description: A simple implementation of the ideas from "Stochastic Superoptimization" which uses a variant of Markov Chain Monte Carlo (MCMC) to synthesize programs based on a set of test cases. --- The license under which the package is released.-license: GPL-3+ "Stochastic Superoptimization": <http://cs.stanford.edu/people/eschkufz/research/asplos291-schkufza.pdf> --- The file containing the license text.+license: GPL-3 license-file: LICENSE---- The package author(s).-author: Jacob Taylor, Tikhon Jelvis---- An email address to which users can send suggestions, bug reports, and --- patches.-maintainer: jacobltaylor@gmail.com---- A copyright notice.--- copyright: -+author: Jessica Taylor <jessica.liu.taylor@gmail.com>, Tikhon Jelvis <tikhon@jelv.is>+maintainer: Jessica Taylor <jessica.liu.taylor@gmail.com> category: Language- build-type: Simple---- Constraint on the version of Cabal needed to build this package. cabal-version: >=1.8 source-repository head