Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / formal-land/coq-of-rust issues and pull requests

#655 - links: add automation to generate constants file

Pull Request - State: closed - Opened by clarus 8 days ago

#654 - links: add handling of constants

Pull Request - State: closed - Opened by clarus 8 days ago

#653 - Add a definition for the constants

Issue - State: closed - Opened by clarus 9 days ago

#652 - Add more links definitions for the gas

Pull Request - State: closed - Opened by clarus 12 days ago

#651 - links: more automation

Pull Request - State: closed - Opened by clarus 16 days ago

#650 - Revm: optimize the links definitions

Issue - State: open - Opened by clarus 16 days ago
Labels: Revm

#649 - Links: more proofs

Pull Request - State: closed - Opened by clarus 18 days ago

#648 - draft: implement eof_create_inputs definitions

Pull Request - State: open - Opened by 0xMushow 19 days ago

#646 - links: more fixes to the compilation

Pull Request - State: closed - Opened by clarus 21 days ago

#645 - Guillaume claret@update revm bis

Pull Request - State: closed - Opened by clarus 22 days ago

#644 - ci: upgrade to Coq 8.20

Pull Request - State: closed - Opened by clarus 22 days ago

#643 - move-sui: verifymore instructions

Pull Request - State: closed - Opened by clarus about 1 month ago

#642 - Draft: experiments with JSON translation

Pull Request - State: open - Opened by clarus about 1 month ago

#641 - Set the undefined instruction as TODO in the interpreter

Pull Request - State: closed - Opened by clarus about 2 months ago

#640 - Sui: Add invariant for Bytecode.t

Issue - State: open - Opened by clarus about 2 months ago

#639 - feat: add proofs for more Bytecode operations

Pull Request - State: closed - Opened by 0xMushow about 2 months ago

#638 - feat: add proof for Pop, BrTrue, BrFalse

Pull Request - State: closed - Opened by 0xMushow about 2 months ago

#637 - Antoine james@verify invariant preservation

Pull Request - State: closed - Opened by 0xMushow about 2 months ago

#636 - More stack verification

Pull Request - State: closed - Opened by clarus 2 months ago

#635 - Verifying invariant preservation: part 1

Pull Request - State: closed - Opened by clarus 2 months ago

#634 - Verifying Invariant Preservation

Pull Request - State: closed - Opened by 0xMushow 2 months ago - 1 comment

#633 - Verifying invariant preservation in the type-checker

Issue - State: open - Opened by clarus 2 months ago
Labels: Move

#632 - Verify flattening abstract stack

Pull Request - State: closed - Opened by 0xMushow 2 months ago

#631 - Invariant abstract stack completion

Pull Request - State: closed - Opened by 0xMushow 2 months ago - 1 comment

#630 - Show preservation of invariant abstract stacks

Pull Request - State: closed - Opened by 0xMushow 2 months ago - 1 comment

#630 - Show preservation of invariant abstract stacks

Pull Request - State: closed - Opened by 0xMushow 2 months ago - 1 comment

#629 - Automate lia more

Pull Request - State: closed - Opened by clarus 2 months ago

#628 - Draft: add more verification for the Sui type-checker

Pull Request - State: closed - Opened by clarus 2 months ago

#627 - Add option for translation to JSON

Pull Request - State: closed - Opened by clarus 3 months ago

#626 - Invariant abstract stack

Issue - State: closed - Opened by clarus 3 months ago - 1 comment
Labels: Move

#625 - Beginning of proof of the invariant on abstract stack

Pull Request - State: closed - Opened by clarus 3 months ago

#624 - Verify flattening of the abstract stack

Issue - State: closed - Opened by clarus 3 months ago
Labels: Move

#623 - Add admitted lemma for the Move type-checker

Pull Request - State: closed - Opened by clarus 3 months ago

#621 - suggestion: definition of 'binop_int'

Pull Request - State: open - Opened by clarus 4 months ago

#620 - move-sui: add simulation for the cast_u8 instruction

Pull Request - State: open - Opened by clarus 4 months ago

#619 - Draft: Complete interpreter instructions to the end

Pull Request - State: closed - Opened by Mushow 4 months ago

#617 - move-sui: fix remaining tests

Pull Request - State: closed - Opened by clarus 4 months ago

#616 - Complete interpreter instructions at the end

Issue - State: closed - Opened by clarus 4 months ago

#615 - move-sui: More simulations for verify

Pull Request - State: closed - Opened by clarus 4 months ago

#614 - Implementation of the VMControlFlowGraph's new function

Pull Request - State: closed - Opened by Mushow 4 months ago

#613 - Draft: experiments around stack semantics

Pull Request - State: open - Opened by clarus 4 months ago

#612 - Misc problems for `interpreter` simulation

Issue - State: open - Opened by InfiniteEchoes 5 months ago - 3 comments

#611 - Add an example of test in Coq for the type-checker

Pull Request - State: closed - Opened by clarus 5 months ago

#610 - Move - Simulations - Porting the type-checker's tests

Issue - State: closed - Opened by clarus 5 months ago - 2 comments
Labels: Move

#609 - clean: remove the old move/ folder to avoid confusion

Pull Request - State: closed - Opened by clarus 5 months ago

#608 - Draft: add links generation from JSON and Python

Pull Request - State: open - Opened by clarus 5 months ago
Labels: Move

#607 - `interpreter` simulation, part 2

Pull Request - State: closed - Opened by InfiniteEchoes 5 months ago - 1 comment

#603 - Add definition of links

Pull Request - State: closed - Opened by clarus 6 months ago

#100 - Gy@fix trait param @guillaume-claret

Pull Request - State: closed - Opened by clarus over 1 year ago

#100 - Gy@fix trait param @guillaume-claret

Pull Request - State: closed - Opened by clarus over 1 year ago

#99 - Add trait parameters to the record types during the translation

Pull Request - State: closed - Opened by dhilst over 1 year ago - 1 comment

#99 - Add trait parameters to the record types during the translation

Pull Request - State: closed - Opened by dhilst over 1 year ago - 1 comment

#98 - ci: re-order the modules in ink_env

Pull Request - State: closed - Opened by clarus over 1 year ago

#98 - ci: re-order the modules in ink_env

Pull Request - State: closed - Opened by clarus over 1 year ago

#97 - Add erc20 example

Pull Request - State: closed - Opened by clarus over 1 year ago

#97 - Add erc20 example

Pull Request - State: closed - Opened by clarus over 1 year ago

#96 - Handle `const _ = ...` expressions

Pull Request - State: closed - Opened by dhilst over 1 year ago - 2 comments

#96 - Handle `const _ = ...` expressions

Pull Request - State: closed - Opened by dhilst over 1 year ago - 2 comments

#95 - Remove the Definition unit

Issue - State: closed - Opened by clarus over 1 year ago - 1 comment
Labels: Ink! env library

#95 - Remove the Definition unit

Issue - State: closed - Opened by clarus over 1 year ago - 1 comment
Labels: Ink! env library

#94 - Only try to compile .rs files

Pull Request - State: closed - Opened by dhilst over 1 year ago

#94 - Only try to compile .rs files

Pull Request - State: closed - Opened by dhilst over 1 year ago

#93 - Named Type Parameters for Traits

Pull Request - State: closed - Opened by InfiniteEchoes over 1 year ago - 3 comments

#93 - Named Type Parameters for Traits

Pull Request - State: closed - Opened by InfiniteEchoes over 1 year ago - 3 comments

#92 - Inline the use of types

Pull Request - State: closed - Opened by clarus over 1 year ago

#92 - Inline the use of types

Pull Request - State: closed - Opened by clarus over 1 year ago

#91 - doc: update logo

Pull Request - State: closed - Opened by clarus over 1 year ago

#90 - Env: translate the Environment trait

Issue - State: closed - Opened by clarus over 1 year ago - 1 comment
Labels: Ink! env library

#90 - Env: translate the Environment trait

Issue - State: closed - Opened by clarus over 1 year ago - 1 comment
Labels: Ink! env library

#89 - Env: translate the caller function

Issue - State: closed - Opened by clarus over 1 year ago - 3 comments
Labels: Ink! env library

#89 - Env: translate the caller function

Issue - State: closed - Opened by clarus over 1 year ago - 3 comments
Labels: Ink! env library

#88 - Inline the use of types

Issue - State: closed - Opened by clarus over 1 year ago
Labels: Ink! env library

#88 - Inline the use of types

Issue - State: closed - Opened by clarus over 1 year ago
Labels: Ink! env library

#87 - Meta issue: translate ink! env library

Issue - State: closed - Opened by clarus over 1 year ago - 1 comment
Labels: Ink! env library

#87 - Meta issue: translate ink! env library

Issue - State: closed - Opened by clarus over 1 year ago - 1 comment
Labels: Ink! env library

#86 - Doc: add contribute file

Pull Request - State: closed - Opened by clarus over 1 year ago

#86 - Doc: add contribute file

Pull Request - State: closed - Opened by clarus over 1 year ago

#85 - Activate the monadic translation for cargo coq-of-rust

Pull Request - State: closed - Opened by clarus over 1 year ago

#85 - Activate the monadic translation for cargo coq-of-rust

Pull Request - State: closed - Opened by clarus over 1 year ago

#84 - ci: remove generated files

Pull Request - State: closed - Opened by clarus over 1 year ago

#84 - ci: remove generated files

Pull Request - State: closed - Opened by clarus over 1 year ago

#83 - Add ink examples

Pull Request - State: closed - Opened by clarus over 1 year ago - 1 comment

#83 - Add ink examples

Pull Request - State: closed - Opened by clarus over 1 year ago - 1 comment

#82 - Missing type argument in the translation

Issue - State: closed - Opened by dhilst over 1 year ago

#82 - Missing type argument in the translation

Issue - State: closed - Opened by dhilst over 1 year ago

#81 - Add Hash trait example

Pull Request - State: closed - Opened by dhilst over 1 year ago

#81 - Add Hash trait example

Pull Request - State: closed - Opened by dhilst over 1 year ago

#80 - Add ink examples

Issue - State: closed - Opened by clarus over 1 year ago - 1 comment

#80 - Add ink examples

Issue - State: closed - Opened by clarus over 1 year ago - 1 comment

#79 - Add definitions for the Rust std library

Pull Request - State: closed - Opened by clarus over 1 year ago

#79 - Add definitions for the Rust std library

Pull Request - State: closed - Opened by clarus over 1 year ago

#78 - Type Cow from borrow.v

Issue - State: closed - Opened by clarus over 1 year ago
Labels: rust library

#78 - Type Cow from borrow.v

Issue - State: closed - Opened by clarus over 1 year ago
Labels: rust library

#77 - Use named type parameters for traits

Issue - State: closed - Opened by clarus over 1 year ago - 4 comments
Labels: translation

#77 - Use named type parameters for traits

Issue - State: closed - Opened by clarus over 1 year ago - 4 comments
Labels: translation

#76 - Ink example 01 rebased stdlib

Pull Request - State: closed - Opened by dhilst over 1 year ago - 1 comment

#76 - Ink example 01 rebased stdlib

Pull Request - State: closed - Opened by dhilst over 1 year ago - 1 comment