-
-
Notifications
You must be signed in to change notification settings - Fork 42
Pull requests: formal-land/rocq-of-rust
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Draft: some improvements for the Solana token program
#813
opened Jan 19, 2026 by
clarus
Collaborator
Loading…
revm: add sdiv simulation following div pattern
#812
opened Jan 14, 2026 by
isabellemaluza
Collaborator
Loading…
Experiment: more trait inference automatisation
#810
opened Jan 12, 2026 by
clarus
Collaborator
Loading…
revm: add missing arithmetic simulations (sdiv, rem, smod, addmod, mu…
#784
opened Dec 17, 2025 by
isabellemaluza
Collaborator
Loading…
Experiment: using existential variables for Let and Call
#721
opened Apr 10, 2025 by
clarus
Collaborator
Loading…
Draft: more work on the simulations for the gas file
#678
opened Mar 4, 2025 by
clarus
Collaborator
Loading…
3 of 5 tasks
draft: implement eof_create_inputs definitions
#648
opened Jan 24, 2025 by
0xMushow
Collaborator
Loading…
move-sui: add simulation for the cast_u8 instruction
#620
opened Oct 18, 2024 by
clarus
Collaborator
Loading…
Draft: add links generation from JSON and Python
Move
#608
opened Sep 7, 2024 by
clarus
Collaborator
Loading…
Add two simulation files for rust example code
#553
opened May 27, 2024 by
InfiniteEchoes
Collaborator
Loading…
Draft: add zkWasm / halo_proofs translation
#546
opened May 17, 2024 by
clarus
Collaborator
Loading…
Draft: Represent values only with their abstract version
#542
opened May 4, 2024 by
clarus
Collaborator
Loading…
Experimental example translation for CI test
#535
opened Apr 25, 2024 by
InfiniteEchoes
Collaborator
Loading…
Previous Next
ProTip!
Filter pull requests by the default branch with base:main.