git.iko.soy/Idris-dev
on ca34dec 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 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.cUse a common header instead of a union 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.cFix potential memory allocation problem idris_rts.hTail calls via trampolines in C back end idris_stats.cFix GC statistics overflow idris_stats.huint32_t type needed even if stats are not enabled. idris_stdfgn.cUpdate idris_stdfgn.c idris_stdfgn.hfix with MKSTR 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)