Search results

Improve dependency management with Stainless

enhancementImprovement to an existing featureImprovement to an existing feature

Status: Open.

#166 In epfl-lara/rust-stainless;

· yannbolliger opened on Jul 7, 2021

Mutable fields with generics

enhancementImprovement to an existing featureImprovement to an existing feature

extractionFeature or bug with the extraction phaseFeature or bug with the extraction phase

imperativeFeature or bug related to imperative featuresFeature or bug related to imperative features

Status: Open.

#157 In epfl-lara/rust-stainless;

· yannbolliger opened on May 6, 2021

Ignore Lifetimes

extractionFeature or bug with the extraction phaseFeature or bug with the extraction phase

low prio

Status: Open.

#147 In epfl-lara/rust-stainless;

· yannbolliger opened on Apr 22, 2021

Extract external trait signature for bounds/evidence args

extractionFeature or bug with the extraction phaseFeature or bug with the extraction phase

featureSomething needs to be addedSomething needs to be added

Status: Open.

#143 In epfl-lara/rust-stainless;

· yannbolliger opened on Apr 22, 2021

Extract external implementations

extractionFeature or bug with the extraction phaseFeature or bug with the extraction phase

featureSomething needs to be addedSomething needs to be added

Status: Open.

#142 In epfl-lara/rust-stainless;

· yannbolliger opened on Apr 22, 2021

Extract type aliases

Status: Open.

#141 In epfl-lara/rust-stainless;

· yannbolliger opened on Apr 21, 2021

Mutable references

featureSomething needs to be addedSomething needs to be added

imperativeFeature or bug related to imperative featuresFeature or bug related to imperative features

Status: Open.

#140 In epfl-lara/rust-stainless;

· yannbolliger opened on Apr 16, 2021

Erase PartialEq::eq to Stainless equality

enhancementImprovement to an existing featureImprovement to an existing feature

extractionFeature or bug with the extraction phaseFeature or bug with the extraction phase

Status: Open.

#137 In epfl-lara/rust-stainless;

· yannbolliger opened on Apr 15, 2021

Check soundness of clone erasure

enhancementImprovement to an existing featureImprovement to an existing feature

imperativeFeature or bug related to imperative featuresFeature or bug related to imperative features

Status: Open.

#136 In epfl-lara/rust-stainless;

· yannbolliger opened on Apr 15, 2021

Add <code>ListMap</code> implementation to <code>libstainless</code>

extractionFeature or bug with the extraction phaseFeature or bug with the extraction phase

featureSomething needs to be addedSomething needs to be added

Status: Open.

#133 In epfl-lara/rust-stainless;

· romac opened on Apr 15, 2021

Trait bounds on other traits AKA type class inheritance/composition

Status: Open.

#121 In epfl-lara/rust-stainless;

· yannbolliger opened on Mar 29, 2021

Make <code>cargo stainless</code> useable for stable Rust

enhancementImprovement to an existing featureImprovement to an existing feature

extractionFeature or bug with the extraction phaseFeature or bug with the extraction phase

Status: Open.

#113 In epfl-lara/rust-stainless;

· yannbolliger opened on Mar 23, 2021