git.iko.soy/Idris-dev
on master help sign in
history ofe88a135..master
compare
e493674Consolidate unique003 into unique004Steven Shaw c2113d7Consolidate unique002 into unique004Steven Shaw 006b884Consolidate unique001 into unique004Steven Shaw 09263c1Don't query width when not a ttyNiklas Larsson 1333098Allow Travis to work when repo isn't named Idris-dev.Steven Shaw fa6e061Expect test1 before test2Steven Shaw b4c661aMerge pull request #3315 from steshaw/tasty-diffNiklas Larsson d544a6fKeep filename args in the order specified on the cmd line.Steven Shaw 32fb4e0Normalise embedded paths in `normalise`.Steven Shaw 5f3f81dEnable unified diff for tasty tests #3309.Steven Shaw 51da43fMerge pull request #3328 from melted/fix_icon_obj_pathNiklas Larsson b8bb3dcFix the icon object path so it goes in the dir.Niklas Larsson c3a141bMerge pull request #3295 from zjhmale/bits8-unsigned-operationsNiklas Larsson e1d1ed8make lines and unlines agree with Haskellzjhmale 98c892cProperly attribute linker script regexes (#3314)Echo Nolan 5f8389fUse Word64 for hash. (#3319)Niklas Larsson 214e57eRevert "Pass on the output on stderr from tests. (#3310)" (#3320)Niklas Larsson a0c98e4Merge branch 'master' of github.com:idris-lang/Idris-devv0.12.2Edwin Brady 2100241Rename testsEdwin Brady 7186adesince BitsN is unsigned through the definition, unsigned operations like prim__udivB8 and prim__uremB8 should be used rather than the signed oneszjhmale 652b0feMerge pull request #3303 from zjhmale/let-reverse-ranges-work-againJan de Muijnck-Hughes 7ccb0f9Merge pull request #3311 from BartAdv/pkg-optional-mainJan de Muijnck-Hughes 420aa36Update version to 0.12.2Edwin Brady 7bb506bName change in 'const'Edwin Brady 9fcea3fMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 0d2f11flet Reverse Ranges work againzjhmale 9c32ab6Merge pull request #3282 from steshaw/bug/master/729-layout-ruleJan de Muijnck-Hughes 483fd4fBetter handling of optional main in package filesBartosz Przygoda 7bedd1cDon't use color in Appveyor's console. (#3312)Niklas Larsson c1810b8Pass on the output on stderr from tests. (#3310)Niklas Larsson 2e70b6cAdded test case for System.system (#3281)Steven Shaw 46c1cd5Merge pull request #3302 from zjhmale/replace-count-with-enumfrom-in-docsJan de Muijnck-Hughes b3afac0Merge pull request #3308 from steshaw/tasty-test-listingJan de Muijnck-Hughes e739a25Merge pull request #3279 from steshaw/lines-unlinesJan de Muijnck-Hughes 97752caRenamed test file to make globbing order portable.Steven Shaw cfab5ecAdd layout001 to tasty test suite.Steven Shaw 563cae4Add EvanB's NonLayout test case.Steven Shaw f73cb16Add test sources to `idris.cabal` extra-source-files.Steven Shaw a936a59Check the indent rule on the rhs of functions.Steven Shaw 8b64f7fAdd more test cases for #729.Steven Shaw 368ed1dAdd test case from bug #729 (layout rule).Steven Shaw 5cd964dEnable tasty test listing.Steven Shaw ca0758eMerge pull request #3307 from melted/tweak_badgeNiklas Larsson c0adf0fSpecify branch in appveyor badgeNiklas Larsson f7612b8Merge pull request #3306 from idris-lang/appveyor-badgeNiklas Larsson ea85f32Rearrange badgesNiklas Larsson 15fa6a8Add Appveyor badgeNiklas Larsson 588e347Merge pull request #3305 from jfdm/pkg-namespaceJan de Muijnck-Hughes cc1d697Improvements to iPKG code.Jan de Muijnck-Hughes 3f39e81Rebase to master and add prelude001 to tasty test suite.Steven Shaw