git.iko.soy/Idris-dev
on 8935fed 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 Makefilerts: add getline to Makefile 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.cMerge pull request #2143 from soimort/getLine-inconsistency idris_rts.hAdd a new Closure type for raw data and have that be allocated with idris_alloc. 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)