../ arduino/Added rts/arudino/idris_main.c. It is similar to the standard idris_main.c except it does not attempt to handle argv/argc and it also calls the Arduino init() function.12 years ago windows/Unbreak windows build of idris_net.c12 years ago MakefileAdd a prim__systemInfo primitive.12 years ago idris_bitstring.cfix for bugs in the bits primitive operations12 years ago idris_bitstring.hFix spelling of Xor prims. This fixes issue #356.13 years ago idris_gc.cAdd -DIDRIS_ENABLE_STATS to CodegenC. Add missing #ifdef IDRIS_ENABLED_STATS in rts/idris_gc.c.12 years ago idris_gc.hType safe message passing concurrency14 years ago idris_gmp.cMake GMP optional (default off)13 years ago idris_gmp.hMake GMP optional (default off)13 years ago idris_heap.calloc_heap also requires the pointer alignment hack.13 years ago idris_heap.hA bit more detailed rts stats.14 years ago idris_main.cDon't keep allocating nullary constructors12 years ago idris_net.cFix typo in Idris network C code12 years ago idris_net.hUnbreak windows build of idris_net.c12 years ago idris_opts.cMerge branch 'feature/cwarnings-removal' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/cwarnings-removal13 years ago idris_opts.hMinor fix: print rts opts help to stdout instead of stderr.14 years ago idris_rts.crts/idris_rts.c: Fix referenced after allocation that may moved away12 years ago idris_rts.hfix for bugs in the bits primitive operations12 years ago idris_stats.cFix compilation error on floating point constants14 years ago idris_stats.hSet IDRIS_ENABLE_STATS in config.mk instead of in idris_stats.h. stats are not supported on Arduino. Also make sure that when IDRIS_ENABLE_STATS is not set, the idris_stats.h does not pull in time.h as this header is not available on the Arduino platform.12 years ago idris_stdfgn.cAdd ManagedPtr type13 years ago idris_stdfgn.hAdd ManagedPtr type13 years ago libtest.cAdded simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago mini-gmp.cMake GMP optional (default off)13 years ago mini-gmp.hMake GMP optional (default off)13 years ago