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
#612 - Misc problems for `interpreter` simulation
Issue -
State: open - Opened by InfiniteEchoes 12 days ago
- 3 comments
#611 - Add an example of test in Coq for the type-checker
Pull Request -
State: open - Opened by clarus 14 days ago
#610 - Move - Simulations - Porting the type-checker's tests
Issue -
State: open - Opened by clarus 14 days ago
Labels: Move
#609 - clean: remove the old move/ folder to avoid confusion
Pull Request -
State: closed - Opened by clarus 14 days ago
#608 - Draft: add links generation from JSON and Python
Pull Request -
State: open - Opened by clarus 16 days ago
Labels: Move
#607 - `interpreter` simulation, part 2
Pull Request -
State: closed - Opened by InfiniteEchoes 20 days ago
- 1 comment
#603 - Add definition of links
Pull Request -
State: closed - Opened by clarus 28 days ago
#100 - Gy@fix trait param @guillaume-claret
Pull Request -
State: closed - Opened by clarus about 1 year ago
#100 - Gy@fix trait param @guillaume-claret
Pull Request -
State: closed - Opened by clarus about 1 year ago
#99 - Add trait parameters to the record types during the translation
Pull Request -
State: closed - Opened by dhilst about 1 year ago
- 1 comment
#99 - Add trait parameters to the record types during the translation
Pull Request -
State: closed - Opened by dhilst about 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
#75 - Fix bug in top_level.rs
Pull Request -
State: closed - Opened by dhilst over 1 year ago
#75 - Fix bug in top_level.rs
Pull Request -
State: closed - Opened by dhilst over 1 year ago
#74 - WILL_DELETE_THIS_Compilation for derive Debug and println! for structs
Pull Request -
State: closed - Opened by klausnat over 1 year ago
#74 - WILL_DELETE_THIS_Compilation for derive Debug and println! for structs
Pull Request -
State: closed - Opened by klausnat over 1 year ago
#73 - Monadic transformation bare monad
Pull Request -
State: closed - Opened by clarus over 1 year ago
#73 - Monadic transformation bare monad
Pull Request -
State: closed - Opened by clarus over 1 year ago
#72 - Ink example 01
Pull Request -
State: closed - Opened by dhilst over 1 year ago
- 1 comment
#72 - Ink example 01
Pull Request -
State: closed - Opened by dhilst over 1 year ago
- 1 comment
#71 - Create a statements type
Pull Request -
State: closed - Opened by clarus over 1 year ago
#71 - Create a statements type
Pull Request -
State: closed - Opened by clarus over 1 year ago
#70 - Move .v files to the same folder
Pull Request -
State: closed - Opened by clarus over 1 year ago
#70 - Move .v files to the same folder
Pull Request -
State: closed - Opened by clarus over 1 year ago
#69 - Translate from.rs : issue #31
Pull Request -
State: closed - Opened by klausnat over 1 year ago
#69 - Translate from.rs : issue #31
Pull Request -
State: closed - Opened by klausnat over 1 year ago
#68 - Add translated modules in std crate
Pull Request -
State: closed - Opened by InfiniteEchoes over 1 year ago
- 2 comments
#67 - Experiments around the state monad
Pull Request -
State: closed - Opened by clarus over 1 year ago
- 1 comment
#67 - Experiments around the state monad
Pull Request -
State: closed - Opened by clarus over 1 year ago
- 1 comment
#66 - doc: add the intro document that was written
Pull Request -
State: closed - Opened by clarus over 1 year ago
#66 - doc: add the intro document that was written
Pull Request -
State: closed - Opened by clarus over 1 year ago
#65 - Monadic translation in rust code, part 1
Pull Request -
State: closed - Opened by dhilst over 1 year ago
- 3 comments
#65 - Monadic translation in rust code, part 1
Pull Request -
State: closed - Opened by dhilst over 1 year ago
- 3 comments
#64 - Add function application notation
Pull Request -
State: closed - Opened by dhilst over 1 year ago
#64 - Add function application notation
Pull Request -
State: closed - Opened by dhilst over 1 year ago
#63 - Monadic translation with a bare monad
Issue -
State: closed - Opened by clarus over 1 year ago
Labels: monadic translation
#63 - Monadic translation with a bare monad
Issue -
State: closed - Opened by clarus over 1 year ago
Labels: monadic translation
#62 - Use the (| |) notation for function calls
Issue -
State: closed - Opened by clarus over 1 year ago
- 1 comment
Labels: monadic translation
#62 - Use the (| |) notation for function calls
Issue -
State: closed - Opened by clarus over 1 year ago
- 1 comment
Labels: monadic translation
#61 - Add docs/TRANSLATION.md
Pull Request -
State: closed - Opened by dhilst over 1 year ago
- 1 comment
#61 - Add docs/TRANSLATION.md
Pull Request -
State: closed - Opened by dhilst over 1 year ago
- 1 comment
#60 - Meta issue: Make monadic transformation
Issue -
State: closed - Opened by clarus over 1 year ago
- 6 comments
Labels: monadic translation
#60 - Meta issue: Make monadic transformation
Issue -
State: closed - Opened by clarus over 1 year ago
- 6 comments
Labels: monadic translation
#59 - Updated files format according to comments
Pull Request -
State: closed - Opened by InfiniteEchoes over 1 year ago
- 1 comment
#59 - Updated files format according to comments
Pull Request -
State: closed - Opened by InfiniteEchoes over 1 year ago
- 1 comment
#58 - Add monadic translation
Pull Request -
State: closed - Opened by clarus over 1 year ago
- 1 comment
#58 - Add monadic translation
Pull Request -
State: closed - Opened by clarus over 1 year ago
- 1 comment
#57 - Add error messages for loops with label
Pull Request -
State: closed - Opened by clarus over 1 year ago
#57 - Add error messages for loops with label
Pull Request -
State: closed - Opened by clarus over 1 year ago
#56 - Add Imp to represent imperative source languages
Pull Request -
State: closed - Opened by dhilst over 1 year ago
- 1 comment
#56 - Add Imp to represent imperative source languages
Pull Request -
State: closed - Opened by dhilst over 1 year ago
- 1 comment
#55 - File Separation Experiment
Pull Request -
State: closed - Opened by InfiniteEchoes over 1 year ago
- 1 comment
#55 - File Separation Experiment
Pull Request -
State: closed - Opened by InfiniteEchoes over 1 year ago
- 1 comment
#54 - Add more error messages
Pull Request -
State: closed - Opened by clarus over 1 year ago
#54 - Add more error messages
Pull Request -
State: closed - Opened by clarus over 1 year ago
#53 - Snapshot the error messages in the tests
Pull Request -
State: closed - Opened by clarus over 1 year ago