Idris2/support/refc
2021-05-20 14:25:16 +01:00
..
casts.c Fix RefC identity functions memory management 2021-05-20 14:25:16 +01:00
casts.h Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
cBackend.h Add RefC Clock support 2021-05-20 14:25:16 +01:00
clock.c Add RefC Clock support 2021-05-20 14:25:16 +01:00
clock.h Add RefC Clock support 2021-05-20 14:25:16 +01:00
conCaseHelper.c Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
conCaseHelper.h Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
datatypes.h Complete RefC standard String support 2021-05-20 14:25:16 +01:00
Makefile Make it build on windows 2020-10-11 23:36:52 +02:00
mathFunctions.c Refactor C codegen 2021-05-20 14:25:16 +01:00
mathFunctions.h Fixes from trying to compile idris with the refc backend 2021-04-02 15:02:40 +02:00
memoryManagement.c Add RefC Buffer support 2021-05-20 14:25:16 +01:00
memoryManagement.h Add RefC Buffer support 2021-05-20 14:25:16 +01:00
prim.c Refactor C codegen 2021-05-20 14:25:16 +01:00
prim.h Refactor C codegen 2021-05-20 14:25:16 +01:00
runtime.c Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
runtime.h Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
stringOps.c Complete RefC standard String support 2021-05-20 14:25:16 +01:00
stringOps.h Complete RefC standard String support 2021-05-20 14:25:16 +01:00