7 Commits

Author	SHA1	Message	Date
Owen Mansel-Chan	e1bddd9365	Model newly added functions	2026-02-10 22:32:30 +00:00
Owen Mansel-Chan	700604a1c2	Convert old-style models for built-ins to MaD ... These models are to cover the special cases where `append` can be used with a second argument which is a string followed by `...`, and `copy` can be used with a second argument which is a string. In this case the taint is carried by the whole string, rather than in array elements.	2024-06-11 16:16:45 +01:00
Owen Mansel-Chan	ab5e1f8a69	Fix models for min and max and improve tests ... Although the documentation makes them look variadic (and generic), they are actually special-cased in the compiler. Like all built-in functions they don't have a signature type, but the type of `min(a, b, c)` is `func(int, int, int) int` and not `func(int, ...int) int`. Go doesn't allow open-ended ranges for argument indices in models-as-data specifications (though Ruby and Python do), so I've used `1..1000`.	2024-05-14 14:40:56 +01:00
Owen Mansel-Chan	fcdac0aeb0	Add models for min and max built-in functions	2024-05-10 23:40:53 +01:00
Owen Mansel-Chan	1322ce35d6	Add model for built-in function copy	2024-05-10 23:40:53 +01:00
Owen Mansel-Chan	e857eedd4a	Fix model for append - it is variadic	2024-05-10 23:40:52 +01:00
Michael Nebel	ebb3485a73	Go: Use the extensible predicates for model definitions.	2023-01-12 11:13:33 +01:00