-
-
Notifications
You must be signed in to change notification settings - Fork 44
Pull requests: formal-land/rocq-of-rust
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Evaluate translated code through OCaml extraction
#945
opened Jul 15, 2026 by
cascade77
Collaborator
Loading…
Draft: doc: add technical analysis document
#936
opened Jul 13, 2026 by
clarus
Collaborator
Loading…
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…
Previous Next
ProTip!
Adding no:label will show everything without a label.