Goose: Timeline

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

16 check-ins using file bs/builtins/operators/tupass.cpp version c7a789e451

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: Remove hardcoded handling of ref type from verifier, lower ref type to address for verification instead Complete the handling of address type and handle selecting+loading an address' lifetime, origin and path check-in: 1adbcaa805 user: zlodo tags: trunk
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		Remove MemLoc, it's redundant with cir::Address Added compîlation time sequence type Partially handle sequence type in the verifier (to be completed later) Added "SelectPath" builtin type for adress paths check-in: 08898dae70 user: zlodo tags: trunk
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		reworked value wrapping in intrinsics, unwrapping can now only happen for the returned value (for verification reasons) removed the _ConvertFuncArg extension point, replaced it with _ConvertFuncArgs that operates on all of the args (so that we can do cross argument things in the prelude, will be needed for lifetimes) check-in: f271454617 user: zlodo tags: trunk
2023-03-06
22:24		prelude: implemented UnwrapValue check-in: c550a4bc43 user: zlodo tags: trunk
2023-03-05
22:24		removed fmtlib, now use std::format vastly improved the overload resolution debugging tools prelude: started adding some extra error detection for small things that don't need to be builtin prelude: started working on implementing #for for tuples, some stuff needs to be addressed still fixed some type checking issue with wrapped args fixed superfluous nested lifetime scope in brace blocks (which caused redundant calls to some extension points) check-in: 4d4d76607a user: zlodo tags: trunk
2023-02-28
00:55		Intrinsic functions: no longer systematically wrap every argument. Instead, arguments that needs to be wrapped can be indicated by decorating their type with the WrappedArg type function. Fixed several bugs related to forwarding template vars ($$whatever) check-in: 9f242fb2ff user: zlodo tags: trunk
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		Added the _IsTrivialAssignment extension point to indicate whether an assignment between two given types is trivial or absolutely needs to be resolved to an operator_assign invocation Use the above to simplify tuple assignments when all the contained members have trivial assignments check-in: 7751ce994d user: zlodo tags: trunk

Goose Timeline

16 check-ins using file bs/builtins/operators/tupass.cpp version c7a789e451