44fb18fConsolidate reg018 into regression002Steven Shaw10 years ago 812566dConsolidate reg010 into regression002Steven Shaw10 years ago 7701a90Consolidate reg007 into regression002Steven Shaw10 years ago c318c38Consolidate reg006 into regression002Steven Shaw10 years ago 1db1851Consolidate reg003 into regression002Steven Shaw10 years ago 2be265dUse one idris process for reg003Steven Shaw10 years ago 691e704Merge pull request #3344 from steshaw/optimise-travis-pkg-installationNiklas Larsson10 years ago 96cbb02Merge pull request #3341 from steshaw/auto-generating-extra-source-filesNiklas Larsson10 years ago 0422b09Must include cppcheck and hscolour in each spot in the matrix.Steven Shaw10 years ago fde0bbcOptimise package installation on Travis.Steven Shaw10 years ago e9f4200Generate extra-source-files using cabal hookSteven Shaw10 years ago 9916b3fMerge pull request #3338 from steshaw/consolidate-unique-testsNiklas Larsson10 years ago ace75afMerge pull request #3340 from zjhmale/fix-typoNiklas Larsson10 years ago 321f131fix typo Becuase to Becausezjhmale10 years ago 6f243b1Update idris.cabal extra-source-filesSteven Shaw10 years ago edb5d93Merge pull request #3322 from zjhmale/fix-lines-unlinesNiklas Larsson10 years ago 6e4a5e5Merge pull request #3335 from steshaw/allow-travis-to-run-against-private-repoNiklas Larsson10 years ago b4f3c6eRemember the original directory to avoid globbing.Steven Shaw10 years ago 731c529Merge pull request #3331 from melted/stderr_issueNiklas Larsson10 years ago 666f82eUpdate TestDataSteven Shaw10 years ago e493674Consolidate unique003 into unique004Steven Shaw10 years ago c2113d7Consolidate unique002 into unique004Steven Shaw10 years ago 006b884Consolidate unique001 into unique004Steven Shaw10 years ago 09263c1Don't query width when not a ttyNiklas Larsson10 years ago 1333098Allow Travis to work when repo isn't named Idris-dev.Steven Shaw10 years ago b4c661aMerge pull request #3315 from steshaw/tasty-diffNiklas Larsson10 years ago 32fb4e0Normalise embedded paths in `normalise`.Steven Shaw10 years ago 5f3f81dEnable unified diff for tasty tests #3309.Steven Shaw10 years ago 51da43fMerge pull request #3328 from melted/fix_icon_obj_pathNiklas Larsson10 years ago b8bb3dcFix the icon object path so it goes in the dir.Niklas Larsson10 years ago c3a141bMerge pull request #3295 from zjhmale/bits8-unsigned-operationsNiklas Larsson10 years ago e1d1ed8make lines and unlines agree with Haskellzjhmale10 years ago 98c892cProperly attribute linker script regexes (#3314)Echo Nolan10 years ago 5f8389fUse Word64 for hash. (#3319)Niklas Larsson10 years ago 214e57eRevert "Pass on the output on stderr from tests. (#3310)" (#3320)Niklas Larsson10 years ago a0c98e4Merge branch 'master' of github.com:idris-lang/Idris-devv0.12.2Edwin Brady10 years ago 2100241Rename testsEdwin Brady10 years ago 7186adesince BitsN is unsigned through the definition, unsigned operations like prim__udivB8 and prim__uremB8 should be used rather than the signed oneszjhmale10 years ago 652b0feMerge pull request #3303 from zjhmale/let-reverse-ranges-work-againJan de Muijnck-Hughes10 years ago 7ccb0f9Merge pull request #3311 from BartAdv/pkg-optional-mainJan de Muijnck-Hughes10 years ago 420aa36Update version to 0.12.2Edwin Brady10 years ago 7bb506bName change in 'const'Edwin Brady10 years ago 9fcea3fMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady10 years ago 0d2f11flet Reverse Ranges work againzjhmale10 years ago 9c32ab6Merge pull request #3282 from steshaw/bug/master/729-layout-ruleJan de Muijnck-Hughes10 years ago 483fd4fBetter handling of optional main in package filesBartosz Przygoda10 years ago 7bedd1cDon't use color in Appveyor's console. (#3312)Niklas Larsson10 years ago c1810b8Pass on the output on stderr from tests. (#3310)Niklas Larsson10 years ago 2e70b6cAdded test case for System.system (#3281)Steven Shaw10 years ago 46c1cd5Merge pull request #3302 from zjhmale/replace-count-with-enumfrom-in-docsJan de Muijnck-Hughes10 years ago