git.iko.soy/Idris-dev
on 8fe28aa 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/Update the seL4 build to use CMake instead of Kbuild windows/Make Network.Socket work on Windows MakefileDefine IDRIS_GMP if compiling with real GMP 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.cUnboxed Bits8/Bits16 using Int as the underlying representation idris_bitstring.hSimplify idris_buffer.cnewBuffer should return a managed pointer idris_buffer.hnewBuffer should return a managed pointer idris_gc.cUndo previous commit mess which contained unrelated code from another branch idris_gc.hType safe message passing concurrency idris_gmp.cUnboxed Bits8/Bits16 using Int as the underlying representation idris_gmp.hWarning on x86 gcc, removed redundant macro idris_heap.cZero whole heap on initialisation idris_heap.hpart 2 of FORCE_ALIGNMENT fix for arduino targets. idris_main.cTail calls via trampolines in C back end 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.cMoved process count-down to terminate function for the C RTS idris_rts.hFix potential memory error on tail calls idris_stats.cFix GC statistics overflow idris_stats.huint32_t type needed even if stats are not enabled. idris_stdfgn.cAdd Clock/clockTime in System idris_stdfgn.hAdd Clock/clockTime in System 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)