Commit Graph

Select branches

Hide Pull Requests

main

typechecker

Mono Color

• fa01b22b81 Add compilation of casts Sofia 2026-04-13 21:08:57 +0300
• dab4d47b8e Separate signed and unsigned comparisons correctly Sofia 2026-04-13 20:46:43 +0300
• e6a16ab667 Fix bug in codegen Sofia 2026-04-13 20:44:29 +0300
• 810dd3595e Allow implicitly converting IntLiteralExpr to other int types Sofia 2026-04-13 20:15:48 +0300
• 2695a83ac8 Fix LT Sofia 2026-04-13 20:06:34 +0300
• b541cf6baf Update README.md Sofia 2026-04-13 18:28:17 +0300
• 4baeaff705 Add rest of typechecking typechecker Sofia 2026-04-13 18:26:47 +0300
• 8314fe2b61 Use binops for codegen as well Sofia 2026-04-13 18:24:07 +0300
• 1037024730 Add binops for typechecker Sofia 2026-04-13 18:18:25 +0300
• d6b730945c Check binops Sofia 2026-04-13 18:17:33 +0300
• bb4d1c6045 Add binops Sofia 2026-04-13 18:11:54 +0300
• 9791c9c8da Add binops.h and binops.cpp Sofia 2026-04-13 18:00:47 +0300
• e3e0cd9f9f Check return type as well Sofia 2026-04-13 17:25:36 +0300
• 3f4b8569ea Fix bug with parameter typechecking Sofia 2026-04-13 17:23:53 +0300
• 185f25d412 Typecheck parameter types Sofia 2026-04-13 17:21:07 +0300
• a901806dfb Add a function to test if types are equal Sofia 2026-04-13 17:09:50 +0300
• 8ec4e538f5 Fix a bug, add type kind Sofia 2026-04-13 16:56:33 +0300
• cf965dd47a Fix some bugs Sofia 2026-04-13 16:50:29 +0300
• 5ed26f4139 Perform typechecking Sofia 2026-04-13 01:22:14 +0300
• 85dbce112f Fill typechecking methods Sofia 2026-04-13 01:08:34 +0300
• d11da4d1e6 Make expressions return type on typecheck Sofia 2026-04-13 00:55:38 +0300
• 902610aaea Add statement typecheckings Sofia 2026-04-13 00:54:14 +0300
• 44c9e31556 Make types in the AST be shared_ptr Sofia 2026-04-13 00:40:05 +0300
• e45f120f1c Add typecheck-functions to AST Sofia 2026-04-13 00:35:14 +0300
• 5706a81098 Separate errors to own header-file Sofia 2026-04-13 00:24:18 +0300
• 85644457d0 Tokenize whitespace as well, skip it in next Sofia 2026-04-12 00:49:59 +0300
• cdff4cc9db Add binops for more fundamental type kinds Sofia 2026-04-12 00:47:38 +0300
• 01434b8097 Eliminate repetition Sofia 2026-04-12 00:46:12 +0300
• e015ada6e4 Update README.md Sofia 2026-04-11 23:19:42 +0300
• 866d78e6d1 Compile vararg Sofia 2026-04-11 22:20:53 +0300
• 8646d5c0d0 Parse varargs Sofia 2026-04-11 22:18:02 +0300
• 3f61e3749e Allow anonymous parameters Sofia 2026-04-11 22:11:52 +0300
• 5dc6e8ca16 Modify printf to take a number additionally Sofia 2026-04-11 22:07:48 +0300
• 96e4d6232f Fix tokenization of long words Sofia 2026-04-11 22:06:15 +0300
• bd76e8676f Add literal strings Sofia 2026-04-11 22:03:38 +0300
• ac7731446e Add pointer types Sofia 2026-04-11 21:45:54 +0300
• 6855360a97 Add void and char types Sofia 2026-04-11 21:40:59 +0300
• 7cf752f67b Add forward declarations Sofia 2026-04-11 21:34:44 +0300
• 07c0059c5c Remove unused forward-declaration Sofia 2026-04-11 19:18:46 +0300
• 44f9438839 Add new comments Sofia 2026-04-11 19:17:47 +0300
• 1aed5c93f1 Add comments Sofia 2026-04-11 19:15:21 +0300
• d5a28b1580 Link everything in main.cpp Sofia 2026-04-11 19:14:13 +0300
• 25343e0856 Produce LLVM IR and object file Sofia 2026-04-11 18:40:35 +0300
• 712c0bed51 Improve memory management for Result Sofia 2026-04-11 17:55:49 +0300
• 344b7588d8 Make slightly better error raporting at codegen Sofia 2026-04-11 00:07:29 +0300
• 6a315711cf Make metadata actually have start and end separately Sofia 2026-04-11 00:01:14 +0300
• a035d07505 Add metadata to AST Sofia 2026-04-10 23:58:06 +0300
• d902569f7b Add metadata to tokens Sofia 2026-04-10 23:40:59 +0300
• 07b691ba7a Fix all warnings Sofia 2026-04-10 21:45:05 +0300
• 174d397b89 No longer use lvalue for function call expression Sofia 2026-04-10 19:56:46 +0300
• 5abcd6e00a Make a bunch of tweaks, make fibonacci sequence compile Sofia 2026-04-10 19:55:34 +0300
• e653734f86 Compile function calls Sofia 2026-04-10 18:58:28 +0300
• 8dc0a6bf12 Parse function calls Sofia 2026-04-10 18:30:29 +0300
• 66f9dac5a6 Codegen if-statements Sofia 2026-04-10 18:09:55 +0300
• 97745ffbb0 Parse if-statements Sofia 2026-04-10 17:39:38 +0300
• f59b5db29b Parse and process function parameters Sofia 2026-04-10 17:25:01 +0300
• 7d4190d9a1 Parse new binops Sofia 2026-04-10 17:13:14 +0300
• 422f95e553 Add some new binary operations Sofia 2026-04-10 17:11:03 +0300
• d69e2c0929 Move binop to types Sofia 2026-04-10 16:58:27 +0300
• dcb6e60a3b Add virtual add for Type Sofia 2026-04-10 16:53:10 +0300
• ea9bb1fcb9 Move types to it's own file Sofia 2026-04-09 18:38:22 +0300
• ed51ee61ed Fix parsing of expression statements Sofia 2026-04-09 17:55:09 +0300
• 8e2bc3a7f7 Add addition binop Sofia 2026-04-09 17:52:11 +0300
• 43abaa4a46 Make expressions return StackValue Sofia 2026-04-09 17:44:22 +0300
• 16833ad1a0 Add compiling of lvalues differently Sofia 2026-04-09 17:25:41 +0300
• a6939784f8 Codegen binops, kind-of Sofia 2026-04-09 17:17:57 +0300
• 78816dff10 Parse binary operators Sofia 2026-04-09 17:14:58 +0300
• 4d307d0eb9 Add expression statements Sofia 2026-04-09 16:31:47 +0300
• 48feebc714 Add parse_initialization_statement Sofia 2026-04-09 16:24:11 +0300
• 9969ad12f6 Use raw pointers for BBs Sofia 2026-04-09 16:05:04 +0300
• 89db646873 Allow loading stack values Sofia 2026-04-09 16:02:34 +0300
• 1070aa6ed0 Add scope Sofia 2026-04-09 15:53:01 +0300
• cf94296877 Codegen initial alloca and store Sofia 2026-04-09 15:37:51 +0300
• db60335507 Parse initialization statement Sofia 2026-04-09 15:28:39 +0300
• 7aaa665058 Add InitializationStatement AST Sofia 2026-04-09 15:18:36 +0300
• 927ed01fac Add a bit better error raporting to failed parse Sofia 2026-04-09 15:09:47 +0300
• 3a2c97fb13 Fix some warnings Sofia 2026-04-02 17:33:17 +0300
• df8ca04274 Remove unneeded LLVM Hello World Sofia 2026-04-02 17:24:15 +0300
• bdcd8838ee Fix parsing of functions Sofia 2026-04-02 17:21:20 +0300
• c314ca4cb7 Compile test.c using LLVM Sofia 2026-04-02 17:20:07 +0300
• 74a3914fdf Actually parse int expression from the string Sofia 2026-04-02 16:18:22 +0300
• 316c3aece6 Format types as well Sofia 2026-04-02 16:17:01 +0300
• 87dceb5b7c Format function after parsing Sofia 2026-04-02 16:13:53 +0300
• ab406df610 Fix passing around results Sofia 2026-04-02 16:09:42 +0300
• e19349beb6 Actually parse statements with a loop Sofia 2026-04-02 15:44:33 +0300
• 8520404fb1 Parse function somewhat correctly Sofia 2026-04-02 15:36:48 +0300
• 31c697a097 Use unique_ptrs everywhere again Sofia 2026-04-02 01:41:39 +0300
• 04a6ec1ded Start adding AST and Result Sofia 2026-04-02 00:31:19 +0300
• 856709e46a Rename name to formatted Sofia 2026-04-01 22:44:31 +0300
• e5f7430586 Add TokenStream Sofia 2026-04-01 22:42:27 +0300
• ad04da8218 Move tokens to it's own file Sofia 2026-04-01 22:13:23 +0300
• 92e0bcd270 Add simple tokenization Sofia 2026-04-01 21:59:07 +0300
• 721f996413 Implement a simple Hello World with LLVM Sofia 2026-04-01 20:46:38 +0300