b138dd7Merge pull request #1246 from jfdm/fix/missing-cmd-optionsDavid Christiansen12 years ago ef45cdcMerge pull request #1247 from a3gis/patch-1David Christiansen12 years ago f9c6155Correct a typo in Prelude.idra3gis12 years ago 9acf2c4Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 990d96fUpdate CHANGELOG.Greg Pfeil12 years ago f08f83aFixed typo in CmdOptions to reinstate `--checkpkg`Jan de Muijnck-Hughes12 years ago 8b55229Merge pull request #1222 from klrr/split-binsDavid Christiansen12 years ago f67031eMerge pull request #1231 from melted/patch-1David Christiansen12 years ago eb13e68Merge pull request #1236 from sellout/buffersDavid Christiansen12 years ago 36be2f8Merge pull request #1238 from melted/cleanupDavid Christiansen12 years ago 1d71869Merge pull request #1239 from sellout/Fin-EnumDavid Christiansen12 years ago d90e30eMerge pull request #1241 from joshvera/main-jsraichoo12 years ago 2a9acf2Update evaluated variable after EVALEdwin Brady12 years ago 6db171cCall mainFun even if window and document aren't definedJosh Vera12 years ago e2668a5Reverse parameters to BoundedList.Greg Pfeil13 years ago be78a7fMove foldl into Foldable.Greg Pfeil13 years ago afbd8c6Add Enum instance for Fin.Greg Pfeil12 years ago d16d418Update the windows RTS files and consolidate the headersniklas12 years ago 75d42a2Implement reductions for for Buffer primitives.Greg Pfeil12 years ago 829bd85Update idris.cabalNiklas Larsson12 years ago 9be5866started working on new cmd arg parserklrr13 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