../ MakefileTake into account that GMP operations can move data13 years ago idris_bitstring.cRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""13 years ago idris_bitstring.hFix spelling of Xor prims. This fixes issue #356.13 years ago idris_gc.cCopy on demand cmd line args.14 years ago idris_gc.hType safe message passing concurrency14 years ago idris_gmp.cTake into account that GMP operations can move data13 years ago idris_gmp.hInteger <-> Float conversion in C codegen13 years ago idris_heap.cadd heap properties checking14 years ago idris_heap.hA bit more detailed rts stats.14 years ago idris_main.cStore arguments in a global rather than the VM struct so as to reduce dependence of lib on RTS impl details13 years ago idris_opts.cMinor fix: print rts opts help to stdout instead of stderr.14 years ago idris_opts.hMinor fix: print rts opts help to stdout instead of stderr.14 years ago idris_rts.cStore arguments in a global rather than the VM struct so as to reduce dependence of lib on RTS impl details13 years ago idris_rts.hStore arguments in a global rather than the VM struct so as to reduce dependence of lib on RTS impl details13 years ago idris_stats.cFix compilation error on floating point constants14 years ago idris_stats.hA bit more detailed rts stats.14 years ago idris_stdfgn.cAdding several functions to interact with environment variables.13 years ago idris_stdfgn.hAdding several functions to interact with environment variables.13 years ago libtest.cAdded simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago