git.iko.soy/Idris-dev
on d3badf2 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 MakefileRecompile everything when a header changes 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.cUse a common header instead of a union idris_buffer.hGet and set Double in Data.Buffer 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.cAvoid indirections for nullaries, refactorized locked/unlocked variants 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.cLeak when receiving from inactive sender idris_rts.hUnboxed Bits8/Bits16 using Int as the underlying representation idris_stats.cFix GC statistics overflow idris_stats.huint32_t type needed even if stats are not enabled. idris_stdfgn.cMerge pull request #4385 from jacereda/smaller-closure 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)