Sofia teascade
1 Followers · 1 Following
Repositories
5
 Projects Packages Public Activity Starred Repositories
1
teascade pushed to generics at teascade/reid-llvm 2025-08-25 20:16:06 +02:00
384703fbd2 Fix bug in generic function name replacement
107303aa98 Update generic types for let-statements
08626c8559 Check type argument count
ffb3515aaa Implement generic type swapping
1e4667449a Find all function calls
Compare 10 commits »
teascade created branch generics in teascade/reid-llvm 2025-08-25 20:16:06 +02:00
teascade pushed to main at teascade/reid-llvm 2025-08-17 17:13:15 +02:00
84233c8f49 Add reid.png
teascade pushed to main at teascade/reid-llvm 2025-08-17 16:48:44 +02:00
07b0403e9b Make exit code propagate
28934ea6fc Add run-subcommand
Compare 2 commits »
teascade pushed to main at teascade/reid-llvm 2025-08-17 16:33:20 +02:00
7dd06567bb Make some logs better
teascade pushed to main at teascade/reid-llvm 2025-08-17 16:19:41 +02:00
77107ef95e Fix a bunch of warnings
1d0fd9dd0a Change all previous weird logs to log:: logs
3a5766186a Add main.rs and make usage a little nicer
Compare 3 commits »
teascade pushed to main at teascade/reid-llvm 2025-08-17 15:22:56 +02:00
8d8d6ac336 Clean up grammar by a lot
teascade pushed to main at teascade/reid-llvm 2025-08-16 16:38:37 +02:00
fa95da97ae Remove unused debug-logs
teascade pushed to main at teascade/reid-llvm 2025-08-16 16:36:47 +02:00
407c681cb6 Add ordering for how types are chosen for binops
2dd482c9c2 Fix for-loop generation
1a5823c59c Add failing loop edge case example
Compare 3 commits »
teascade pushed to main at teascade/reid-llvm 2025-08-14 16:59:29 +02:00
3ebe16b80b Fix docs for associated function calls
teascade pushed to main at teascade/reid-llvm 2025-08-14 16:49:15 +02:00
7a6f99479a Add documentation to function autocompletes
teascade pushed to main at teascade/reid-llvm 2025-08-14 16:45:20 +02:00
f4bce14299 Add documentation for intrinsics
aa1de16f4c Add documentation to std
89b6fc1a71 Improve invoked ty hover
ceee2f286a Improve function hover texts
Compare 4 commits »
teascade pushed to main at teascade/reid-llvm 2025-08-14 15:52:53 +02:00
dcb4e76a40 Add documentation to hovers
6dccab8b12 Add hover kind
7b4f38406d Add some initial documentation support for functions
9e37ae7aac Re-add equals for floats
Compare 4 commits »
teascade pushed to main at teascade/reid-llvm 2025-08-13 11:54:48 +02:00
3e0367fb1e Disallow == between floats
teascade pushed to main at teascade/reid-llvm 2025-08-13 11:47:59 +02:00
685520a6cf Fix floating-point modulo
teascade pushed to main at teascade/reid-llvm 2025-08-12 20:21:35 +02:00
0203213b28 Fix a bunch of errors in reid-llvm-lib
teascade pushed to main at teascade/reid-llvm 2025-08-12 20:04:21 +02:00
c23160bc32 Fix inconsitent multiple typedefs
fe6fe6c435 Fix linker setting types as dependencies when they are also dependencies
3e85ed2705 Remove unnecessary dbg!
Compare 3 commits »
teascade pushed to main at teascade/reid-llvm 2025-08-08 15:20:30 +02:00
d50a748884 Add contributes breakpoints
c44d588b30 Fix a1.reid
Compare 2 commits »
teascade pushed to main at teascade/reid-llvm 2025-08-07 20:41:20 +02:00
0e23ab4636 Add back a type in linker that I thought unnecessary
teascade pushed to main at teascade/reid-llvm 2025-08-07 20:33:58 +02:00
ce2473a715 Add is_null to documentation