Copilot
|
ecea5e2b4e
|
Add sequence higher-order functions to Java API (#8226)
* Initial plan
* Add four sequence operations to Java API (SeqMap, SeqMapi, SeqFoldl, SeqFoldli)
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Fix checkContextMatch call and add test for sequence operations
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Add 4-parameter checkContextMatch overload for consistency
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-01-17 13:02:54 -08:00 |
|