├── .gitignore ├── LICENSE ├── README.md ├── cabal.project ├── coq ├── .gitignore ├── Bang.v ├── Constraints.v ├── Make ├── Makefile ├── NarrowBase.v ├── NarrowCompleteness.v ├── NarrowSoundness.v ├── Probability.v ├── README ├── Types.v ├── Util.v └── Valuation.v └── luck ├── LICENSE ├── Setup.hs ├── examples-template ├── C-QC.hs ├── C.hs ├── ModuleIntro.txt ├── Stlc-template.hs ├── Stlc.hs ├── combination.hs └── ghc-counters │ ├── 0.hs │ ├── out │ └── outOpt ├── examples ├── AC3Test.luck ├── AC3Test2.luck ├── BST.luck ├── BackTrackTest.luck ├── BinopTest.luck ├── C.luck ├── CaseTests.luck ├── Class.luck ├── Combination.luck ├── ConjTest.luck ├── Fresh.luck ├── GT.luck ├── InlineTest.luck ├── LLNI.luck ├── ListSet.luck ├── Map.luck ├── OrderedPair.luck ├── Peano.luck ├── PicoGenExec.luck ├── PicoGenExecBugArith.luck ├── RBT.luck ├── Records.luck ├── SSNI.luck ├── STLC.luck ├── SigTest.luck ├── Tree.luck └── pirapirabug.luck ├── exec └── Main.hs ├── luck.cabal ├── src ├── Common │ ├── Conversions.hs │ ├── Error.hs │ ├── Haskellify.hs │ ├── Pretty.hs │ ├── SrcLoc.hs │ ├── Types.hs │ └── Util.hs ├── Core │ ├── AST.hs │ ├── AST │ │ └── Pretty.hs │ ├── CSet.hs │ ├── IntRep.hs │ ├── Optimizations.hs │ ├── Pretty.hs │ ├── Rigidify.hs │ ├── Rigidify │ │ ├── Data.hs │ │ ├── Generator.hs │ │ └── Pretty.hs │ ├── Semantics.hs │ └── Types │ │ ├── Data.hs │ │ ├── Generator.hs │ │ └── Pretty.hs ├── Luck │ ├── Main.hs │ ├── Prelude.luck │ └── Template.hs └── Outer │ ├── AST.hs │ ├── AST │ └── Pretty.hs │ ├── ClassMono.hs │ ├── Expander.hs │ ├── Lexer.x │ ├── ParseMonad.hs │ ├── Parser.info │ ├── Parser.y │ ├── Renamer.hs │ └── Types.hs └── stack.yaml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/README.md -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- 1 | packages: luck 2 | 3 | allow-newer: 4 | semigroupoids:base 5 | 6 | -------------------------------------------------------------------------------- /coq/.gitignore: -------------------------------------------------------------------------------- 1 | Makefile.coq 2 | -------------------------------------------------------------------------------- /coq/Bang.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/coq/Bang.v -------------------------------------------------------------------------------- /coq/Constraints.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/coq/Constraints.v -------------------------------------------------------------------------------- /coq/Make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/coq/Make -------------------------------------------------------------------------------- /coq/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/coq/Makefile -------------------------------------------------------------------------------- /coq/NarrowBase.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/coq/NarrowBase.v -------------------------------------------------------------------------------- /coq/NarrowCompleteness.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/coq/NarrowCompleteness.v -------------------------------------------------------------------------------- /coq/NarrowSoundness.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/coq/NarrowSoundness.v -------------------------------------------------------------------------------- /coq/Probability.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/coq/Probability.v -------------------------------------------------------------------------------- /coq/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/coq/README -------------------------------------------------------------------------------- /coq/Types.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/coq/Types.v -------------------------------------------------------------------------------- /coq/Util.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/coq/Util.v -------------------------------------------------------------------------------- /coq/Valuation.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/coq/Valuation.v -------------------------------------------------------------------------------- /luck/LICENSE: -------------------------------------------------------------------------------- 1 | ../LICENSE -------------------------------------------------------------------------------- /luck/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /luck/examples-template/C-QC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples-template/C-QC.hs -------------------------------------------------------------------------------- /luck/examples-template/C.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples-template/C.hs -------------------------------------------------------------------------------- /luck/examples-template/ModuleIntro.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples-template/ModuleIntro.txt -------------------------------------------------------------------------------- /luck/examples-template/Stlc-template.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples-template/Stlc-template.hs -------------------------------------------------------------------------------- /luck/examples-template/Stlc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples-template/Stlc.hs -------------------------------------------------------------------------------- /luck/examples-template/combination.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples-template/combination.hs -------------------------------------------------------------------------------- /luck/examples-template/ghc-counters/0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples-template/ghc-counters/0.hs -------------------------------------------------------------------------------- /luck/examples-template/ghc-counters/out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples-template/ghc-counters/out -------------------------------------------------------------------------------- /luck/examples-template/ghc-counters/outOpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples-template/ghc-counters/outOpt -------------------------------------------------------------------------------- /luck/examples/AC3Test.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/AC3Test.luck -------------------------------------------------------------------------------- /luck/examples/AC3Test2.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/AC3Test2.luck -------------------------------------------------------------------------------- /luck/examples/BST.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/BST.luck -------------------------------------------------------------------------------- /luck/examples/BackTrackTest.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/BackTrackTest.luck -------------------------------------------------------------------------------- /luck/examples/BinopTest.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/BinopTest.luck -------------------------------------------------------------------------------- /luck/examples/C.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/C.luck -------------------------------------------------------------------------------- /luck/examples/CaseTests.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/CaseTests.luck -------------------------------------------------------------------------------- /luck/examples/Class.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/Class.luck -------------------------------------------------------------------------------- /luck/examples/Combination.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/Combination.luck -------------------------------------------------------------------------------- /luck/examples/ConjTest.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/ConjTest.luck -------------------------------------------------------------------------------- /luck/examples/Fresh.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/Fresh.luck -------------------------------------------------------------------------------- /luck/examples/GT.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/GT.luck -------------------------------------------------------------------------------- /luck/examples/InlineTest.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/InlineTest.luck -------------------------------------------------------------------------------- /luck/examples/LLNI.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/LLNI.luck -------------------------------------------------------------------------------- /luck/examples/ListSet.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/ListSet.luck -------------------------------------------------------------------------------- /luck/examples/Map.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/Map.luck -------------------------------------------------------------------------------- /luck/examples/OrderedPair.luck: -------------------------------------------------------------------------------- 1 | fun f x y = x < y 2 | -------------------------------------------------------------------------------- /luck/examples/Peano.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/Peano.luck -------------------------------------------------------------------------------- /luck/examples/PicoGenExec.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/PicoGenExec.luck -------------------------------------------------------------------------------- /luck/examples/PicoGenExecBugArith.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/PicoGenExecBugArith.luck -------------------------------------------------------------------------------- /luck/examples/RBT.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/RBT.luck -------------------------------------------------------------------------------- /luck/examples/Records.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/Records.luck -------------------------------------------------------------------------------- /luck/examples/SSNI.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/SSNI.luck -------------------------------------------------------------------------------- /luck/examples/STLC.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/STLC.luck -------------------------------------------------------------------------------- /luck/examples/SigTest.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/SigTest.luck -------------------------------------------------------------------------------- /luck/examples/Tree.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/Tree.luck -------------------------------------------------------------------------------- /luck/examples/pirapirabug.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/examples/pirapirabug.luck -------------------------------------------------------------------------------- /luck/exec/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/exec/Main.hs -------------------------------------------------------------------------------- /luck/luck.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/luck.cabal -------------------------------------------------------------------------------- /luck/src/Common/Conversions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Common/Conversions.hs -------------------------------------------------------------------------------- /luck/src/Common/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Common/Error.hs -------------------------------------------------------------------------------- /luck/src/Common/Haskellify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Common/Haskellify.hs -------------------------------------------------------------------------------- /luck/src/Common/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Common/Pretty.hs -------------------------------------------------------------------------------- /luck/src/Common/SrcLoc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Common/SrcLoc.hs -------------------------------------------------------------------------------- /luck/src/Common/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Common/Types.hs -------------------------------------------------------------------------------- /luck/src/Common/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Common/Util.hs -------------------------------------------------------------------------------- /luck/src/Core/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/AST.hs -------------------------------------------------------------------------------- /luck/src/Core/AST/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/AST/Pretty.hs -------------------------------------------------------------------------------- /luck/src/Core/CSet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/CSet.hs -------------------------------------------------------------------------------- /luck/src/Core/IntRep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/IntRep.hs -------------------------------------------------------------------------------- /luck/src/Core/Optimizations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/Optimizations.hs -------------------------------------------------------------------------------- /luck/src/Core/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/Pretty.hs -------------------------------------------------------------------------------- /luck/src/Core/Rigidify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/Rigidify.hs -------------------------------------------------------------------------------- /luck/src/Core/Rigidify/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/Rigidify/Data.hs -------------------------------------------------------------------------------- /luck/src/Core/Rigidify/Generator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/Rigidify/Generator.hs -------------------------------------------------------------------------------- /luck/src/Core/Rigidify/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/Rigidify/Pretty.hs -------------------------------------------------------------------------------- /luck/src/Core/Semantics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/Semantics.hs -------------------------------------------------------------------------------- /luck/src/Core/Types/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/Types/Data.hs -------------------------------------------------------------------------------- /luck/src/Core/Types/Generator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/Types/Generator.hs -------------------------------------------------------------------------------- /luck/src/Core/Types/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Core/Types/Pretty.hs -------------------------------------------------------------------------------- /luck/src/Luck/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Luck/Main.hs -------------------------------------------------------------------------------- /luck/src/Luck/Prelude.luck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Luck/Prelude.luck -------------------------------------------------------------------------------- /luck/src/Luck/Template.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Luck/Template.hs -------------------------------------------------------------------------------- /luck/src/Outer/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Outer/AST.hs -------------------------------------------------------------------------------- /luck/src/Outer/AST/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Outer/AST/Pretty.hs -------------------------------------------------------------------------------- /luck/src/Outer/ClassMono.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Outer/ClassMono.hs -------------------------------------------------------------------------------- /luck/src/Outer/Expander.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Outer/Expander.hs -------------------------------------------------------------------------------- /luck/src/Outer/Lexer.x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Outer/Lexer.x -------------------------------------------------------------------------------- /luck/src/Outer/ParseMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Outer/ParseMonad.hs -------------------------------------------------------------------------------- /luck/src/Outer/Parser.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Outer/Parser.info -------------------------------------------------------------------------------- /luck/src/Outer/Parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Outer/Parser.y -------------------------------------------------------------------------------- /luck/src/Outer/Renamer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Outer/Renamer.hs -------------------------------------------------------------------------------- /luck/src/Outer/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/src/Outer/Types.hs -------------------------------------------------------------------------------- /luck/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuickChick/Luck/HEAD/luck/stack.yaml --------------------------------------------------------------------------------