../ 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 seL4/Makefiles and changes needed for the C RTS on the seL4 microkernel9 years ago windows/Make Network.Socket work on Windows9 years ago MakefileDefine IDRIS_GMP if compiling with real GMP8 years ago getline.cNull terminate the returned string on eof without delimiter.11 years ago getline.hAdded BSD licensed getline and used that to read string from file12 years ago idris_bitstring.cUnboxed Bits8/Bits16 using Int as the underlying representation9 years ago idris_bitstring.hSimplify9 years ago idris_buffer.cnewBuffer should return a managed pointer8 years ago idris_buffer.hnewBuffer should return a managed pointer8 years ago idris_gc.cUndo previous commit mess which contained unrelated code from another branch9 years ago idris_gc.hType safe message passing concurrency14 years ago idris_gmp.cUnboxed Bits8/Bits16 using Int as the underlying representation9 years ago idris_gmp.hWarning on x86 gcc, removed redundant macro9 years ago idris_heap.cZero whole heap on initialisation8 years ago idris_heap.hpart 2 of FORCE_ALIGNMENT fix for arduino targets.10 years ago idris_main.cTail calls via trampolines in C back end8 years ago idris_net.cSet C language standard to C99 in runtime and codegen (#4308)9 years ago idris_net.hSet C language standard to C99 in runtime and codegen (#4308)9 years ago idris_opts.cFix encoding issue on Windows corresponded with `fopen`, `popen` and `argv`.10 years ago idris_opts.hFix encoding issue on Windows corresponded with `fopen`, `popen` and `argv`.10 years ago idris_rts.cZero whole heap on initialisation8 years ago idris_rts.hTail calls via trampolines in C back end8 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.cUpdate idris_stdfgn.c8 years ago idris_stdfgn.hfix with MKSTR8 years ago idris_utf8.cFix tests for ASCII characters in RTS (#3767)9 years ago idris_utf8.hUse offset for substr if possible10 years ago libtest.cAdded simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago mini-gmp.cFix looped temporary allocations in mini-GMP (#4324)9 years ago mini-gmp.hFix looped temporary allocations in mini-GMP (#4324)9 years ago