3ebab66Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago 9836a07Inlining - Evaluator now supports run-time termsEdwin Brady13 years ago 6306d68:help and tab completion for :docDavid Christiansen13 years ago 9394224Added documentation for builtins. Rewrite tactics not documented.Jan de Muijnck-Hughes13 years ago db0c021Merge pull request #591 from eamsden/NullPtrEdwin Brady13 years ago 94068f2Merge pull request #589 from LeifW/xml_libEdwin Brady13 years ago 521dc75Prune case trees properly on optimised NatEdwin Brady13 years ago 8ccd2e6Add test documentationJan Bessai13 years ago a0e97d0Make test033 work with Java by using nullPtr from prelude instead of c functionJan Bessai13 years ago 5f47063null primitive for the Java back endJan Bessai13 years ago f58b3ebMerge branch 'NullPtr' of https://github.com/eamsden/Idris-dev into NullPtrJan Bessai13 years ago 86fc1a1Added simple benchmark systemEdwin Brady13 years ago 8a74649Add ECA to contributorsEdward Amsden13 years ago 2c31e8eNull pointer FFI testEdward Amsden13 years ago ffe8706Null pointer primitiveEdward Amsden13 years ago 029da07Take into account that GMP operations can move dataEdwin Brady13 years ago b750a04Use "where" instead of "do ... let"Leif Warner13 years ago 6f34ac1Use XML lib instead of string templating.Leif Warner13 years ago 6221726Use xml lib to produce <dependencies/>.Leif Warner13 years ago 9e5f23bMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago 73f4393Merge pull request #588 from david-christiansen/test_allEdwin Brady13 years ago 370b063Merge pull request #587 from david-christiansen/cpp-warningsEdwin Brady13 years ago 22ee5a4Merge pull request #586 from david-christiansen/create-dir-startupEdwin Brady13 years ago 057680aFix case splitting where patterns shadow global namesEdwin Brady13 years ago 37f0b57Add test_all target to run tests for all backendsDavid Christiansen13 years ago d3299a5Stop CPP from emitting useless warningsDavid Christiansen13 years ago c0cda70Merge pull request #585 from david-christiansen/error-reflectionEdwin Brady13 years ago 35a2e51Create directory for storing history at startupDavid Christiansen13 years ago 7c255e9Properly show errors in batch compile modeDavid Christiansen13 years ago fe3354bMerge pull request #584 from david-christiansen/error-reflectionEdwin Brady13 years ago 7aa8283Small tutorial tweaks for 0.9.10Edwin Brady13 years ago b932c1bClarify parity/natToBin in the tutorialEdwin Brady13 years ago 6b16b47Fix display of errors in proverDavid Christiansen13 years ago 6b3457aName resolution should respect %hideEdwin Brady13 years ago 1668f2bMerge pull request #582 from ahmadsalim/feature/metavariableparserfixEdwin Brady13 years ago 7b54324Fixes idris-lang/Idris-dev#577 by doing look ahead on metavariables to avoid confusion with ?=Ahmad Salim Al-Sibahi13 years ago 4a5831dMerge pull request #579 from david-christiansen/emacs-autoEdwin Brady13 years ago c1de41cSome fixes for adding declarations in wheresEdwin Brady13 years ago 05548f2More robust Emacs commandsDavid Christiansen13 years ago e482c57Add quick and dirty Emacs interactive editing supportDavid Christiansen13 years ago 92d3d7eMerge pull request #576 from folone/masterEdwin Brady13 years ago b095ac0Merge pull request #575 from david-christiansen/tab-new-cmdsEdwin Brady13 years ago 3c32b65Whitespace cleanup.George Leontiev13 years ago 91317fbAdd new editor commands to tab completionDavid Christiansen13 years ago afef29eUpdate CHANGELOG and verison numberEdwin Brady13 years ago de22f1bMerge pull request #574 from david-christiansen/ffiwarnEdwin Brady13 years ago c78d8d2Merge pull request #571 from folone/topic/writerEdwin Brady13 years ago 572db40Merge pull request #570 from folone/masterEdwin Brady13 years ago 6adee80Add :apc for adding "proof style" declarationsEdwin Brady13 years ago 933b653Added warning in case Idris is compiled without libffi supportDavid Christiansen13 years ago