1569aa9Merge pull request #1012 from david-christiansen/issue/949Edwin Brady13 years ago 8f5e40fMerge pull request #1009 from jedesah/list_splitAtEdwin Brady13 years ago aa91121Fix deadlock in RTS when using allocation in native codeSimon Fowler13 years ago c87350cchanged the first sentence of the readmeJefferson Carpenter13 years ago f0a5442Provide IDESlave output with docs and typeDavid Raymond Christiansen13 years ago dd20facAdd semantic highlighting info for metavariablesDavid Raymond Christiansen13 years ago 5401872Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen13 years ago 7762a35Package paths may now be in other locations than current directoryPhilip Rasmussen13 years ago 13d63e3Rewrote implementation so far to be much smarterPhilip Rasmussen13 years ago b1028f0TacImp script handling to various functions.Timo Petteri Sinnemäki13 years ago 569a30cMerge branch 'master' of github.com:edwinb/Idris-devTimo Petteri Sinnemäki13 years ago 63342c7Some helper comments that'll be removed laterTimo Petteri Sinnemäki13 years ago 6b3bbe7NameTrie added to create map of names for easy lookupPhilip Rasmussen13 years ago 39ac157Added IdrisDoc hooks from the command line.Philip Rasmussen13 years ago d4abcb8Added IdrisDoc hooks from the command line.Philip Rasmussen13 years ago e21b167Tiny tidying upPhilip Rasmussen13 years ago d763c9cUse postulates for decEq primitive proofsEdwin Brady13 years ago 06fbec1Add name of arguments in type declaration for proper documentationJean-Remi Desjardins13 years ago dfb3982Merge pull request #1006 from david-christiansen/ideslave-optsEdwin Brady13 years ago 89c89d3Fix "Force" in case tree for new indexed formEdwin Brady13 years ago e058452Add splitAt function for ListJean-Remi Desjardins13 years ago 7800e3cChange to infix formJean-Remi Desjardins13 years ago 9b1746cMerge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen13 years ago 8325cedAllow getting and setting options from IDESlaveDavid Raymond Christiansen13 years ago 577752bMerge pull request #1002 from david-christiansen/issue/932Edwin Brady13 years ago a724531Merge pull request #1001 from david-christiansen/doc-arg-namesEdwin Brady13 years ago 5a4daf5Merge pull request #999 from raichoo/javascriptEdwin Brady13 years ago 268fd6fMerge pull request #1004 from gabemc/issue/1003Edwin Brady13 years ago d1e12d5Only show documented arguments in :docDavid Raymond Christiansen13 years ago 25bbcb0Revert the trifecta change.Gabe McArthur13 years ago 9607cd8Fixing the build.Gabriel McArthur13 years ago ae117aaInsert U, UL, and ULL suffixes in CDavid Raymond Christiansen13 years ago 04e2cd8Stop showing __pi_arg and MNs in docsDavid Raymond Christiansen13 years ago 7faf4e8Show argument names in :docDavid Raymond Christiansen13 years ago c42ab8bjavascript: skip folding002 testraichoo13 years ago 70597faAdd (-) function for FinJean-Remi Desjardins13 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