Goose: Timeline

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

50 most recent check-ins that include changes to files matching 'bs/builtins/operators/*'

2024-09-15
20:24		Add clang format settings, reformat everything check-in: 0db147f117 user: achavasse tags: cir-ssa-refactor
2024-09-13
21:05		Drop in the most apocalyptic changes: new CIR instruction structure, new sequence builder, new compile time address representation, do almost just the bare minimum to compile again. A few simple things are still working somehow check-in: 57d4d0c79e user: achavasse tags: cir-ssa-refactor
2024-03-30
08:58		structs: diagnose member name collisions add tests for the dot operator fix dot operator Leaf check-in: f7de54375b user: zlodo tags: trunk
2024-03-14
23:23		add type wrapper for unresolved compile time identifier, move undefined identifier handling to dropValue() of those implemented dot operator for structs fixed struct lazy parsing implemented some tests for structs default construction fixed struct default ctor generation check-in: 75a719c020 user: zlodo tags: trunk
2024-02-09
18:05		Lowering: completely reworked all lowering to happen in the same two unified extension points upstream of all three CIR consumers check-in: 1793989d05 user: zlodo tags: trunk
2023-12-09
19:56		Remove some dead code. 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-05
18:43		Comptime functions are now explicitely marked with "comptime" Fixed some bugs (or added placeholders) for things that the above change revealed to be broken or missing check-in: d6abaa6734 user: zlodo tags: trunk
2023-11-05
13:04		Implemented inline functions check-in: 96c02f37d1 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-02
21:46		Implemented forall statement check-in: 32f94cd2e1 user: zlodo tags: trunk
2023-07-05
22:01		Some builtins to work with references during verification: RefToAddr conversion function dot operator overloads to extract the lifetime, origin and path of an address check-in: 914b2e2af1 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-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-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
2023-01-24
18:02		Refactored tuple assignment operator and fixed a case where it would crash Fixed incorrect CIR code generation involving constant tuples containing computed values check-in: b47efa975d 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
2022-09-02
21:42		Implemented a test for variadic functions Fixed a million issues and missing things preventing the above from working Implemented equality operators for types check-in: 373a6ebd57 user: zlodo tags: trunk
2022-08-28
17:12		vararg templates: completed the pack TExpr and pack TVars implementations (need tests) check-in: 0146622968 user: zlodo tags: trunk
2022-07-21
01:09		Small cleanup check-in: 6e0a90698d user: zlodo tags: trunk
2022-07-20
19:22		vararg template: added pack TExpr and ellipsis operator check-in: ba07901758 user: zlodo tags: trunk
2022-07-02
14:22		Vararg templates: function param decls with open tuple types are expanded into multiple params check-in: ecd5b0e89a user: zlodo tags: trunk
2022-06-29
21:47		The CIR is no longer made out of instructions that are basically expression trees, but is now instead a stack language to make it possible to insert verification instructions before and after the evaluation of individual function arguments check-in: 1f87fbda15 user: zlodo tags: trunk
2022-06-27
16:56		cir: allow verification specific code and instructions to be interspersed with regular code again and added a function to filter them out before consuming the code in the interpreter and during codegen verification: better handling of non-representable types that don't involve giving up entirely on verifying the function g0 api: updated it to match the CIR changes prelude: adapted reference verification to the new CIR api check-in: b81d4242e3 user: zlodo tags: cir-stack-language
2022-06-18
18:51		Added a location id to all CIR instructions (needed with the stack based approach to locate intermediate results) Fixed a bunch of verifier errors Re-enabled most verifier tests, other than some requiring to re-implement a few more bits check-in: b4d5bdf6ec user: zlodo tags: cir-stack-language
2022-06-08
22:38		Refactored the verifier to use the stack-based CIR. It compiles but isn't re-enabled yet check-in: 4f05876cc2 user: zlodo tags: cir-stack-language
2022-05-25
17:28		Split function invocation code into several specialized versions for each function kind Almost fully completed the migration of CIR to a stack language Compilation-time execution works again check-in: 7992dbe59f user: zlodo tags: cir-stack-language
2022-05-23
08:44		CIR instructions are now stored in lists Execute: handle the stack Converted some instructions to use the stack check-in: 0d5427d49b user: zlodo tags: cir-stack-language
2022-03-14
19:23		bracket blocks inlined in the code are no longer proposition lists but a new type of block to contain "ghost code" (ie a verification specific cfg) added a GhostBranch instruction to insert the above in the middle of regular code removed a bunch of hacks to ignore load/stores involving ghost funcs during execution and codegen since they are now separated from normal code using the above miscellaneous other refactorings and improvements as a result ghost code is now more flexible and can use idiomatic tuple assignments to exchange the values of two ghost function closures check-in: 68260b65f2 user: zlodo tags: trunk
2022-03-11
19:08		Verifier: handle ct_int types and ct_int constants check-in: 9b10735b71 user: zlodo tags: trunk
2022-03-01
00:29		Ghost functions: added tests and fixed a lot of bugs, it even seems that all this garbage is actually beginning to work check-in: 09337f6de9 user: zlodo tags: trunk
2022-02-18
17:36		refactored function parsing so that ghost function declarations can actually work (ie they don't expect a function body) some fixes in codegen to properly ignore statements involving ghost functions check-in: 07963466bf user: zlodo tags: trunk
2022-01-28
17:41		Ghost functions: implemented "ghost" operator to mark a function or template function as ghost template functions can now be ghosts detect and reject mixing ghost and non ghost functions in the same overload set check-in: 26c724e318 user: zlodo tags: trunk
2022-01-25
18:57		FuncType: replace flags with a "kind" enum, add ghost kind check-in: 55c2184e6f user: zlodo tags: trunk
2022-01-07
20:02		Use non-experimental std::coroutine Get rid of fmt lib, use std::format instead check-in: 3b954688f3 user: zlodo tags: trunk
2021-11-25
21:21		Got rid of the where operator. Predicates are now added to types simply by following the type with a proposition list. check-in: 23ecb4f9cb user: zlodo tags: trunk
20:30		simplified ref parsing implementation by using the parser's infix parsing rule helper refactored "requires" and "ensures": they are now simply infix operators that take a function type on the lhs and a proposition list on the rhs check-in: e1ede8dafa user: zlodo tags: trunk
2021-11-19
22:28		Replaced "TypePredicates" by a more generic "Propositions" class, to be used for function predicates as well check-in: 098b3c34c9 user: zlodo tags: trunk
2021-11-11
20:05		Refactored the code builder: it is now carried around as a Value, and accessed through a bunch of extension points, so we can have different builders (and even user defined ones) later to make classes etc. check-in: 1ad61a2717 user: zlodo tags: trunk
01:00		refactored the ref syntax again: "ref" is now an infix operator that takes an "AccessLevel" compile time value (mut/const/temp) on the lhs, or a TVar to capture/constrain it used the above feature to fix the constref verification _ConvertArg overload which was silently dereferencing the arg, causing it to get converted to a temp ref in all cases check-in: d679acf746 user: zlodo tags: trunk
2021-11-03
22:55		References: ref now creates a template type accepting any kind of reference, and mut/const/temp are prefix operators turning that into a ref (or template ref) type of the corresponding kind (this also changes the syntax from ref mut XXX to mut ref XXX which is more natural) Fixed the bizarely broken implicit referencing typechecking rule that performed a superfluous intermediate TypeCheck that crashed on non mutable template reference types Fixed builtin function wrapper that omitted a cast of the return value to the specified type, which allowed builtin functions to silently return values of a different type than advertised, resulting in fun type checking errors Fixed a bunch of fucked up return types that worked by chance (because of the above) in several g0 api functions Implemented non mutable reference passing verification + related tests (it doesn't work yet but too many fixes need to be committed first) check-in: 55994a469a user: zlodo tags: trunk
2021-10-09
21:50		Added the Conjunction CIR instruction to build a conjunction from predicates at verification time check-in: e3485faf08 user: zlodo tags: trunk
2021-10-06
21:50		Mut ref predicates verification: display a useful error message check-in: 05ada78145 user: zlodo tags: trunk
2021-10-04
11:57		Fixed assignment of tuples whose content is not known at compile time templates: fixed forwarding TVars not retrieving their bound value g0 api: fixed type predicates retrieval Prelude: implemented a first rough version of predicate type checking when passing mutable references to functions check-in: 2de6fd1212 user: zlodo tags: trunk
2021-09-26
21:11		TDecl: instead of directly storing the type signature (and forgetting all about the nested TExprs), we store the TExpr and generate the signature during typechecking check-in: 00408e8723 user: achavasse tags: trunk
19:47		Fixed a handful of parsing issues related to templates Added missing export of "ref" to g1 check-in: 93eaca4c2b user: achavasse tags: trunk
14:17		Intrinsics: expose the current code builder as an implicit parameter check-in: 60a2f901d5 user: achavasse tags: trunk
2021-09-18
17:00		Refactored LocationId into a separate class and actually use it everywhere instead of uint32_t, this makes it easier to make generic wrappers for APIs g0 api: more work on the CIR api check-in: bf81e30984 user: achavasse tags: trunk
2021-09-15
22:15		Fixed the generic CTType and RTType patterns, and removed the super generic assignment operator overload that would accept literally any type check-in: ea7c04df2f user: achavasse tags: trunk

Goose Timeline

50 most recent check-ins that include changes to files matching 'bs/builtins/operators/*'