git.iko.soy/Idris-dev
on master 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/Implement idris_clock 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.cRemove unused header files in the C RTS 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 idris_usleep to idris_stdfgn idris_rts.hMoved idris_usleep to idris_stdfgn idris_stats.cFix GC statistics overflow idris_stats.huint32_t type needed even if stats are not enabled. idris_stdfgn.cFix fileModifiedTime on 32 bit systems idris_stdfgn.hFix fileModifiedTime on 32 bit systems idris_utf8.cRemove unused header files in the C RTS 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)