champignoom

It would require the `std::expected` (see https://github.com/jbeder/yaml-cpp/issues/696) which is not likely to arrive within years.

This issue should be closed, as `string split0` already does what the proposed `string join \n` does. What needs to be done is to improve the documentation of `string split`...

Why the off-topic mark? Is this feature already in the to-do list? It would not be a decent feature if one has to investigate which one among `string join \n`,...

Mapping each ScrollWheel events to `/` will make the scrolling in a constant slow speed. A better way would be to first count the number of incoming ScrollWheel events, calculate...

Looks like it's fixed.

> Should I delete all lines which contain CJK Compatibility Ideographs from both tables? > In case of wubi-haifeng86.txt, this would mean deleting ... (and all the other lines containing...

The problem seems to be reproduced only when `creusot_contracts::*` is not used, so: ```rust extern crate creusot_contracts; use creusot_contracts::*; fn main() { // proof_assert!(true); let a = 9811111i32; let b...

Tried in vain. And it's becoming weirder. It looks like the problem is only reproduced when using vscode to edit the source. If I edit it with `sed -i` or...

OK, I'm not sure why but `touch src/main.rs && cargo creusot` fixes the problem.

According to the result of`stat src/main.rs`, vscode does update the atime and ctime when `src/main.rs` is edited, so `touch src/main.rs` shouldn't have made that much of a difference. I'm not...