Patched source for Aeneas/Charon formal verification transpilation

dependabot[bot] cdc0688a81 Bump which from 4.4.2 to 8.0.2 (#32) ... Bumps [which](https://github.com/harryfei/which-rs) from 4.4.2 to 8.0.2. - [Release notes](https://github.com/harryfei/which-rs/releases) - [Changelog](https://github.com/harryfei/which-rs/blob/master/CHANGELOG.md) - [Commits](https://github.com/harryfei/which-rs/compare/4.4.2...8.0.2) --- updated-dependencies: - dependency-name: which dependency-version: 8.0.2 dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>		2026-06-15 18:06:17 -04:00
.github	Bump taiki-e/install-action from 2.77.1 to 2.81.6 (#48)	2026-06-13 11:17:27 -04:00
curve25519	[ed25519] improve docs (#47)	2026-06-11 22:10:13 -04:00
experimental/ed25519-pokos	Add workspace.package information and do minor clean-up (#14)	2026-04-26 10:11:05 +09:00
scripts	[chore] ci for crate release (#7)	2026-04-15 08:44:33 -04:00
syscall	[solana-bn254-syscall] Add solana-bn254-syscall crate (#13)	2026-05-19 08:56:06 +09:00
.gitattributes	Skeleton for cryptography repo (#1)	2026-03-07 15:52:28 -05:00
.gitignore	Skeleton for cryptography repo (#1)	2026-03-07 15:52:28 -05:00
Cargo.lock	Bump which from 4.4.2 to 8.0.2 (#32)	2026-06-15 18:06:17 -04:00
Cargo.toml	Bump which from 4.4.2 to 8.0.2 (#32)	2026-06-15 18:06:17 -04:00