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

#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

#53 - Snapshot the error messages in the tests

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

#52 - More control flow operations

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

#52 - More control flow operations

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

#51 - More support for "concurrent-test" file

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

#51 - More support for "concurrent-test" file

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

#50 - doc: update the README with more sections

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

#50 - doc: update the README with more sections

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

#49 - feat: add translation of top-level constants

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

#49 - feat: add translation of top-level constants

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

#48 - feat: also translate the tests with the cli

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

#48 - feat: also translate the tests with the cli

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

#47 - Nat@struct unit

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

#47 - Nat@struct unit

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

#46 - Better support for the translation of patterns on variants

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

#46 - Better support for the translation of patterns on variants

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

#45 - replace IndexedField with Notation.Dot

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

#44 - Reorganize the Architecture of Coq Library

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

#43 - Wrongly parsed `_crate`

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

#42 - Add support for more examples

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

#41 - Added Rhs Support for Binary Operators

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

#40 - Compile traits/operator_overloading.v

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

#39 - Added binary ops except AND and OR

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

#38 - Avoid the generation of useless class instances for associated functions

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

#37 - More for the traits

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

#36 - parsing_a_string little progress

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

#35 - guessing game translation

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

#34 - Translate try_from_and_try_into.rs

Issue - State: closed - Opened by clarus over 1 year ago
Labels: example files

#33 - Translate parsing_a_string.rs

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

#32 - Translate into.rs

Issue - State: closed - Opened by clarus over 1 year ago
Labels: example files

#31 - Translate from.rs

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

#30 - Translate converting_to_string.rs

Issue - State: closed - Opened by clarus over 1 year ago - 2 comments
Labels: example files

#29 - Translate the file concurrent_tests.rs

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

#28 - Translate dead_code.rs

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

#27 - Fix/Suppress the warnings in the examples

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

#26 - Add support for the traits.rs example

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

#25 - Add license for the Coq library

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

#24 - More work on the examples with traits

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

#23 - More change to help the translation of the SPL

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

#22 - More translation

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

#21 - More on methods

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

#20 - Use a restricted set of contructs for formatting

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

#19 - Add Coq to the CI

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

#18 - Feat/replace a self with a corresponding type

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

#17 - Experiments with the translation of methods

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

#16 - Replace a `Self` with a corresponding type.

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

#15 - Rust book examples

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

#14 - Feat/translation of methods

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

#12 - Add subtle test

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

#11 - CLI and library interface

Pull Request - State: closed - Opened by dphov almost 2 years ago - 1 comment

#10 - Delete LCENSE

Pull Request - State: closed - Opened by dphov almost 2 years ago

#9 - Create LICENSE

Pull Request - State: closed - Opened by dphov almost 2 years ago

#8 - Compiling more items 1

Pull Request - State: closed - Opened by pierrevial almost 2 years ago - 1 comment

#7 - Translate the type definitions

Issue - State: closed - Opened by clarus almost 2 years ago - 1 comment

#6 - Indentation

Pull Request - State: closed - Opened by dphov almost 2 years ago

#5 - Producing .v files

Pull Request - State: closed - Opened by pierrevial almost 2 years ago

#4 - Adding some doc to main.rs

Pull Request - State: closed - Opened by pierrevial almost 2 years ago

#3 - Import examples from the "Rust by Examples" guide

Issue - State: closed - Opened by clarus almost 2 years ago - 2 comments

#2 - Create example folder

Issue - State: closed - Opened by clarus almost 2 years ago - 1 comment

#1 - Create rust.yml CI file

Pull Request - State: closed - Opened by clarus almost 2 years ago