Skip to content

Issues: epfl-lara/rust-stainless

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

29 Open 37 Closed
29 Open 37 Closed
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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Improve dependency management with Stainless enhancement Improvement to an existing feature
#166 opened Jul 7, 2021 by yannbolliger
Mutable fields with generics enhancement Improvement to an existing feature extraction Feature or bug with the extraction phase imperative Feature or bug related to imperative features
#157 opened May 6, 2021 by yannbolliger
2
1
Ignore Lifetimes extraction Feature or bug with the extraction phase low prio
#147 opened Apr 22, 2021 by yannbolliger
Extract external trait signature for bounds/evidence args extraction Feature or bug with the extraction phase feature Something needs to be added
#143 opened Apr 22, 2021 by yannbolliger
Extract external implementations extraction Feature or bug with the extraction phase feature Something needs to be added
#142 opened Apr 22, 2021 by yannbolliger
Extract type aliases
#141 opened Apr 21, 2021 by yannbolliger
Mutable references feature Something needs to be added imperative Feature or bug related to imperative features
#140 opened Apr 16, 2021 by yannbolliger
1
2
Erase PartialEq::eq to Stainless equality enhancement Improvement to an existing feature extraction Feature or bug with the extraction phase
#137 opened Apr 15, 2021 by yannbolliger
Check soundness of clone erasure enhancement Improvement to an existing feature imperative Feature or bug related to imperative features
#136 opened Apr 15, 2021 by yannbolliger
1 task
Add ListMap implementation to libstainless extraction Feature or bug with the extraction phase feature Something needs to be added
#133 opened Apr 15, 2021 by romac
Trait bounds on other traits AKA type class inheritance/composition
#121 opened Mar 29, 2021 by yannbolliger
1
Make cargo stainless useable for stable Rust enhancement Improvement to an existing feature extraction Feature or bug with the extraction phase
#113 opened Mar 23, 2021 by yannbolliger
String operations extraction Feature or bug with the extraction phase feature Something needs to be added
#112 opened Mar 20, 2021 by yannbolliger
3 tasks
Reduce test and print verbosity enhancement Improvement to an existing feature extraction Feature or bug with the extraction phase
#110 opened Mar 19, 2021 by yannbolliger
1 of 3 tasks
Reject return in pattern guards and if conditions enhancement Improvement to an existing feature extraction Feature or bug with the extraction phase
#109 opened Mar 18, 2021 by yannbolliger
Infer if fields are mutated enhancement Improvement to an existing feature feature Something needs to be added imperative Feature or bug related to imperative features
#99 opened Mar 4, 2021 by yannbolliger
2
1
Support for local imperative features extraction Feature or bug with the extraction phase feature Something needs to be added imperative Feature or bug related to imperative features
#92 opened Mar 1, 2021 by romac
5 of 9 tasks
1
Turn measure inference back on enhancement Improvement to an existing feature
#86 opened Feb 20, 2021 by yannbolliger
2
Support invariants on data structures extraction Feature or bug with the extraction phase feature Something needs to be added
#83 opened Feb 17, 2021 by romac
Support constants extraction Feature or bug with the extraction phase feature Something needs to be added
#73 opened Feb 12, 2021 by yannbolliger
2
How to model/verify vectors? feature Something needs to be added verification Feature or bug with the verification phase
#72 opened Feb 11, 2021 by yannbolliger
Remove the clippy attribute hack in macros enhancement Improvement to an existing feature
#56 opened Jan 5, 2021 by yannbolliger
1
Report parsing errors in spec bodies/contracts enhancement Improvement to an existing feature
#55 opened Dec 3, 2020 by yannbolliger
Prove binary search's result verification Feature or bug with the verification phase
#54 opened Dec 3, 2020 by yannbolliger
Derivation of trait implementations extraction Feature or bug with the extraction phase feature Something needs to be added
#51 opened Nov 18, 2020 by yannbolliger
ProTip! Exclude everything labeled bug with -label:bug.