Commit Graph

Select branches

Hide Pull Requests

main

typechecker

Mono Color

• 226118bcbb Fix some indexing problems main Sofia 2026-04-16 23:47:42 +0300
• 668e18e8ba Fix somelist_pointer Sofia 2026-04-16 21:55:43 +0300
• c3e12b087a Add escaped backslash Sofia 2026-04-16 20:45:38 +0300
• c4837ca9b0 Improve escaped character parsing Sofia 2026-04-16 20:45:11 +0300
• 63584525f2 Add escaping of characters Sofia 2026-04-16 20:25:00 +0300
• 28be145a70 Remove const array formatting Sofia 2026-04-16 20:01:30 +0300
• 53872373bf Check for const in assignment binop Sofia 2026-04-16 19:47:56 +0300
• efb4ce85ac Format const in type Sofia 2026-04-16 19:46:47 +0300
• 8e6980715e Add const-ability to types Sofia 2026-04-16 19:43:36 +0300
• f9208a525d Fix how pointer indexing works Sofia 2026-04-16 19:23:29 +0300
• 6dad36e34a Add l-value checking in typechecker Sofia 2026-04-16 19:08:34 +0300
• d79151380f Prevent initialization of arrays except with list-inits and strings Sofia 2026-04-16 18:51:45 +0300
• 238577e9ca Fix how arrays are managed Sofia 2026-04-16 18:32:31 +0300
• f0607a2310 Allow forward-declaration of structs Sofia 2026-04-16 01:39:07 +0300
• 21d17bb02d Parse field accesses Sofia 2026-04-15 20:04:07 +0300
• a12cf52c48 Add FieldAccessExpression Sofia 2026-04-15 20:01:20 +0300
• 9ed753a238 Implement struct initialization Sofia 2026-04-15 19:40:00 +0300
• 4b4d3ce14b Implement types_equal for Structs Sofia 2026-04-15 19:34:09 +0300
• b664ca8f9d Typecheck list initializer for structs Sofia 2026-04-15 19:28:09 +0300
• 1265040f29 Fix parsing struct types Sofia 2026-04-15 19:09:38 +0300
• 8e7facc593 Format ref-structs correctly Sofia 2026-04-15 19:07:49 +0300
• 94d1c15897 Parse struct type Sofia 2026-04-15 19:02:01 +0300
• f283149090 Parse tl-typedef Sofia 2026-04-15 18:45:29 +0300
• 29fd757517 Add Struct types Sofia 2026-04-15 18:40:26 +0300
• 66653553a5 Update test.c Sofia 2026-04-15 18:22:23 +0300
• bca18b4f1b Add Struct and StructRef-types Sofia 2026-04-15 18:21:22 +0300
• 5fc58ea1c5 Add parsing::Scope Sofia 2026-04-15 17:45:14 +0300
• 55388bc6e3 Parse listinitializer Sofia 2026-04-15 16:06:58 +0300
• aa698c7ed6 Fix string type lvalue return type Sofia 2026-04-15 15:59:12 +0300
• eacbac9205 Implement ListInitializer Sofia 2026-04-15 15:57:54 +0300
• 5175878407 Fix wonky casting rules Sofia 2026-04-14 20:02:06 +0300
• de881d73d2 Fix bug with string literals Sofia 2026-04-14 19:26:21 +0300
• e76540182f Possibly fix passing of arrays Sofia 2026-04-14 19:18:10 +0300
• b97aa3f212 Fix parsing of array type parameters Sofia 2026-04-14 18:55:15 +0300
• 6efcb23d6b Add get_codegen_type Sofia 2026-04-14 18:48:17 +0300
• 45df4fdf5f Fix array to ptr cast Sofia 2026-04-14 18:26:33 +0300
• d3f0a730fd Make strings be char[n] Sofia 2026-04-14 17:01:08 +0300
• 26779414a7 Implement arrays Sofia 2026-04-14 15:55:13 +0300
• c0a2c41c33 Fix parsing of empty arrays Sofia 2026-04-14 15:24:49 +0300
• 0400aa1d99 Make empty arrays into just pointers Sofia 2026-04-14 15:20:14 +0300
• d70f6fffa0 Parse array type Sofia 2026-04-14 15:05:44 +0300
• 3370e76c48 Add ArrayType Sofia 2026-04-14 14:57:25 +0300
• e797cab50f Remove some unused code Sofia 2026-04-14 14:49:07 +0300
• fa8c4b0e74 Allow underscores in idents Sofia 2026-04-14 14:19:08 +0300
• 0cdf1abf82 Tweak parsing Sofia 2026-04-14 14:17:17 +0300
• be2d809986 Make ref and deref only parse primary expression Sofia 2026-04-14 00:28:12 +0300
• d3a4964f10 Add ret void to every function, to make sure one exists Sofia 2026-04-14 00:26:37 +0300
• 01d4999e14 Store params in stack properly as well Sofia 2026-04-14 00:25:11 +0300
• acd1e5d39b Fix bug in deref Sofia 2026-04-14 00:09:36 +0300
• d4016e3ab7 Parse ref/deref/parenthesis Sofia 2026-04-14 00:05:30 +0300
• 78c5ab4c25 Add ref and deref Sofia 2026-04-14 00:01:33 +0300
• 48a3eb0e85 Improve binop result calculation Sofia 2026-04-13 23:50:07 +0300
• 57dc022241 Improve binop typechecking Sofia 2026-04-13 23:16:39 +0300
• 51c54e375a Add better error raporting Sofia 2026-04-13 21:47:18 +0300
• 28483812ea Allow implicit cast from char to int Sofia 2026-04-13 21:45:58 +0300
• e0f2a1620e Implicitly add cast if implicit cast is found Sofia 2026-04-13 21:36:44 +0300
• ee0e30934a Allow typechecker to perform implicit casts Sofia 2026-04-13 21:32:34 +0300
• 1555c12bbd Improve casts Sofia 2026-04-13 21:27:46 +0300
• c8d4b653da Fix bug with binop assignment typechecking Sofia 2026-04-13 21:24:34 +0300
• 1814ce2cc9 Fix bug with loading values, parse casts Sofia 2026-04-13 21:21:46 +0300
• 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