Edit change note

This commit is contained in:
Owen Mansel-Chan
2024-05-30 21:04:05 +01:00
parent ffc25add70
commit d112073a13

View File

@@ -1,4 +1,4 @@
---
category: minorAnalysis
---
* Converted the models for the built-in functions `append`, `copy`, `max` and `min` to value flow and Models-as-Data.
* Added value flow models for the built-in functions `append`, `copy`, `max` and `min` using Models-as-Data. Removed the old-style models for `max` and `min`.