Goose: Timeline

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

9 check-ins using file bs/execute/vm.cpp version 942e494a43

2021-11-23
19:45		Parser: when encountering a prefix bracket block, parse it into a propositions list. Builtins: when a proposition list is dropped (ie used as a stand alone statement), convert it into assert instructions. Builtins: remove the builtin assert function, now replaced with the above so that propositions are always enclosed in brackets, regardless of where they are used. Also removes the confusion of making the assert function a compile-time check when its traditionally a runtime check check-in: 2ba2e560b1 user: zlodo tags: trunk
2021-11-22
20:33		Parser: split block parsing code check-in: a4eaf901ef user: zlodo tags: trunk
20:22		Function pre-conditions and post-conditions now use the same proposition lists as type predicates check-in: 1c335aeb04 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-16
21:18		The details of creating a new visibility scope are now handled by the builder instead of being hardcoded in the parser check-in: 16dd587889 user: zlodo tags: trunk
2021-11-13
14:09		The builder is now passed as the first param of the _DropValue extension point check-in: c33b227735 user: zlodo tags: trunk
2021-11-11
20:31		Removed two other obsolete files check-in: ade3099696 user: zlodo tags: trunk
20:19		Removed a file that was not properly deleted in the previous commit check-in: b808c4a5f5 user: zlodo tags: trunk
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