verify: implement P_Array_Append_Onemain
commita48ee67807f9b47bcbbe1a3c914156e0c6f78e28
authorMikulas Patocka <mikulas@twibright.com>
Sat, 1 Feb 2025 17:39:27 +0000 (1 18:39 +0100)
committerMikulas Patocka <mikulas@twibright.com>
Sat, 1 Feb 2025 17:39:27 +0000 (1 18:39 +0100)
treed946af5ef5f104e7d12065d5d78d664fdc91d8df
parente8dbdf15918cb53b158fc8f4af349a71478a5d28
verify: implement P_Array_Append_One
builtin.pcd
newlib/compiler/optimize/verify.ajla
stdlib/compiler/optimize/verify.ajla