Idris2/support/refc
2024-05-17 14:44:48 -07:00
..
_datatypes.h [RefC] Suppress arglist wrapper (#3177) 2024-04-17 15:48:43 +01:00
buffer.c [ RefC ] Add 16 and 32 bit access to base/Data.Buffer . (#2609) 2022-11-15 12:15:06 +01:00
buffer.h [ RefC ] Add 16 and 32 bit access to base/Data.Buffer . (#2609) 2022-11-15 12:15:06 +01:00
casts.c [RefC] Unbox small integers. (#3181) 2024-03-21 07:32:37 -05:00
casts.h [ re #3177 ] Separate the renaming from the rest (#3248) 2024-04-03 17:22:19 +01:00
cBackend.h [RefC] [Cleanup] Pattern matching generates simpler code. Reduce malloc/free costs. 2024-01-23 21:59:23 +09:00
clock.c [RefC] Unbox small integers. (#3181) 2024-03-21 07:32:37 -05:00
clock.h Use pragma once instead of include guard 2021-06-28 12:05:22 +01:00
Makefile implement DESTDIR support for distros 2023-08-22 16:44:13 +01:00
mathFunctions.c [RefC] Unbox small integers. (#3181) 2024-03-21 07:32:37 -05:00
mathFunctions.h [RefC] Unbox small integers. (#3181) 2024-03-21 07:32:37 -05:00
memoryManagement.c [ fix ] fix windows CI, aligned_alloc not supported on win32 2024-05-17 14:44:48 -07:00
memoryManagement.h [RefC] Suppress arglist wrapper (#3177) 2024-04-17 15:48:43 +01:00
prim.c [ re #3177 ] Separate the renaming from the rest (#3248) 2024-04-03 17:22:19 +01:00
prim.h [ re #3177 ] Separate the renaming from the rest (#3248) 2024-04-03 17:22:19 +01:00
refc_util.c [ lint ] once and for all 2022-09-21 12:12:34 +01:00
refc_util.h [ lint ] once and for all 2022-09-21 12:12:34 +01:00
runtime.c [RefC] Suppress arglist wrapper (#3177) 2024-04-17 15:48:43 +01:00
runtime.h [RefC] Suppress arglist wrapper (#3177) 2024-04-17 15:48:43 +01:00
stringOps.c [RefC] Suppress arglist wrapper (#3177) 2024-04-17 15:48:43 +01:00
stringOps.h [RefC] Suppress arglist wrapper (#3177) 2024-04-17 15:48:43 +01:00
threads.c RefC backend improvements (#2425) 2022-04-27 13:59:32 +01:00
threads.h RefC backend improvements (#2425) 2022-04-27 13:59:32 +01:00