5850126Merge pull request #1124 from raichoo/javascriptraichoo13 years ago dc0332fMerge pull request #1116 from ziman/fix-cplxEdwin Brady13 years ago c0e6c24Merge pull request #1115 from puffnfresh/bug-fixesEdwin Brady13 years ago 4aec152Added more HaddockPhilip Rasmussen13 years ago 8522683:compile now obeys --codegen flagraichoo13 years ago eea6bcbwhitespaceraichoo13 years ago 3c8f57c:compile now can take a codegen option (e.g. :compile javascript program.js)raichoo13 years ago c5891cfMake all Verified* type class methods totalReynir Björnsson13 years ago 0cb6c65:makewith works with .lidr nowDavid Raymond Christiansen13 years ago abd5f0cremove javascript lib in favor of idris-hacker/iQueryraichoo13 years ago 04801ecGeneralize list eliminatorBen13 years ago b16871fAdds Google to contributors listKester Tong13 years ago 90bad48Refactors rndFin' to only accept length > 0 vectorsKester Tong13 years ago 31b48edAdds rndSelectKester Tong13 years ago 5ded2c1Adds docstringsKester Tong13 years ago a787da0Change 'iota' syntax to allow spacesReynir Björnsson13 years ago 90aa3d8Fix addition and subtraction of Complex Float.Matus Tejiscak13 years ago d773ae8Remove whitespace for :addproof - like :load doesBrian McKenna13 years ago ce9afaeMakes rndFin take all values in Fin (S k)Kester Tong13 years ago 62705e4Tweak mergeNotunifiedEdwin Brady13 years ago 70e9dc9Merge pull request #1112 from PhilipRasmussen/idrisdocEdwin Brady13 years ago 86b2ef4Merge pull request #1107 from ziman/data-erasedEdwin Brady13 years ago 198d067Merge pull request #1106 from ziman/fix-dctor-erasureEdwin Brady13 years ago 1adeea3Merge pull request #1105 from ahmadsalim/improvement/refactorpisEdwin Brady13 years ago 1f6e885Fixes a problem with custom tactics using Intro & InductionJonathan Sterling13 years ago dd6b95aRemove trailing whitespace.Matus Tejiscak13 years ago 27cd063Add a regression test.Matus Tejiscak13 years ago e2249c0Add workaround for some non-trivial case-matches on detaggable data.Matus Tejiscak13 years ago 3aa1833Add Data.Erased to libs/base.Matus Tejiscak13 years ago d7e4bfaFix indentation.Matus Tejiscak13 years ago fb3d76cAdd a check for missed newtype optimisations.Matus Tejiscak13 years ago 8e3d3c0Fix erasure from data constructors.Matus Tejiscak13 years ago e9127baRestored "__pi_arg" to use UN instead of MN again (due to a test failure). Removed commented out code.Ahmad Salim Al-Sibahi13 years ago d28c82fRefactor parsing of Pi/Dependent Type Signature expressions to improve error reporting and reduce lookahead.Ahmad Salim Al-Sibahi13 years ago 822690aMerge branch 'JavaBuffers' into JavaBackendFixesJan Bessai13 years ago 7c2c010added "prim__registerPtr" noop for JavaJan Bessai13 years ago 884c5b8* Make regression test029 work by adding a wrapper loading environment variables to properties * Include sugar004Jan Bessai13 years ago a3221e3Merge branch 'master' into JavaBackendFixesJan Bessai13 years ago 0bdb8e6Minor fixes for the Java backendJan Bessai13 years ago 47cd264alloc_heap also requires the pointer alignment hack.stepcut13 years ago ffdb074Change + to | because | better reflects our intentions.stepcut13 years ago 50eacbdshould have been in the last commit.stepcut13 years ago 0a4d91bChanged some ints to size_t. Seems valid -- not certain.stepcut13 years ago 48aa599force tag_arity and ty to be uint32_t instead of system dependent int sizes.stepcut13 years ago 8a0beabremove #include <unistd.h>. Not all platforms provide that header, and it does not seem to be required anyway.stepcut13 years ago 66936b0hack in idris_gc to force 16-bit/2-byte alignment for allocations. Some embedded platforms, like the arduino/avr, support byte-aligned pointers. However, that makes implementing tagged pointers very tricky. So, instead we just force 16-bit alignment.stepcut13 years ago 035d0a9fixups for HAS_PTHREAD changesstepcut13 years ago c399b55modify RTS so that it can be built single-threaded if pthreads are not available.stepcut13 years ago 3c58bbfEarly buffer implementation for the Java codegenJan Bessai13 years ago ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross13 years ago