git.iko.soy/Idris-dev
on master help sign in
history of4be2fba..master
compare
b149185CHANGELOGraichoo 40ca338javascript: add plenty of bits primitivesraichoo 26d7d2bjavascript: switch Bits support to UintArraysraichoo c4c3704Add a few Stream functionsMelvar Chen fc8da5fConstrain Min/MaxBound to Ord instances.Greg Pfeil 6f651b0Give Fin an Ord instance.Greg Pfeil 272b5a5Add missing Min/Max bound for Bits8.Greg Pfeil 028301cRewrote signatures to annonate with full Conor colours, changed documentation structure to fix critical Internet Explorer problem, and changed the name of the builtins module, also for Internet ExplorerPhilip Rasmussen 2484c56Updated signatures to use Conor colours, increased difference between links and non-links, and fixed a wrap issue in Safari and ChromePhilip Rasmussen 95dac76Fixed display bug for existential typesPhilip Rasmussen 585ea9fFinished HTML generation of type headers and fixed a sorting bug for the index pagePhilip Rasmussen b538db9Fixed minor styling bugPhilip Rasmussen f192d93Added comments on PTermPhilip Rasmussen 822690aMerge branch 'JavaBuffers' into JavaBackendFixesJan Bessai 7c2c010added "prim__registerPtr" noop for JavaJan Bessai 884c5b8* Make regression test029 work by adding a wrapper loading environment variables to properties * Include sugar004Jan Bessai a3221e3Merge branch 'master' into JavaBackendFixesJan Bessai 0bdb8e6Minor fixes for the Java backendJan Bessai 3e651d3Only useful information is now fetched, and the index.html file is properly generated.Philip Rasmussen 2482044Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen dd44389Merged with masterPhilip Rasmussen d34b7fcMerge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen 20e0bf4Merged with masterPhilip Rasmussen 0939fb5Progress: IdrisDoc is now able to generate output to the necessary files. Actual structured content is TODOPhilip Rasmussen 5401872Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen 7762a35Package paths may now be in other locations than current directoryPhilip Rasmussen 13d63e3Rewrote implementation so far to be much smarterPhilip Rasmussen 6b3bbe7NameTrie added to create map of names for easy lookupPhilip Rasmussen 39ac157Added IdrisDoc hooks from the command line.Philip Rasmussen d4abcb8Added IdrisDoc hooks from the command line.Philip Rasmussen e21b167Tiny tidying upPhilip Rasmussen 9b1746cMerge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen 77eca9cChanged IdrisDoc interface, updated command descriptions.Philip Rasmussen 155e306Fixed IdrisDoc errors and added REPL :help descriptionsPhilip Rasmussen 877c638IdrisDoc begunPhilip Rasmussen 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