../ 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/Fix Windows RTS12 years ago MakefileFix Windows RTS12 years ago idris_bitstring.cAdd gc copy for bit vectors12 years ago idris_bitstring.hAdd gc copy for bit vectors12 years ago idris_gc.cRemoved commented out old code.12 years ago idris_gc.hType safe message passing concurrency14 years ago idris_gmp.cMessage passing fixes in VM12 years ago idris_gmp.hUse idris_alloc for GMP allocation12 years ago idris_heap.cFixed format string in heap allocation error.12 years ago idris_heap.hA bit more detailed rts stats.14 years ago idris_main.cUse idris_alloc for GMP allocation12 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.cGenerate interface files for C->Idris calls12 years ago idris_rts.hGenerate interface files for C->Idris calls12 years ago idris_stats.cFix GC statistics overflow12 years ago idris_stats.huint32_t type needed even if stats are not enabled.12 years ago idris_stdfgn.cPrimitive type for world state12 years ago idris_stdfgn.hPrimitive type for world state12 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