git.iko.soy/Idris-dev
on master help sign in
history ofdf4cd71..master
compare
13449b5Restrict System.usleep intervalSaurabh Rawat 617f8a8change export rules for moduleVyacheslav Shebanov 01aff97Fix names in generating missing casesEdwin Brady ea88b5eBetter choice of pattern to inspect in coverageEdwin Brady 7c95173Undo more liberal choice of forced argumentsEdwin Brady dd231d2Fix mistake in Data.hsEdwin Brady fe68986Coverage checker fixEdwin Brady 3a881e6Fix whnfArgs naming errorEdwin Brady 4d574b9Merge pull request #3533 from jfdm/make-mkpkg-more-robustJan de Muijnck-Hughes f6f52f3Made Mac OS X package generatation more robust.Jan de Muijnck-Hughes 68f850aMerge pull request #3531 from jfdm/fix-contributors-fileJan de Muijnck-Hughes 9921833Update version in CHANGELOGEdwin Brady 4a54ee7Version increment to 0.99v0.99Edwin Brady 25eea96'compute' rather than whnf on disambiguationEdwin Brady 8dc243fMore WHNF in Elab.TermEdwin Brady 7818396Don't whnf binder typesEdwin Brady d0671a3Use WHNF in a few placesEdwin Brady 3612623More WHNF editsEdwin Brady b0130d6Add whnfArgsEdwin Brady b28f12bWHNF takes an environmentEdwin Brady c42e7f8Merge pull request #3530 from jfdm/fix-man-page-formattingJan de Muijnck-Hughes 908053dUpdated CONTRIBUTORS to reflect actual contributors.Jan de Muijnck-Hughes a2cb1e2Fixed formatting of man page.Jan de Muijnck-Hughes 61d5865New coverage checkerEdwin Brady ed6c0ffMerge pull request #3265 from crough/test-exitcodeJan de Muijnck-Hughes 717e854Changed ASCII to Unicode in Prelude.Chars documentation.Kyarigwo 2c0be60Merge pull request #3528 from jfdm/tidy-travisJan de Muijnck-Hughes 800af28Slight tidy of travis config.Jan de Muijnck-Hughes f6cd836Always run all tests, and exit 1 if any failJames Alexander Feldman-Crough 62f8aaeMerge pull request #3526 from jfdm/stack-updateJan de Muijnck-Hughes 1963600Merge pull request #3522 from ziman/fix-lam-to-letJan de Muijnck-Hughes 7d2adeeUpdated Stack Resolver to LTS 7.10.Jan de Muijnck-Hughes 078c167Merge pull request #3523 from jfdm/fix-cabal-cfgJan de Muijnck-Hughes aa91025Bumped cabal version in idris.cabalJan de Muijnck-Hughes ddd53cdAdd a regression test.Matus Tejiscak 2ca5558Fixed highlighting/indentation for code examplesAhmad Salim Al-Sibahi 8177659Support nested lambdas in lamToLet.Matus Tejiscak b8f0ef6Separate modules for termination/coverageEdwin Brady b0899ccLook deeper when coverage checkingEdwin Brady 3275efdSpeed up coverage checkingEdwin Brady 8ea27aeRemove a needless 'nub'Edwin Brady 7813874Fix logging of unfoldsEdwin Brady 0f3e4e3Apply forcing optimisation on LHSEdwin Brady 001dfedFix a source of major slownessEdwin Brady 521b8bfRemove unused case tree codeEdwin Brady ff01a4cMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 7537cc4Change totality checking and inliningEdwin Brady d8fd36aMerge pull request #3508 from orokanasaru/rangesJan de Muijnck-Hughes 4057b48Modify pretty printer for lambdasEdwin Brady 9dd3e00Elements of Fin when converted to Nat are smaller than the Bound. (#3407)Apostolis Xekoukoulotakis