├── .gitignore ├── .travis.yml ├── LICENSE ├── README.md ├── Setup.hs ├── examples ├── BExp.hs ├── BinLists.hs ├── CFG.hs ├── CFG2.hs ├── CFG3.hs ├── CFG4.hs ├── CFG5.hs ├── CFG6.hs ├── Challenges │ ├── Arrays.hs │ ├── DifficultRotate.hs │ ├── Exp.hs │ ├── Integers.hs │ ├── README.md │ ├── SameFringe.hs │ ├── SnocRotate.hs │ └── integers ├── Concat.hs ├── Flatten.hs ├── Flatten3.hs ├── HOF.hs ├── List.hs ├── Nat.hs ├── Nichomachus.hs ├── Ordinals.hs ├── PQ.hs ├── Properties.hs ├── Reverse.hs ├── Rotate.hs ├── Russel.hs ├── SnocReverse.hs ├── Sorting.hs ├── Testing │ ├── Sanity.hs │ └── TypeSig.hs └── old-examples │ ├── AppendLists.hs │ ├── BoolExp.hs │ ├── Iterate.hs │ ├── ListMonad.hs │ ├── MapIter.hs │ ├── MergeSort.hs │ ├── QuickSort.hs │ ├── README.md │ ├── Tree2.hs │ ├── hip │ ├── Bool.hs │ ├── Description.org │ ├── Expr.hs │ ├── Fix.hs │ ├── Functions.hs │ ├── IWC.hs │ ├── Infinite.hs │ ├── InsertionSort.hs │ ├── Integers.hs │ ├── MergeSort.hs │ ├── MonadEnv.hs │ ├── MonadMaybe.hs │ ├── MonadState.hs │ ├── Nat.hs │ ├── Nat2ndArg.hs │ ├── NatAcc.hs │ ├── NatDouble.hs │ ├── NatDoubleSlow.hs │ ├── NatStrict.hs │ ├── NatSwap.hs │ ├── Ordinals.hs │ ├── PatternMatching.hs │ ├── ProductiveUseOfFailure.hs │ ├── Queues.hs │ ├── Reverse.hs │ ├── Sequences.hs │ ├── Streams.hs │ ├── Tricky.hs │ └── ZenoLists.hs │ ├── older-examples │ ├── Count.hs │ ├── ListMonad.hs │ ├── Nat.hs │ ├── Reverse.hs │ └── Rotate.hs │ └── quickspec │ ├── BinLists.hs │ ├── BinLists2.hs │ ├── Bool.hs │ ├── Count.hs │ ├── Implications.hs │ ├── InsertionSort.hs │ ├── ListFunctions.hs │ ├── ListMonad.hs │ ├── Lists.hs │ ├── Lists2.hs │ ├── Lists3.hs │ ├── MapCompose.hs │ ├── NaivePQ.hs │ ├── Nat.hs │ ├── Nat2.hs │ ├── Patricia.hs │ ├── ProductiveUseOfFailure.hs │ ├── ProductiveUseOfFailure2.hs │ ├── Queue.hs │ ├── Reverse.hs │ ├── ReverseAsFoldl.hs │ ├── SetList.hs │ └── ZenoLists.hs ├── hipspec.cabal ├── run_tests.sh ├── src ├── HipSpec.hs └── HipSpec │ ├── ATP │ ├── Invoke.hs │ ├── Provers.hs │ └── Results.hs │ ├── GHC │ ├── Calls.hs │ ├── FreeTyCons.hs │ ├── Unfoldings.hs │ └── Utils.hs │ ├── Heuristics │ ├── Associativity.hs │ └── CallGraph.hs │ ├── Id.hs │ ├── Induction.hs │ ├── Init.hs │ ├── Lang │ ├── CoreLint.hs │ ├── CoreToRich.hs │ ├── DataConPattern.hs │ ├── Deappify.hs │ ├── FunctionalFO.hs │ ├── LintRich.hs │ ├── Monomorphise.hs │ ├── PolyFOL.hs │ ├── PolyFOL │ │ └── Types.hs │ ├── PrettyAltErgo.hs │ ├── PrettyFO.hs │ ├── PrettyRich.hs │ ├── PrettySMT.hs │ ├── PrettyTFF.hs │ ├── PrettyUtils.hs │ ├── RemoveDefault.hs │ ├── Renamer.hs │ ├── Rich.hs │ ├── RichToSimple.hs │ ├── Scope.hs │ ├── Simple.hs │ ├── SimpleToFO.hs │ ├── SimplifyRich.hs │ ├── ToPolyFOL.hs │ ├── TyAppBeta.hs │ ├── Type.hs │ ├── TypedScope.hs │ └── Uniquify.hs │ ├── Lemma.hs │ ├── Lint.hs │ ├── Literal.hs │ ├── Main.hs │ ├── MainLoop.hs │ ├── MakeInvocations.hs │ ├── MakeProofs.hs │ ├── Messages.hs │ ├── Monad.hs │ ├── Params.hs │ ├── ParseDSL.hs │ ├── Pretty.hs │ ├── Property.hs │ ├── Property │ └── Repr.hs │ ├── Read.hs │ ├── Reasoning.hs │ ├── Sig │ ├── Definitions.hs │ ├── Get.hs │ ├── Make.hs │ ├── QSTerm.hs │ ├── Resolve.hs │ ├── Scope.hs │ └── Symbols.hs │ ├── Theory.hs │ ├── ThmLib.hs │ ├── Translate.hs │ ├── Trim.hs │ ├── Unify.hs │ ├── Utils.hs │ └── Utils │ ├── Colour.hs │ ├── PopMap.hs │ └── ZEncode.hs ├── stack.yaml ├── talks └── cade │ ├── QRev.hs │ ├── abbrev.sty │ ├── callgraph.tex │ ├── code.sty │ ├── eqclasses.tex │ ├── hipspec-picture.tex │ ├── mathpartir.sty │ ├── presentation.pdf │ ├── presentation.tex │ ├── prooftree.sty │ └── terms.tex ├── testsuite ├── Makefile.common ├── examples │ ├── .gitignore │ ├── Makefile │ ├── Nicomachus.hs │ ├── Reverse.hs │ ├── Rotate.hs │ └── result.json ├── frontend │ ├── .gitignore │ ├── Serve.hs │ ├── app.coffee │ ├── index.css │ ├── index.html │ ├── index.sass │ ├── js │ │ └── app.js │ └── lib │ │ └── Makefile ├── precision-recall │ ├── .gitignore │ ├── Makefile │ ├── PrecisionRecall.hs │ └── result.json ├── prod │ ├── .gitignore │ ├── Definitions.hs │ ├── Makefile │ ├── Properties.hs │ ├── Sorting.hs │ ├── result.json │ ├── zeno_results.json │ └── zeno_version │ │ ├── Definitions.skeleton │ │ ├── PropT01.hs │ │ ├── PropT02.hs │ │ ├── PropT03.hs │ │ ├── PropT04.hs │ │ ├── PropT05.hs │ │ ├── PropT06.hs │ │ ├── PropT07.hs │ │ ├── PropT08.hs │ │ ├── PropT09.hs │ │ ├── PropT10.hs │ │ ├── PropT11.hs │ │ ├── PropT12.hs │ │ ├── PropT13.hs │ │ ├── PropT14.hs │ │ ├── PropT15.hs │ │ ├── PropT16.hs │ │ ├── PropT17.hs │ │ ├── PropT18.hs │ │ ├── PropT19.hs │ │ ├── PropT20.hs │ │ ├── PropT21.hs │ │ ├── PropT22.hs │ │ ├── PropT23.hs │ │ ├── PropT24.hs │ │ ├── PropT25.hs │ │ ├── PropT26.hs │ │ ├── PropT27.hs │ │ ├── PropT28.hs │ │ ├── PropT29.hs │ │ ├── PropT30.hs │ │ ├── PropT31.hs │ │ ├── PropT32.hs │ │ ├── PropT33.hs │ │ ├── PropT34.hs │ │ ├── PropT35.hs │ │ ├── PropT36.hs │ │ ├── PropT37.hs │ │ ├── PropT38.hs │ │ ├── PropT39.hs │ │ ├── PropT40.hs │ │ ├── PropT41.hs │ │ ├── PropT42.hs │ │ ├── PropT43.hs │ │ ├── PropT44.hs │ │ ├── PropT45.hs │ │ ├── PropT46.hs │ │ ├── PropT47.hs │ │ ├── PropT48.hs │ │ ├── PropT49.hs │ │ ├── PropT50.hs │ │ ├── Zeno.hs │ │ ├── ZenoVersion.hs │ │ ├── mk_zeno_files.py │ │ └── zeno_json_wrapper.py └── zeno │ ├── .gitignore │ ├── Definitions.hs │ ├── Makefile │ ├── Properties.hs │ └── result.json ├── tfp1 └── tests │ ├── App.hs │ ├── BExp.hs │ ├── BinLists.hs │ ├── CAFCase.hs │ ├── ConstLetLambda.hs │ ├── Defaults.hs │ ├── Eithers.hs │ ├── Filter.hs │ ├── Fix.hs │ ├── Guards.hs │ ├── IWC.hs │ ├── Inner.hs │ ├── Lambdas.hs │ ├── LiftTest.hs │ ├── ListsAndLambdas.hs │ ├── Map.hs │ ├── Merge.hs │ ├── MiniApp.hs │ ├── Mutual.hs │ ├── Ordinals.hs │ ├── Partition.hs │ ├── Patterns.hs │ ├── Ptr.hs │ ├── PuoF.hs │ ├── RetPtr.hs │ ├── SK.hs │ ├── Sections.hs │ ├── Shadowing.hs │ ├── SimpleLet.hs │ ├── SomePrelude.hs │ ├── State.hs │ ├── Subtraction.hs │ ├── TypeSynonym.hs │ ├── UnreachableCase.hs │ ├── Vardep.hs │ ├── Where.hs │ ├── Xor.hs │ ├── does_fail │ ├── DataList.hs │ └── Integer.hs │ ├── run_tests.sh │ └── should_fail │ ├── DepthTwoCase.hs │ ├── Int.hs │ ├── Let.hs │ ├── PolyLet.hs │ ├── Rank2.hs │ └── Risers.hs └── travis └── cabal-apt-install /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /examples/BExp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/BExp.hs -------------------------------------------------------------------------------- /examples/BinLists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/BinLists.hs -------------------------------------------------------------------------------- /examples/CFG.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/CFG.hs -------------------------------------------------------------------------------- /examples/CFG2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/CFG2.hs -------------------------------------------------------------------------------- /examples/CFG3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/CFG3.hs -------------------------------------------------------------------------------- /examples/CFG4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/CFG4.hs -------------------------------------------------------------------------------- /examples/CFG5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/CFG5.hs -------------------------------------------------------------------------------- /examples/CFG6.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/CFG6.hs -------------------------------------------------------------------------------- /examples/Challenges/Arrays.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Challenges/Arrays.hs -------------------------------------------------------------------------------- /examples/Challenges/DifficultRotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Challenges/DifficultRotate.hs -------------------------------------------------------------------------------- /examples/Challenges/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Challenges/Exp.hs -------------------------------------------------------------------------------- /examples/Challenges/Integers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Challenges/Integers.hs -------------------------------------------------------------------------------- /examples/Challenges/README.md: -------------------------------------------------------------------------------- 1 | 2 | Challenges for HipSpec. 3 | 4 | -------------------------------------------------------------------------------- /examples/Challenges/SameFringe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Challenges/SameFringe.hs -------------------------------------------------------------------------------- /examples/Challenges/SnocRotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Challenges/SnocRotate.hs -------------------------------------------------------------------------------- /examples/Challenges/integers: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Challenges/integers -------------------------------------------------------------------------------- /examples/Concat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Concat.hs -------------------------------------------------------------------------------- /examples/Flatten.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Flatten.hs -------------------------------------------------------------------------------- /examples/Flatten3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Flatten3.hs -------------------------------------------------------------------------------- /examples/HOF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/HOF.hs -------------------------------------------------------------------------------- /examples/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/List.hs -------------------------------------------------------------------------------- /examples/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Nat.hs -------------------------------------------------------------------------------- /examples/Nichomachus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Nichomachus.hs -------------------------------------------------------------------------------- /examples/Ordinals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Ordinals.hs -------------------------------------------------------------------------------- /examples/PQ.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/PQ.hs -------------------------------------------------------------------------------- /examples/Properties.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Properties.hs -------------------------------------------------------------------------------- /examples/Reverse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Reverse.hs -------------------------------------------------------------------------------- /examples/Rotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Rotate.hs -------------------------------------------------------------------------------- /examples/Russel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Russel.hs -------------------------------------------------------------------------------- /examples/SnocReverse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/SnocReverse.hs -------------------------------------------------------------------------------- /examples/Sorting.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Sorting.hs -------------------------------------------------------------------------------- /examples/Testing/Sanity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Testing/Sanity.hs -------------------------------------------------------------------------------- /examples/Testing/TypeSig.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/Testing/TypeSig.hs -------------------------------------------------------------------------------- /examples/old-examples/AppendLists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/AppendLists.hs -------------------------------------------------------------------------------- /examples/old-examples/BoolExp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/BoolExp.hs -------------------------------------------------------------------------------- /examples/old-examples/Iterate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/Iterate.hs -------------------------------------------------------------------------------- /examples/old-examples/ListMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/ListMonad.hs -------------------------------------------------------------------------------- /examples/old-examples/MapIter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/MapIter.hs -------------------------------------------------------------------------------- /examples/old-examples/MergeSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/MergeSort.hs -------------------------------------------------------------------------------- /examples/old-examples/QuickSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/QuickSort.hs -------------------------------------------------------------------------------- /examples/old-examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/README.md -------------------------------------------------------------------------------- /examples/old-examples/Tree2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/Tree2.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Bool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Bool.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Description.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Description.org -------------------------------------------------------------------------------- /examples/old-examples/hip/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Expr.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Fix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Fix.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Functions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Functions.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/IWC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/IWC.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Infinite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Infinite.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/InsertionSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/InsertionSort.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Integers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Integers.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/MergeSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/MergeSort.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/MonadEnv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/MonadEnv.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/MonadMaybe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/MonadMaybe.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/MonadState.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/MonadState.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Nat.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Nat2ndArg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Nat2ndArg.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/NatAcc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/NatAcc.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/NatDouble.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/NatDouble.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/NatDoubleSlow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/NatDoubleSlow.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/NatStrict.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/NatStrict.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/NatSwap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/NatSwap.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Ordinals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Ordinals.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/PatternMatching.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/PatternMatching.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/ProductiveUseOfFailure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/ProductiveUseOfFailure.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Queues.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Queues.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Reverse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Reverse.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Sequences.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Sequences.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Streams.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Streams.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/Tricky.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/Tricky.hs -------------------------------------------------------------------------------- /examples/old-examples/hip/ZenoLists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/hip/ZenoLists.hs -------------------------------------------------------------------------------- /examples/old-examples/older-examples/Count.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/older-examples/Count.hs -------------------------------------------------------------------------------- /examples/old-examples/older-examples/ListMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/older-examples/ListMonad.hs -------------------------------------------------------------------------------- /examples/old-examples/older-examples/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/older-examples/Nat.hs -------------------------------------------------------------------------------- /examples/old-examples/older-examples/Reverse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/older-examples/Reverse.hs -------------------------------------------------------------------------------- /examples/old-examples/older-examples/Rotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/older-examples/Rotate.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/BinLists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/BinLists.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/BinLists2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/BinLists2.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/Bool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/Bool.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/Count.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/Count.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/Implications.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/Implications.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/InsertionSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/InsertionSort.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/ListFunctions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/ListFunctions.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/ListMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/ListMonad.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/Lists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/Lists.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/Lists2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/Lists2.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/Lists3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/Lists3.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/MapCompose.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/MapCompose.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/NaivePQ.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/NaivePQ.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/Nat.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/Nat2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/Nat2.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/Patricia.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/Patricia.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/ProductiveUseOfFailure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/ProductiveUseOfFailure.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/ProductiveUseOfFailure2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/ProductiveUseOfFailure2.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/Queue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/Queue.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/Reverse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/Reverse.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/ReverseAsFoldl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/ReverseAsFoldl.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/SetList.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/SetList.hs -------------------------------------------------------------------------------- /examples/old-examples/quickspec/ZenoLists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/examples/old-examples/quickspec/ZenoLists.hs -------------------------------------------------------------------------------- /hipspec.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/hipspec.cabal -------------------------------------------------------------------------------- /run_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/run_tests.sh -------------------------------------------------------------------------------- /src/HipSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec.hs -------------------------------------------------------------------------------- /src/HipSpec/ATP/Invoke.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/ATP/Invoke.hs -------------------------------------------------------------------------------- /src/HipSpec/ATP/Provers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/ATP/Provers.hs -------------------------------------------------------------------------------- /src/HipSpec/ATP/Results.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/ATP/Results.hs -------------------------------------------------------------------------------- /src/HipSpec/GHC/Calls.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/GHC/Calls.hs -------------------------------------------------------------------------------- /src/HipSpec/GHC/FreeTyCons.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/GHC/FreeTyCons.hs -------------------------------------------------------------------------------- /src/HipSpec/GHC/Unfoldings.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/GHC/Unfoldings.hs -------------------------------------------------------------------------------- /src/HipSpec/GHC/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/GHC/Utils.hs -------------------------------------------------------------------------------- /src/HipSpec/Heuristics/Associativity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Heuristics/Associativity.hs -------------------------------------------------------------------------------- /src/HipSpec/Heuristics/CallGraph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Heuristics/CallGraph.hs -------------------------------------------------------------------------------- /src/HipSpec/Id.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Id.hs -------------------------------------------------------------------------------- /src/HipSpec/Induction.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Induction.hs -------------------------------------------------------------------------------- /src/HipSpec/Init.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Init.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/CoreLint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/CoreLint.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/CoreToRich.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/CoreToRich.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/DataConPattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/DataConPattern.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/Deappify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/Deappify.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/FunctionalFO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/FunctionalFO.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/LintRich.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/LintRich.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/Monomorphise.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/Monomorphise.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/PolyFOL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/PolyFOL.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/PolyFOL/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/PolyFOL/Types.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/PrettyAltErgo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/PrettyAltErgo.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/PrettyFO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/PrettyFO.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/PrettyRich.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/PrettyRich.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/PrettySMT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/PrettySMT.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/PrettyTFF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/PrettyTFF.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/PrettyUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/PrettyUtils.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/RemoveDefault.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/RemoveDefault.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/Renamer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/Renamer.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/Rich.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/Rich.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/RichToSimple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/RichToSimple.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/Scope.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/Scope.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/Simple.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/SimpleToFO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/SimpleToFO.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/SimplifyRich.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/SimplifyRich.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/ToPolyFOL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/ToPolyFOL.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/TyAppBeta.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/TyAppBeta.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/Type.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/TypedScope.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/TypedScope.hs -------------------------------------------------------------------------------- /src/HipSpec/Lang/Uniquify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lang/Uniquify.hs -------------------------------------------------------------------------------- /src/HipSpec/Lemma.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lemma.hs -------------------------------------------------------------------------------- /src/HipSpec/Lint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Lint.hs -------------------------------------------------------------------------------- /src/HipSpec/Literal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Literal.hs -------------------------------------------------------------------------------- /src/HipSpec/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Main.hs -------------------------------------------------------------------------------- /src/HipSpec/MainLoop.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/MainLoop.hs -------------------------------------------------------------------------------- /src/HipSpec/MakeInvocations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/MakeInvocations.hs -------------------------------------------------------------------------------- /src/HipSpec/MakeProofs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/MakeProofs.hs -------------------------------------------------------------------------------- /src/HipSpec/Messages.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Messages.hs -------------------------------------------------------------------------------- /src/HipSpec/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Monad.hs -------------------------------------------------------------------------------- /src/HipSpec/Params.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Params.hs -------------------------------------------------------------------------------- /src/HipSpec/ParseDSL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/ParseDSL.hs -------------------------------------------------------------------------------- /src/HipSpec/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Pretty.hs -------------------------------------------------------------------------------- /src/HipSpec/Property.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Property.hs -------------------------------------------------------------------------------- /src/HipSpec/Property/Repr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Property/Repr.hs -------------------------------------------------------------------------------- /src/HipSpec/Read.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Read.hs -------------------------------------------------------------------------------- /src/HipSpec/Reasoning.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Reasoning.hs -------------------------------------------------------------------------------- /src/HipSpec/Sig/Definitions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Sig/Definitions.hs -------------------------------------------------------------------------------- /src/HipSpec/Sig/Get.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Sig/Get.hs -------------------------------------------------------------------------------- /src/HipSpec/Sig/Make.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Sig/Make.hs -------------------------------------------------------------------------------- /src/HipSpec/Sig/QSTerm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Sig/QSTerm.hs -------------------------------------------------------------------------------- /src/HipSpec/Sig/Resolve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Sig/Resolve.hs -------------------------------------------------------------------------------- /src/HipSpec/Sig/Scope.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Sig/Scope.hs -------------------------------------------------------------------------------- /src/HipSpec/Sig/Symbols.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Sig/Symbols.hs -------------------------------------------------------------------------------- /src/HipSpec/Theory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Theory.hs -------------------------------------------------------------------------------- /src/HipSpec/ThmLib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/ThmLib.hs -------------------------------------------------------------------------------- /src/HipSpec/Translate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Translate.hs -------------------------------------------------------------------------------- /src/HipSpec/Trim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Trim.hs -------------------------------------------------------------------------------- /src/HipSpec/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Unify.hs -------------------------------------------------------------------------------- /src/HipSpec/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Utils.hs -------------------------------------------------------------------------------- /src/HipSpec/Utils/Colour.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Utils/Colour.hs -------------------------------------------------------------------------------- /src/HipSpec/Utils/PopMap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Utils/PopMap.hs -------------------------------------------------------------------------------- /src/HipSpec/Utils/ZEncode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/src/HipSpec/Utils/ZEncode.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/stack.yaml -------------------------------------------------------------------------------- /talks/cade/QRev.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/talks/cade/QRev.hs -------------------------------------------------------------------------------- /talks/cade/abbrev.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/talks/cade/abbrev.sty -------------------------------------------------------------------------------- /talks/cade/callgraph.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/talks/cade/callgraph.tex -------------------------------------------------------------------------------- /talks/cade/code.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/talks/cade/code.sty -------------------------------------------------------------------------------- /talks/cade/eqclasses.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/talks/cade/eqclasses.tex -------------------------------------------------------------------------------- /talks/cade/hipspec-picture.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/talks/cade/hipspec-picture.tex -------------------------------------------------------------------------------- /talks/cade/mathpartir.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/talks/cade/mathpartir.sty -------------------------------------------------------------------------------- /talks/cade/presentation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/talks/cade/presentation.pdf -------------------------------------------------------------------------------- /talks/cade/presentation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/talks/cade/presentation.tex -------------------------------------------------------------------------------- /talks/cade/prooftree.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/talks/cade/prooftree.sty -------------------------------------------------------------------------------- /talks/cade/terms.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/talks/cade/terms.tex -------------------------------------------------------------------------------- /testsuite/Makefile.common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/Makefile.common -------------------------------------------------------------------------------- /testsuite/examples/.gitignore: -------------------------------------------------------------------------------- 1 | results 2 | -------------------------------------------------------------------------------- /testsuite/examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/examples/Makefile -------------------------------------------------------------------------------- /testsuite/examples/Nicomachus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/examples/Nicomachus.hs -------------------------------------------------------------------------------- /testsuite/examples/Reverse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/examples/Reverse.hs -------------------------------------------------------------------------------- /testsuite/examples/Rotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/examples/Rotate.hs -------------------------------------------------------------------------------- /testsuite/examples/result.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/examples/result.json -------------------------------------------------------------------------------- /testsuite/frontend/.gitignore: -------------------------------------------------------------------------------- 1 | .sass-cache* 2 | Serve 3 | results 4 | -------------------------------------------------------------------------------- /testsuite/frontend/Serve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/frontend/Serve.hs -------------------------------------------------------------------------------- /testsuite/frontend/app.coffee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/frontend/app.coffee -------------------------------------------------------------------------------- /testsuite/frontend/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/frontend/index.css -------------------------------------------------------------------------------- /testsuite/frontend/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/frontend/index.html -------------------------------------------------------------------------------- /testsuite/frontend/index.sass: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/frontend/index.sass -------------------------------------------------------------------------------- /testsuite/frontend/js/app.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/frontend/js/app.js -------------------------------------------------------------------------------- /testsuite/frontend/lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/frontend/lib/Makefile -------------------------------------------------------------------------------- /testsuite/precision-recall/.gitignore: -------------------------------------------------------------------------------- 1 | results 2 | -------------------------------------------------------------------------------- /testsuite/precision-recall/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/precision-recall/Makefile -------------------------------------------------------------------------------- /testsuite/precision-recall/PrecisionRecall.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/precision-recall/PrecisionRecall.hs -------------------------------------------------------------------------------- /testsuite/precision-recall/result.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/precision-recall/result.json -------------------------------------------------------------------------------- /testsuite/prod/.gitignore: -------------------------------------------------------------------------------- 1 | results 2 | -------------------------------------------------------------------------------- /testsuite/prod/Definitions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/Definitions.hs -------------------------------------------------------------------------------- /testsuite/prod/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/Makefile -------------------------------------------------------------------------------- /testsuite/prod/Properties.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/Properties.hs -------------------------------------------------------------------------------- /testsuite/prod/Sorting.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/Sorting.hs -------------------------------------------------------------------------------- /testsuite/prod/result.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/result.json -------------------------------------------------------------------------------- /testsuite/prod/zeno_results.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_results.json -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/Definitions.skeleton: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/Definitions.skeleton -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT01.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT01.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT02.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT02.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT03.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT03.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT04.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT04.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT05.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT05.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT06.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT06.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT07.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT07.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT08.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT08.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT09.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT09.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT10.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT10.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT11.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT11.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT12.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT12.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT13.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT13.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT14.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT14.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT15.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT15.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT16.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT16.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT17.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT17.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT18.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT18.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT19.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT19.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT20.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT20.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT21.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT21.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT22.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT22.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT23.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT23.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT24.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT24.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT25.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT25.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT26.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT26.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT27.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT27.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT28.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT28.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT29.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT29.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT30.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT30.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT31.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT31.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT32.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT32.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT33.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT33.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT34.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT34.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT35.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT35.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT36.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT36.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT37.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT37.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT38.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT38.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT39.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT39.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT40.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT40.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT41.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT41.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT42.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT42.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT43.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT43.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT44.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT44.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT45.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT45.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT46.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT46.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT47.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT47.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT48.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT48.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT49.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT49.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/PropT50.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/PropT50.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/Zeno.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/Zeno.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/ZenoVersion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/ZenoVersion.hs -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/mk_zeno_files.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/mk_zeno_files.py -------------------------------------------------------------------------------- /testsuite/prod/zeno_version/zeno_json_wrapper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/prod/zeno_version/zeno_json_wrapper.py -------------------------------------------------------------------------------- /testsuite/zeno/.gitignore: -------------------------------------------------------------------------------- 1 | results 2 | -------------------------------------------------------------------------------- /testsuite/zeno/Definitions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/zeno/Definitions.hs -------------------------------------------------------------------------------- /testsuite/zeno/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/zeno/Makefile -------------------------------------------------------------------------------- /testsuite/zeno/Properties.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/zeno/Properties.hs -------------------------------------------------------------------------------- /testsuite/zeno/result.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/testsuite/zeno/result.json -------------------------------------------------------------------------------- /tfp1/tests/App.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/App.hs -------------------------------------------------------------------------------- /tfp1/tests/BExp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/BExp.hs -------------------------------------------------------------------------------- /tfp1/tests/BinLists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/BinLists.hs -------------------------------------------------------------------------------- /tfp1/tests/CAFCase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/CAFCase.hs -------------------------------------------------------------------------------- /tfp1/tests/ConstLetLambda.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/ConstLetLambda.hs -------------------------------------------------------------------------------- /tfp1/tests/Defaults.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Defaults.hs -------------------------------------------------------------------------------- /tfp1/tests/Eithers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Eithers.hs -------------------------------------------------------------------------------- /tfp1/tests/Filter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Filter.hs -------------------------------------------------------------------------------- /tfp1/tests/Fix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Fix.hs -------------------------------------------------------------------------------- /tfp1/tests/Guards.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Guards.hs -------------------------------------------------------------------------------- /tfp1/tests/IWC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/IWC.hs -------------------------------------------------------------------------------- /tfp1/tests/Inner.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Inner.hs -------------------------------------------------------------------------------- /tfp1/tests/Lambdas.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Lambdas.hs -------------------------------------------------------------------------------- /tfp1/tests/LiftTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/LiftTest.hs -------------------------------------------------------------------------------- /tfp1/tests/ListsAndLambdas.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/ListsAndLambdas.hs -------------------------------------------------------------------------------- /tfp1/tests/Map.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Map.hs -------------------------------------------------------------------------------- /tfp1/tests/Merge.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Merge.hs -------------------------------------------------------------------------------- /tfp1/tests/MiniApp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/MiniApp.hs -------------------------------------------------------------------------------- /tfp1/tests/Mutual.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Mutual.hs -------------------------------------------------------------------------------- /tfp1/tests/Ordinals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Ordinals.hs -------------------------------------------------------------------------------- /tfp1/tests/Partition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Partition.hs -------------------------------------------------------------------------------- /tfp1/tests/Patterns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Patterns.hs -------------------------------------------------------------------------------- /tfp1/tests/Ptr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Ptr.hs -------------------------------------------------------------------------------- /tfp1/tests/PuoF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/PuoF.hs -------------------------------------------------------------------------------- /tfp1/tests/RetPtr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/RetPtr.hs -------------------------------------------------------------------------------- /tfp1/tests/SK.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/SK.hs -------------------------------------------------------------------------------- /tfp1/tests/Sections.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Sections.hs -------------------------------------------------------------------------------- /tfp1/tests/Shadowing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Shadowing.hs -------------------------------------------------------------------------------- /tfp1/tests/SimpleLet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/SimpleLet.hs -------------------------------------------------------------------------------- /tfp1/tests/SomePrelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/SomePrelude.hs -------------------------------------------------------------------------------- /tfp1/tests/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/State.hs -------------------------------------------------------------------------------- /tfp1/tests/Subtraction.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Subtraction.hs -------------------------------------------------------------------------------- /tfp1/tests/TypeSynonym.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/TypeSynonym.hs -------------------------------------------------------------------------------- /tfp1/tests/UnreachableCase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/UnreachableCase.hs -------------------------------------------------------------------------------- /tfp1/tests/Vardep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Vardep.hs -------------------------------------------------------------------------------- /tfp1/tests/Where.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Where.hs -------------------------------------------------------------------------------- /tfp1/tests/Xor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/Xor.hs -------------------------------------------------------------------------------- /tfp1/tests/does_fail/DataList.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/does_fail/DataList.hs -------------------------------------------------------------------------------- /tfp1/tests/does_fail/Integer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/does_fail/Integer.hs -------------------------------------------------------------------------------- /tfp1/tests/run_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/run_tests.sh -------------------------------------------------------------------------------- /tfp1/tests/should_fail/DepthTwoCase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/should_fail/DepthTwoCase.hs -------------------------------------------------------------------------------- /tfp1/tests/should_fail/Int.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/should_fail/Int.hs -------------------------------------------------------------------------------- /tfp1/tests/should_fail/Let.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/should_fail/Let.hs -------------------------------------------------------------------------------- /tfp1/tests/should_fail/PolyLet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/should_fail/PolyLet.hs -------------------------------------------------------------------------------- /tfp1/tests/should_fail/Rank2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/should_fail/Rank2.hs -------------------------------------------------------------------------------- /tfp1/tests/should_fail/Risers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/tfp1/tests/should_fail/Risers.hs -------------------------------------------------------------------------------- /travis/cabal-apt-install: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danr/hipspec/HEAD/travis/cabal-apt-install --------------------------------------------------------------------------------