GitHub - sergv/random-program-generation: Investigate ways to generate random program that satisfy some predicates (e.g. are well-typed, evaluate to something, etc)

This repository was created under impression from the following papers:

Generating Contsrained Random Data with Uniform Distribution - Claessen K., Duregard J., Palka M.
Feat - Functional Enumeration of Algebraic Types - Duregard J., Jansson P., Wang M.

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
src		src
.gitignore		.gitignore
LogicGeneratorTypes.hs		LogicGeneratorTypes.hs
RandomProgramGenerationGADT.hs		RandomProgramGenerationGADT.hs
RandomProgramGenerator.hs		RandomProgramGenerator.hs
RandomProgramGeneratorLogic.hs		RandomProgramGeneratorLogic.hs
Readme.md		Readme.md
SortedListGenerator.hs		SortedListGenerator.hs
random-program-generation.cabal		random-program-generation.cabal

Provide feedback