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

#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 almost 2 years ago - 1 comment

#67 - Experiments around the state monad

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

#66 - doc: add the intro document that was written

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

#66 - doc: add the intro document that was written

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

#65 - Monadic translation in rust code, part 1

Pull Request - State: closed - Opened by dhilst almost 2 years ago - 3 comments

#65 - Monadic translation in rust code, part 1

Pull Request - State: closed - Opened by dhilst almost 2 years ago - 3 comments

#64 - Add function application notation

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

#64 - Add function application notation

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

#63 - Monadic translation with a bare monad

Issue - State: closed - Opened by clarus almost 2 years ago
Labels: monadic translation

#63 - Monadic translation with a bare monad

Issue - State: closed - Opened by clarus almost 2 years ago
Labels: monadic translation

#62 - Use the (| |) notation for function calls

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

#62 - Use the (| |) notation for function calls

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

#61 - Add docs/TRANSLATION.md

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

#61 - Add docs/TRANSLATION.md

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

#60 - Meta issue: Make monadic transformation

Issue - State: closed - Opened by clarus almost 2 years ago - 6 comments
Labels: monadic translation

#60 - Meta issue: Make monadic transformation

Issue - State: closed - Opened by clarus almost 2 years ago - 6 comments
Labels: monadic translation

#59 - Updated files format according to comments

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

#59 - Updated files format according to comments

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

#58 - Add monadic translation

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

#58 - Add monadic translation

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

#57 - Add error messages for loops with label

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

#57 - Add error messages for loops with label

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

#56 - Add Imp to represent imperative source languages

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

#56 - Add Imp to represent imperative source languages

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

#55 - File Separation Experiment

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

#55 - File Separation Experiment

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

#54 - Add more error messages

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

#54 - Add more error messages

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

#53 - Snapshot the error messages in the tests

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

#53 - Snapshot the error messages in the tests

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

#52 - More control flow operations

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

#52 - More control flow operations

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

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

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

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

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

#50 - doc: update the README with more sections

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

#50 - doc: update the README with more sections

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

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

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

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

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

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

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

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

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

#47 - Nat@struct unit

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

#47 - Nat@struct unit

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

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

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

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

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

#45 - replace IndexedField with Notation.Dot

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

#44 - Reorganize the Architecture of Coq Library

Issue - State: closed - Opened by InfiniteEchoes almost 2 years ago - 1 comment
Labels: rust library

#43 - Wrongly parsed `_crate`

Issue - State: closed - Opened by InfiniteEchoes almost 2 years ago - 1 comment
Labels: rust library

#42 - Add support for more examples

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

#41 - Added Rhs Support for Binary Operators

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

#40 - Compile traits/operator_overloading.v

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

#39 - Added binary ops except AND and OR

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

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

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

#37 - More for the traits

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

#36 - parsing_a_string little progress

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

#35 - guessing game translation

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

#34 - Translate try_from_and_try_into.rs

Issue - State: closed - Opened by clarus almost 2 years ago
Labels: example files

#33 - Translate parsing_a_string.rs

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

#32 - Translate into.rs

Issue - State: closed - Opened by clarus almost 2 years ago
Labels: example files

#31 - Translate from.rs

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

#30 - Translate converting_to_string.rs

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

#29 - Translate the file concurrent_tests.rs

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

#28 - Translate dead_code.rs

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

#27 - Fix/Suppress the warnings in the examples

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

#26 - Add support for the traits.rs example

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

#25 - Add license for the Coq library

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

#24 - More work on the examples with traits

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

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

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

#22 - More translation

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

#21 - More on methods

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

#20 - Use a restricted set of contructs for formatting

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

#19 - Add Coq to the CI

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

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

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

#17 - Experiments with the translation of methods

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

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

Issue - State: closed - Opened by dphov almost 2 years ago

#15 - Rust book examples

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

#14 - Feat/translation of methods

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

#13 - fix: add pipeline to replace dollar in string, to make a valid coq name string

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

#12 - Add subtle test

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

#11 - CLI and library interface

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

#10 - Delete LCENSE

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

#9 - Create LICENSE

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

#8 - Compiling more items 1

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

#7 - Translate the type definitions

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

#6 - Indentation

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

#5 - Producing .v files

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

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