git.iko.soy/Idris-dev
on bc018b1 help sign in
Idris-dev/rts
3 folders, 29 files
../ 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. seL4/Makefiles and changes needed for the C RTS on the seL4 microkernel windows/Make Network.Socket work on Windows MakefileMake Network.Socket work on Windows getline.cNull terminate the returned string on eof without delimiter. getline.hAdded BSD licensed getline and used that to read string from file idris_bitstring.cC style changes while porting rts to 9front (#3596) idris_bitstring.hImprove C FFI idris_buffer.cMake Idris Buffers K&R compatible idris_buffer.hGet and set Double in Data.Buffer idris_gc.cAdded Data.IOArray for mutable array primitives idris_gc.hType safe message passing concurrency idris_gmp.cFixes for shifting Integer idris_gmp.hFixes for shifting Integer idris_heap.cpart 2 of FORCE_ALIGNMENT fix for arduino targets. idris_heap.hpart 2 of FORCE_ALIGNMENT fix for arduino targets. idris_main.cSet C language standard to C99 in runtime and codegen (#4308) idris_net.cSet C language standard to C99 in runtime and codegen (#4308) idris_net.hSet C language standard to C99 in runtime and codegen (#4308) idris_opts.cFix encoding issue on Windows corresponded with `fopen`, `popen` and `argv`. idris_opts.hFix encoding issue on Windows corresponded with `fopen`, `popen` and `argv`. idris_rts.cMakefiles and changes needed for the C RTS on the seL4 microkernel idris_rts.hMakefiles and changes needed for the C RTS on the seL4 microkernel idris_stats.cFix GC statistics overflow idris_stats.huint32_t type needed even if stats are not enabled. idris_stdfgn.cAdd functions for checking file timestamps idris_stdfgn.hAdd functions for checking file timestamps idris_utf8.cFix tests for ASCII characters in RTS (#3767) idris_utf8.hUse offset for substr if possible libtest.cAdded simple library packaging system Now used for the prelude (see lib/base.ipkg) mini-gmp.cFix looped temporary allocations in mini-GMP (#4324) mini-gmp.hFix looped temporary allocations in mini-GMP (#4324)