chore(deps): update rust crate rufi_core to v13

[renovate]

This PR contains the following updates:

Package	Type	Update	Change
rufi_core (source)	dependencies	major	12.0.0 -> 13.0.0

---

Release Notes

RustFields/RuFi-core (rufi_core)

v13.1.0

Compare Source

Features

• add mux and foldhood_plus builtins (6d35008)

Bug Fixes

• fix mux signature (74f8fa8)
• remove unused imports (5499128)

v13.0.1

Compare Source

Dependency updates

• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.68 (a157fce)
• deps: update node.js to 18.18 (05c6f86)

Bug Fixes

• fix branch signature (7059bcf)

Build and continuous integration

• deps: update actions/checkout action to v4 (ddfdcd8)

Refactoring

• refactor branch signature (360d29b)

v13.0.0

Compare Source

⚠ BREAKING CHANGES

• moved functions to test/utils
• change the signature of foldhood to accept constructs as inits
• change the signature of rep to accept constructs as inits

Features

• test: add utility to assert the equivalence of programs (3cd824e)
• test: add utility to create a fully connected topology (f63df0b)
• test: add utility to create vms (1396037)

Tests

• add first two tests by equivalence (321e7f4)
• add more tests by round (c0ef14d)

General maintenance

• build: add rand dependency (77ed738)

Style improvements

• change indentation and use trailing commas in lang.rs (bb932bb)

Refactoring

• change the signature of foldhood to accept constructs as inits (cac82cb)
• change the signature of rep to accept constructs as inits (543e120)
• move lang tests on subdirectory and separate tests by round from by equivalence (4231aff)
• moved functions to test/utils (93e26d6)
• test: restructure tests (2bee87b)

v12.0.2

Compare Source

Documentation

• add folded_eval documentation (bff42e7)
• add language documentation (1efe1ee)

Refactoring

• refactor lang functions signatures (d82b6a3)

v12.0.1

Compare Source

Dependency updates

• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.43 (b811758)
• deps: update node.js to 18.17 (82e68ef)

Bug Fixes

• change locally to match the original scafi implementation (38083a8)
• change rep and foldhood internal behaviour (fba8c89)
• now aligned neighbors are correctly returned (e9f906f)

Tests

• add foldhood failure test (57ec80d)
• add rep test (5b524a7)
• alignment and foldhood are now tested (63fafa2)
• fix test exports (5e39e77)
• reduce the number of external functions used (b72ae7b)
• refactor export creation and fix rep tests (0f00a93)
• refactor test (code quality, comments etc..) (caf978d)
• remove comments (4f292e3)

General maintenance

• add example of folded eval issue (bc4d569)

Refactoring

• change folded_eval code to be more clear (bdee508)
• remove mid function (53e9835)

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR has been generated by Mend Renovate. View repository job log here.