Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
2023-12-09
| ||
19:56 | Remove some dead code. Leaf check-in: f99a469d36 user: zlodo tags: trunk | |
19:44 | Assigning something to a Decl or a TNamedDecl no longer directly declares a variable but creates an intermediate DeclWithInit or TNamedDeclWithInit, which declare variables when dropped. check-in: 308bd3ed4d user: zlodo tags: trunk | |
2023-12-08
| ||
21:16 | Some work on struct builder check-in: ae07ee4400 user: zlodo tags: trunk | |
2023-12-06
| ||
20:49 | Begin implementing structs. check-in: 973848d259 user: zlodo tags: trunk | |
2023-12-05
| ||
18:43 |
| |
2023-11-30
| ||
18:29 | Handful of fixes and improvements from an abandoned refactor of inline funcs, will go for a different solution check-in: 5b069c9677 user: zlodo tags: trunk | |
2023-11-08
| ||
21:45 |
| |
2023-11-05
| ||
13:11 |
| |
13:04 | Implemented inline functions check-in: 96c02f37d1 user: zlodo tags: trunk | |
2023-10-05
| ||
00:14 | Removed the work queue and implemented a proper dependency manager with callbacks check-in: 0e7409855c user: zlodo tags: trunk | |
2023-09-21
| ||
18:08 |
| |
2023-08-28
| ||
20:36 |
| |
2023-08-27
| ||
22:30 |
| |
21:13 | Interpreter: simplify handling of temporaries check-in: 3fbe5ad303 user: zlodo tags: trunk | |
2023-08-25
| ||
18:44 | Some cleanup in preparation for getting rid of proposition lists check-in: f605c7c4a3 user: zlodo tags: trunk | |
2023-08-24
| ||
21:55 | Verifier: optimize the way CreateTemporary/GetTemporary are handled check-in: 942f3c4fe0 user: zlodo tags: trunk | |
2023-08-21
| ||
17:33 | Refactor CompileFunc to untangle things a bit check-in: ecc62fe531 user: zlodo tags: trunk | |
2023-08-18
| ||
18:40 | Added helper functions to bind parameters to a proposition list and append its content to a basic block check-in: fc3d788320 user: zlodo tags: trunk | |
2023-08-13
| ||
18:23 | forall statement: factorise out the bracket block parsing check-in: 890f3f7581 user: zlodo tags: trunk | |
18:04 | It turns out cmake hadn't, in fact, failed me for the last time: migrating back from meson to cmake check-in: 9722f7aa3f user: zlodo tags: trunk | |
2023-08-02
| ||
22:14 | Update mimalloc and Catch check-in: 9ee0c01395 user: zlodo tags: trunk | |
21:46 | Implemented forall statement check-in: 32f94cd2e1 user: zlodo tags: trunk | |
2023-07-22
| ||
17:26 | Add zstd dependency (some versions of the lld libs need it now) check-in: e4bae45a24 user: zlodo tags: trunk | |
2023-07-15
| ||
19:25 | Fixed values not being destroyed when a lifetime scope ends check-in: 9a57f2204f user: zlodo tags: trunk | |
2023-07-13
| ||
21:45 | CIR, verifier: added forall quantified variables check-in: 20223acc66 user: zlodo tags: trunk | |
2023-07-06
| ||
23:03 | Implemented "IsPrefixOf" intrinsic function. check-in: 045e459cb4 user: zlodo tags: trunk | |
18:25 | Verification: add IsPrefixOf instruction check-in: 33d8f4d593 user: zlodo tags: trunk | |
2023-07-05
| ||
22:01 |
Some builtins to work with references during verification:
| |
2023-07-01
| ||
11:21 | Execute: function argument passing simplification (overlooked from back when the CIR was turned into a stack language) check-in: 2e14edebd0 user: zlodo tags: trunk | |
2023-06-30
| ||
22:41 |
Verifier:
| |
2023-06-22
| ||
23:33 | Implemented lowering of Addresses into a tuple representation for verification check-in: 25b51220ed user: zlodo tags: trunk | |
2023-06-17
| ||
10:15 |
| |
2023-05-31
| ||
21:34 | Lifetimes: implemented verifier's z3 representation check-in: b1d4853b7f user: zlodo tags: trunk | |
2023-05-05
| ||
18:03 | Lifetime specifications parsing check-in: bb7e75cb1b user: zlodo tags: trunk | |
2023-04-03
| ||
22:37 | Moved the code that emits type predicate checks for values returned by intrinsics into an extension point check-in: 72cb3ae97a user: zlodo tags: trunk | |
2023-03-28
| ||
19:44 | Get rid of the TCRINFOS macro, use std::source_location instead to remove some noise check-in: d9414ddc6f user: zlodo tags: trunk | |
2023-03-27
| ||
18:34 |
| |
2023-03-06
| ||
22:24 | prelude: implemented UnwrapValue check-in: c550a4bc43 user: zlodo tags: trunk | |
2023-03-05
| ||
22:24 |
| |
2023-02-28
| ||
00:55 |
| |
2023-02-20
| ||
17:54 | Migrated to clang16/llvm16. Created a shitty layer on top of llvm to cope with losing the pointee types from llvm pointer types (which are now opaques). It was a huge pain in the ass. check-in: 0c646816e4 user: zlodo tags: trunk | |
2023-02-07
| ||
15:49 | Removed the ToType extension point, go through typechecking instead for converting things such as tuple of types into types. This is more generic than the previous approach and will avoid some pitfalls in the future. check-in: 1b18849f5c user: zlodo tags: trunk | |
2023-01-30
| ||
19:33 | Implemented the _IsTrivialInitialization extension point to optimize tuple initialization in the same way as assignments check-in: d70fa1ef12 user: zlodo tags: trunk | |
2023-01-29
| ||
20:48 |
| |
2023-01-24
| ||
18:02 |
| |
2023-01-10
| ||
22:29 | ToString: don't print addresses of void pointers anymore check-in: c8f5e99651 user: zlodo tags: trunk | |
22:01 | Implemented textual dump of a function's CIR to more easily inspect it and implement some code generation tests at the CIR level check-in: 4edae7e1a3 user: zlodo tags: trunk | |
2023-01-09
| ||
19:06 | Fixed bad hashing implementation of terms containing a locationId that caused some absurd crash in the verifier check-in: 8fd3b7a078 user: zlodo tags: trunk | |
2023-01-06
| ||
19:13 | Remove redundant calls to the ToType extension point when compiling function bodies check-in: 78a358141d user: zlodo tags: trunk | |
2023-01-05
| ||
19:44 | Fixed passing tuple by value to functions, which involved properly handling type checking of constant tuples containing computed data and some codegen bugs check-in: 9b8306c3af user: zlodo tags: trunk | |