git.iko.soy/Idris-dev
on ffdb074 help sign in
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 780a0a6Merge pull request #941 from raichoo/javascriptEdwin Brady cb4b145Merge pull request #942 from ziman/instance-ctorsEdwin Brady c2671c0Fix missing case in CodegenJavaEdwin Brady d4ffc21Add ManagedPtr typeEdwin Brady bd744f1Propagate function name to tacticsEdwin Brady c37de47Propagate parameters to recordsEdwin Brady fe519dbBump IBC version.Matus Tejiscak 1a79f2bAdd a special name for instance constructors.Matus Tejiscak f2c6d01javascript: omit bounded001 testraichoo 87e9604Merge pull request #939 from melted/build_winEdwin Brady c6d93f8Merge pull request #938 from JanBessai/JavaUseRunMainEdwin Brady 8319e27Merge pull request #937 from david-christiansen/postulate-providersEdwin Brady da8d396Merge pull request #936 from david-christiansen/executor-arg-countEdwin Brady d9b6399Add beginnings of System effectEdwin Brady 94750e3Add 'time' functionEdwin Brady 4fef650Add rndFinEdwin Brady 7b32c97No need to export primitives as metavariablesEdwin Brady 2df0a7fStore metavariables in ibc filesEdwin Brady 1f897b1Fix for matchProblemsEdwin Brady aa69931Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady c15d4cbConversion checking tweakEdwin Brady 380a874Split out Windows versions of some rts filesNiklas Larsson a57ade6Rely on generated runMain to test if a main method is present instead of hardcoded Main.mainJan Bessai 0875310Control whether provider decls accept postulatesDavid Raymond Christiansen 5365977Postulate providersDavid Raymond Christiansen 360bbdaStop getArgs from crashing executorDavid Raymond Christiansen 3bc4846Merge pull request #933 from JanBessai/transposeEdwin Brady e42e698Merge pull request #928 from david-christiansen/bits-show-segfaultEdwin Brady b9b7bbaMerge pull request #926 from JanBessai/FunctionTargetEdwin Brady 3489bf2Merge pull request #925 from JanBessai/TailRecursiveTreeToListEdwin Brady a4102e6Transpose on lists of listsJan Bessai 2f9c617Fix non-termination bug in class resolutionEdwin Brady 5229f19Replace occaisional segfault with bad dataDavid Raymond Christiansen b6dab40shortcut to obtain the target type of a functionJan Bessai 9b348f7Merge branch 'master' into TailRecursiveTreeToListJan Bessai 3d9591eTail recursive verison of treeToList (avoiding ++)Jan Bessai 151d4efMerge pull request #924 from david-christiansen/prover-new-commandsEdwin Brady af0171eProver commands for evaluation and typechecking expressionsDavid Raymond Christiansen 3771dd1Merge pull request #923 from CodeBlock/patch-1Edwin Brady a334e97Merge pull request #922 from LeifW/dont_check_hostname_in_replEdwin Brady 5c119daFix typo in usage messageRicky Elrod abd3c34Don't check hostname on network connections to REPL from editors.Leif Warner