epfl-lara/rust-stainless

Issues

• Mutable fields with generics

  #157 opened 4 years ago by yannbolliger
  1

• Mutable references

  #140 opened 4 years ago by yannbolliger
  2

• Infer if fields are mutated

  #99 opened 4 years ago by yannbolliger
  1

• Check soundness of clone erasure

  #136 opened 4 years ago by yannbolliger
  0

• Extract external trait signature for bounds/evidence args

  #143 opened 4 years ago by yannbolliger
  0

• Turn measure inference back on

  #86 opened 4 years ago by yannbolliger
  0

• Improve dependency management with Stainless

  #166 opened 3 years ago by yannbolliger
  0

• Extract std Option/Result and other commonly used ADTs

  #103 opened 3 years ago by yannbolliger
  2

• AntiAliasing limitation of consumed/owned `mut` params

  #154 opened 4 years ago by yannbolliger
  2

• Debug field mutability

  #150 opened 4 years ago by yannbolliger
  0

• Allow imports (`use`) statements

  #146 opened 4 years ago by yannbolliger
  0

• Stainless collection method names

  #144 opened 4 years ago by yannbolliger
  0

• Ignore Lifetimes

  #147 opened 4 years ago by yannbolliger
  0

• Add `ListMap` implementation to `libstainless`

  #133 opened 4 years ago by romac
  0

• Spec macro fails on `mut self` param

  #145 opened 4 years ago by yannbolliger
  0

• Extract external implementations

  #142 opened 4 years ago by yannbolliger
  0

• Extract type aliases

  #141 opened 4 years ago by yannbolliger
  0

• Provide runtime Set and Map implementations

  #117 opened 4 years ago by yannbolliger
  0

• Postcondition macro crashes when used on functions with no parameters

  #132 opened 4 years ago by yannbolliger
  0

• Extract `Set::contains`

  #129 opened 4 years ago by romac
  0

• Erase PartialEq::eq to Stainless equality

  #137 opened 4 years ago by yannbolliger
  0

• Add a Stainless Map to libstainless

  #118 opened 4 years ago by yannbolliger
  0

• Provide some helper to write implications in specs

  #119 opened 4 years ago by yannbolliger
  0

• Fix panic type for generic types/objects

  #115 opened 4 years ago by yannbolliger
  0

• Trait bounds on other traits AKA type class inheritance/composition

  #121 opened 4 years ago by yannbolliger
  0

• Reduce test and print verbosity

  #110 opened 4 years ago by yannbolliger
  0

• String operations

  #112 opened 4 years ago by yannbolliger
  0

• Make `cargo stainless` useable for stable Rust

  #113 opened 4 years ago by yannbolliger
  0

• Fix `cfg` flag conditional compilation of macros

  #114 opened 4 years ago by yannbolliger
  0

• String support

  #70 opened 4 years ago by yannbolliger
  1

• Reject return in pattern guards and if conditions

  #109 opened 4 years ago by yannbolliger
  0

• Extract early returns in functions

  #71 opened 4 years ago by yannbolliger
  0

• Extract PhantomData<T> as standard item

  #69 opened 4 years ago by yannbolliger
  0

• Add specs to abstract trait methods

  #85 opened 4 years ago by yannbolliger
  1

• Support for local imperative features

  #92 opened 4 years ago by romac
  1

• Support constants

  #73 opened 4 years ago by yannbolliger
  2

• Support trait bounds on regular impls

  #81 opened 4 years ago by yannbolliger
  0

• Support Struct Update Syntax

  #76 opened 4 years ago by yannbolliger
  0

• Support usize and isize types

  #75 opened 4 years ago by yannbolliger
  1

• Support invariants on data structures

  #83 opened 4 years ago by romac
  0

• Prove binary search's result

  #54 opened 4 years ago by yannbolliger
  0

• Report parsing errors in spec bodies/contracts

  #55 opened 4 years ago by yannbolliger
  0

• Remove the clippy attribute hack in macros

  #56 opened 4 years ago by yannbolliger
  1

• How to model/verify vectors?

  #72 opened 4 years ago by yannbolliger
  0

• Derivation of trait implementations

  #51 opened 4 years ago by yannbolliger
  0

• Support panics as expressions

  #82 opened 4 years ago by yannbolliger
  1

• Unify spec encoding for impl & fns

  #68 opened 4 years ago by yannbolliger
  0

• Support else if

  #77 opened 4 years ago by yannbolliger
  0

• Support type annotations in let-bindings

  #53 opened 4 years ago by yannbolliger
  0

• Support pattern match on tuples

  #50 opened 4 years ago by yannbolliger
  0