git.iko.soy/Idris-dev
on master help sign in
history of0939fb5..master
compare
8f5e40fMerge pull request #1009 from jedesah/list_splitAtEdwin Brady aa91121Fix deadlock in RTS when using allocation in native codeSimon Fowler c87350cchanged the first sentence of the readmeJefferson Carpenter f0a5442Provide IDESlave output with docs and typeDavid Raymond Christiansen dd20facAdd semantic highlighting info for metavariablesDavid Raymond Christiansen b1028f0TacImp script handling to various functions.Timo Petteri Sinnemäki 569a30cMerge branch 'master' of github.com:edwinb/Idris-devTimo Petteri Sinnemäki 63342c7Some helper comments that'll be removed laterTimo Petteri Sinnemäki 06fbec1Add name of arguments in type declaration for proper documentationJean-Remi Desjardins e058452Add splitAt function for ListJean-Remi Desjardins 7800e3cChange to infix formJean-Remi Desjardins 70597faAdd (-) function for FinJean-Remi Desjardins 47cd264alloc_heap also requires the pointer alignment hack.stepcut ffdb074Change + to | because | better reflects our intentions.stepcut 50eacbdshould have been in the last commit.stepcut 0a4d91bChanged some ints to size_t. Seems valid -- not certain.stepcut 48aa599force tag_arity and ty to be uint32_t instead of system dependent int sizes.stepcut 8a0beabremove #include <unistd.h>. Not all platforms provide that header, and it does not seem to be required anyway.stepcut 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.stepcut 035d0a9fixups for HAS_PTHREAD changesstepcut c399b55modify RTS so that it can be built single-threaded if pthreads are not available.stepcut 3c58bbfEarly buffer implementation for the Java codegenJan Bessai ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross