Skip to content

Pull requests: formal-land/coq-of-rust

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

suggestion: definition of 'binop_int'
#621 opened Oct 21, 2024 by clarus Loading…
move-sui: add simulation for the cast_u8 instruction
#620 opened Oct 18, 2024 by clarus Loading…
Draft: experiments around stack semantics
#613 opened Oct 2, 2024 by clarus Loading…
Draft: add links generation from JSON and Python Move
#608 opened Sep 7, 2024 by clarus Loading…
Draft: more links for the Revm interpreter
#562 opened Jun 1, 2024 by clarus Loading…
Experiment: following a stack discipline
#554 opened May 28, 2024 by clarus Loading…
Draft: more for Revm
#551 opened May 24, 2024 by clarus Loading…
Draft: add zkWasm / halo_proofs translation
#546 opened May 17, 2024 by clarus Loading…
Draft: two layers simulations
#536 opened Apr 25, 2024 by clarus Loading…
Draft: add polymorphic const parameters
#498 opened Mar 29, 2024 by clarus Loading…
Draft: experiment impl as axiom
#447 opened Jan 16, 2024 by clarus Loading…
Draft: experiments on traits
#229 opened Oct 4, 2023 by clarus Loading…
ProTip! Updated in the last three days: updated:>2024-10-28.