Mathis Wellmann comments

Results 8 comments of


                                            Mathis Wellmann

Support for `+<toolchain>` rustup feature

> I'm having issues with `cargo fmt` as well and I think it might be related to this. When I invoke `rustfmt` directly, I (correctly) get the nightly version, but...

[Feature] Reflect exit status instead of `Down` status

Sounds good. I may find some time this week to create a PR :+1:

Interest to work upon FRAMA

Hi, I appreciate your interest in the project. It is actively maintained and used on a daily basis in various projects downstream. The FRAMA as described by John Ehlers is...

Instantaneous Trend Jhon Ehlers

Hi, I'm glad you like the repository and that it provides useful features to you. Due to time constraints I was not yet able to implement every single indicator from...

Where is this smoothPeriod being used ?

Hi, You are correct, it is not used for anything in the original paper and therefore my code as well. I suppose it should be removed

Internal compiler panic when using Rust's native `PartialEq` derive macro

First the minimal example to reproduce this issue can be found here: https://github.com/MathisWellmann/creusot_test Everything in `lib.rs` works and can be proven with `cargo creusot prove`, but when adding the `smol_currency`...

Internal compiler panic when using Rust's native `PartialEq` derive macro

Thanks for the quick resonse. After changing `PartialEq` derive to `creusot_contracts::prelude::PartialEq` and also deriving `creusot_contracts::model::DeepModel`, with a `Sized` bound and using `use creusot_contracts::{logic, prelude::ensures, open}` like this: ```rust use creusot_contracts::{logic,...

Internal compiler panic when using Rust's native `PartialEq` derive macro

Thanks for the input and the PR fix