git.iko.soy/Idris-dev
on bc38aae help sign in
bc38aaeMerge pull request #310 from hannesm/use-compiled-idris-instead-of-installedEdwin Brady ee3da18Build in .travis.ymlEdwin Brady faad05cInstead of using the installed global idris for tests, pass the PATH to the current compiled one to test and use thisHannes Mehnert 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady 977c987Merge pull request #302 from raichoo/vimEdwin Brady ef1bbd9Merge pull request #300 from david-christiansen/providersEdwin Brady 8f03153Merge pull request #299 from david-christiansen/sqliteEdwin Brady 8fed722Merge pull request #294 from bitlisp/unified-int-primitivesEdwin Brady 0029900Look in the environment before the definitions in executorDavid Christiansen d0e54d1vim: remove bad whitespace highlightraichoo 350cc02Fixed semantics of isNull emulation to properly wrap in IODavid Christiansen d1de0f4More primitivesDavid Christiansen 93fa7ceAdded isNull emulation plus another primitiveDavid Christiansen f5f2bd3Add the RTLD_GLOBAL option to dlopenDavid Christiansen ace080cFirst check for exact filename when dynamically loading C libDavid Christiansen c6540d0Build SQLite interface as shared library for dynamic loadingDavid Christiansen 308efeaFriendly smart constructors for foreign integer typesBenjamin Saunders fadeecdFix Core.Execute to use IRTS.Lang.FTypeBenjamin Saunders b1a9e75Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitivesBenjamin Saunders 943b653Merge branch 'MixingImplicitArgs' of https://github.com/JanBessai/Idris-dev into JanBessai-MixingImplicitArgsEdwin Brady 8c25808Merge pull request #297 from david-christiansen/proofutilsEdwin Brady c8ba164Merge pull request #296 from david-christiansen/sqliteEdwin Brady 1f562fcMerge pull request #295 from david-christiansen/boundedlistEdwin Brady 2fc3c3aFix idris.cabal and base.ipkg to include Data.Vect.*Edwin Brady ce39374Merge branch 'vect-quantifiers' of https://github.com/bitlisp/Idris-dev into bitlisp-vect-quantifiersEdwin Brady dfe8de8Merge pull request #292 from raichoo/javascriptEdwin Brady df64a42Merge pull request #291 from raichoo/masterEdwin Brady a0308f1Parser improvement to allow mixing of implicit and non implicit ArgumentsJan Bessai 18da492Minor formatting and readability updatesDavid Christiansen eee4731Minor style and readability updatesDavid Christiansen 979be1fFormatting improvementsDavid Christiansen be74d60Reflection utilitiesDavid Christiansen 8b7db47Linux compatibility and Idris updatesDavid Christiansen dfbb3dbUpdated bounded listsDavid Christiansen 2572b10Parameterized integer FFIBenjamin Saunders 321b8fdReduce redundancy across integer operationsBenjamin Saunders 52b4e06Define Any/All quantifiers for VectBenjamin Saunders 019aea7Add Not definitionBenjamin Saunders dd35175javascript: fix ptr handlingraichoo 8af32d4squash potential space leaks by using strict foldlraichoo d52534cMerge pull request #290 from david-christiansen/boundedlistEdwin Brady 503f9e1Add bounded-length list typeDavid Christiansen 6a33c4dMerge pull request #289 from david-christiansen/multiple-dyn-libsEdwin Brady 7b8ce28Enable alternate names for shared librariesDavid Christiansen 6db701eMerge branch 'providers-io-rewrite' of https://github.com/david-christiansen/Idris-dev into david-christiansen-providers-io-rewriteEdwin Brady 3caba45Undo earlier fix for RTS linking due to Mac OS incompatibilityDavid Christiansen 4bb701bMerge pull request #284 from andy-morris/hyptrigEdwin Brady e7b435aMerge pull request #283 from andy-morris/addproofEdwin Brady b4d856aMerge pull request #282 from JanBessai/DecidableOrderEdwin Brady 443b173Don't normalize terms before executing when elaborating type providersDavid Christiansen