| .. |
|
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.
|
2014-07-16 15:28:20 -05:00 |
|
seL4
|
Update the seL4 build to use CMake instead of Kbuild
|
2019-03-16 18:16:07 +01:00 |
|
windows
|
Implement idris_clock on windows
|
2019-05-09 01:28:59 +02:00 |
|
getline.c
|
Null terminate the returned string on eof without delimiter.
|
2016-03-06 11:45:08 +01:00 |
|
getline.h
|
Added BSD licensed getline and used that to read string from file
|
2015-03-30 21:57:34 +02:00 |
|
idris_bitstring.c
|
Remove unused header files in the C RTS
|
2020-01-21 08:56:34 +01:00 |
|
idris_bitstring.h
|
Simplify
|
2018-03-19 19:18:14 +01:00 |
|
idris_buffer.c
|
newBuffer should return a managed pointer
|
2018-07-30 16:54:25 +01:00 |
|
idris_buffer.h
|
newBuffer should return a managed pointer
|
2018-07-30 16:54:25 +01:00 |
|
idris_gc.c
|
Undo previous commit mess which contained unrelated code from another branch
|
2018-04-27 23:56:49 +02:00 |
|
idris_gc.h
|
Type safe message passing concurrency
|
2012-10-31 18:03:17 +00:00 |
|
idris_gmp.c
|
Unboxed Bits8/Bits16 using Int as the underlying representation
|
2018-04-26 21:05:50 +02:00 |
|
idris_gmp.h
|
Warning on x86 gcc, removed redundant macro
|
2018-03-23 00:07:23 +01:00 |
|
idris_heap.c
|
Zero whole heap on initialisation
|
2019-01-06 17:07:17 +00:00 |
|
idris_heap.h
|
part 2 of FORCE_ALIGNMENT fix for arduino targets.
|
2017-01-09 21:41:58 +01:00 |
|
idris_main.c
|
Tail calls via trampolines in C back end
|
2018-06-21 20:18:54 +01:00 |
|
idris_net.c
|
Set C language standard to C99 in runtime and codegen (#4308)
|
2018-01-27 10:23:33 +01:00 |
|
idris_net.h
|
Set C language standard to C99 in runtime and codegen (#4308)
|
2018-01-27 10:23:33 +01:00 |
|
idris_opts.c
|
Fix encoding issue on Windows corresponded with fopen, popen and argv.
|
2017-01-31 16:57:26 +08:00 |
|
idris_opts.h
|
Fix encoding issue on Windows corresponded with fopen, popen and argv.
|
2017-01-31 16:57:26 +08:00 |
|
idris_rts.c
|
Moved idris_usleep to idris_stdfgn
|
2020-01-21 08:54:25 +01:00 |
|
idris_rts.h
|
Moved idris_usleep to idris_stdfgn
|
2020-01-21 08:54:25 +01:00 |
|
idris_stats.c
|
Fix GC statistics overflow
|
2014-11-30 21:58:20 +01:00 |
|
idris_stats.h
|
uint32_t type needed even if stats are not enabled.
|
2015-02-25 21:42:43 -07:00 |
|
idris_stdfgn.c
|
Fix fileModifiedTime on 32 bit systems
|
2020-03-06 09:13:00 +00:00 |
|
idris_stdfgn.h
|
Fix fileModifiedTime on 32 bit systems
|
2020-03-06 09:13:00 +00:00 |
|
idris_utf8.c
|
Remove unused header files in the C RTS
|
2020-01-21 08:56:34 +01:00 |
|
idris_utf8.h
|
Use offset for substr if possible
|
2017-03-15 15:59:07 +00:00 |
|
libtest.c
|
Added simple library packaging system
|
2012-09-25 17:34:50 +01:00 |
|
Makefile
|
Define IDRIS_GMP if compiling with real GMP
|
2018-06-09 10:47:54 +02:00 |
|
mini-gmp.c
|
Fix looped temporary allocations in mini-GMP (#4324)
|
2018-02-19 13:24:27 +01:00 |
|
mini-gmp.h
|
Fix looped temporary allocations in mini-GMP (#4324)
|
2018-02-19 13:24:27 +01:00 |
bbd0f286c2