git.iko.soy/Idris-dev
on v0.9.18.1 help sign in
Idris-dev/rts
2 folders, 27 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. windows/Fix Windows RTS MakefileAdd AR and RANLIB envs for exherbo multiarch. getline.cAdded BSD licensed getline and used that to read string from file getline.hAdded BSD licensed getline and used that to read string from file idris_bitstring.cRemove Buffer/BitVectors from compiler/C rts idris_bitstring.hRemove Buffer/BitVectors from compiler/C rts idris_gc.cAdd a new Closure type for raw data and have that be allocated with idris_alloc. idris_gc.hType safe message passing concurrency idris_gmp.cMessage passing fixes in VM idris_gmp.hUse idris_alloc for GMP allocation idris_heap.cMerge pull request #1968 from Chobbes/heap_fixes idris_heap.hGeneralized alloc_heap so it could be reused for garbage collection. idris_main.cUse idris_alloc for GMP allocation idris_net.cFix typo in Idris network C code idris_net.hUnbreak windows build of idris_net.c idris_opts.cMerge branch 'feature/cwarnings-removal' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/cwarnings-removal idris_opts.hMinor fix: print rts opts help to stdout instead of stderr. idris_rts.cReading from a file shouldn't strip \n idris_rts.hRemove more Buffer leftovers idris_stats.cFix GC statistics overflow idris_stats.huint32_t type needed even if stats are not enabled. idris_stdfgn.cPrimitive type for world state idris_stdfgn.hPrimitive type for world state idris_utf8.cString in C is now UTF8 encoded idris_utf8.hString in C is now UTF8 encoded libtest.cAdded simple library packaging system Now used for the prelude (see lib/base.ipkg) mini-gmp.cMake GMP optional (default off) mini-gmp.hMake GMP optional (default off)