Skip to content

Pull requests: runtimeverification/kasmer-multiversx

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Bump openssl from 0.10.64 to 0.10.70 in /tests/contracts/test_coindrip/meta dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#182 opened Feb 3, 2025 by dependabot bot Loading…
Test contracts for int64
#170 opened Jul 8, 2024 by virgil-serbanuta Draft
Fix definedness
#166 opened Jun 27, 2024 by virgil-serbanuta Loading…
Update tests for map simplification
#156 opened Jun 18, 2024 by virgil-serbanuta Loading…
ProTip! Follow long discussions with comments:>50.