6f08060Added IdrisDoc testsPhilip Rasmussen13 years ago aed1014Fixed merge bugPhilip Rasmussen13 years ago 4155853--link and --include give flags, not directoriesBrian McKenna13 years ago a85feebMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady13 years ago 0bd42f1Read 'lineapps' data from IBCEdwin Brady13 years ago 03a24ffMerge pull request #1094 from david-christiansen/internal-docstringsEdwin Brady13 years ago d0951b5Merge pull request #1093 from puffnfresh/bug-fixesEdwin Brady13 years ago c3f26e9Normalise before case splitEdwin Brady13 years ago ee4c96eCorrect opening brace in implicits in pprinterDavid Raymond Christiansen13 years ago d9ab891Add note about additional docs to CHANGELOGDavid Raymond Christiansen13 years ago 66a2636Docstring improvement for prop. eq.David Raymond Christiansen13 years ago ecd8c56Make completeCmd totalBrian McKenna13 years ago 9abed6aTweak notion of recoverability in coverage checkerEdwin Brady13 years ago 2820945Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady13 years ago 85ff9c2Coverage checker fixEdwin Brady13 years ago 87c172cMerge pull request #1091 from ziman/accentsEdwin Brady13 years ago 8c6939dAdd some UTF8 to CONTRIBUTORS.Matus Tejiscak13 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