diff --git a/mcmc-synthesis.cabal b/mcmc-synthesis.cabal --- a/mcmc-synthesis.cabal +++ b/mcmc-synthesis.cabal @@ -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": --- 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 , Tikhon Jelvis +maintainer: Jessica Taylor category: Language - build-type: Simple - --- Constraint on the version of Cabal needed to build this package. cabal-version: >=1.8 source-repository head