Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / pmcheck /
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2018-11-07  David Eichmanntestsuite: Save performance metrics in git notes.
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-15  Vladislav ZavialovEnable -Wcompat=error in the testsuite
2018-09-28  Ryan ScottNormalise EmptyCase types using the constraint solver
2018-09-23  Ryan ScottAdd a recursivity check in nonVoid
2018-08-27  Ryan ScottTake strict fields into account in coverage checking
2018-08-01  Ryan ScottFix #15450 by refactoring checkEmptyCase'
2018-07-30  Ryan ScottFix #15385 by using addDictsDs in matchGuards
2018-07-15  Richard EisenbergReclassify some performance tests
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-03  Ryan ScottFix a bad interaction between GADTs and COMPLETE sets
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-03-02  Ryan ScottFix the coverage checker's treatment of existential...
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-09-21  Ben Gamaritestsuite: Add testcase for #14253
2017-08-05  Ryan ScottDon't warn when empty casing on Type
2017-04-21  Ben Gamaritestsuite: Bump timeout multiplier for T11195
2017-04-11  Gabor GreifTypos in comments [ci skip]
2017-04-04  Ben Gamaritestsuite: Bump up timeout multiplier on T11195
2017-03-03  Ben Gamaritestsuite: Add comment clarifying intention of complete...
2017-03-03  Reid BartonUpdate test completesig04
2017-03-03  Ben Gamaritestsuite: Fix output due to recent COMPLETE changes
2017-02-08  Simon Peyton JonesKill inaccessible-branch complaints in record update
2017-02-06  Matthew PickeringDon't return empty initial uncovered set for an unsat...
2017-02-02  George KarachaliasExhaustiveness check for EmptyCase (Trac #10746)
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2016-04-10  Herbert Valerio... Reduce default for -fmax-pmcheck-iterations from 1e7...
2016-02-27  Herbert Valerio... Print which flag controls emitted desugaring warnings
2016-02-25  Thomas MiedemaTestsuite: delete empty files [skip ci]
2016-02-25  George Karachalias(Alternative way to) address #8710
2016-02-17  Thomas MiedemaTestsuite: delete compiler_lt/le/gt/ge setup functions
2016-02-16  Thomas MiedemaTestsuite: delete only_compiler_types, assume ghc
2016-02-04  George KarachaliasOverhaul the Overhauled Pattern Match Checker
2016-01-04  George KarachaliasAvoid generating guards for CoPats if possible (Address...
2015-12-31  Simon Peyton JonesTest Trac #11245
2015-12-30  Ben GamariT11303: Set maximum heap size
2015-12-29  Ben GamariAdd regression test for #11303
2015-12-18  Simon Peyton JonestcCheckSatisfiability: less aggressive superclass expansion
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-12  Eric SeidelRework the Implicit CallStack solver to handle local...
2015-12-04  Ben Gamaritestsuite: Rename pmcheck/T7669 to pmcheck/T7669a
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)