Search results

Better support for sequences

enhancementNew feature or requestNew feature or request

Status: Open.

#1363 In creusot-rs/creusot;

· jhjourdan opened on Feb 17, 2025

Remove snap_ty type from the prelude

enhancementNew feature or requestNew feature or request

Status: Open.

#1362 In creusot-rs/creusot;

· jhjourdan opened on Feb 17, 2025

Install script fails on MacoOS because there is a space in some path

bugSomething isn't workingSomething isn't working

toolchainInstallation, distribution, dependenciesInstallation, distribution, dependencies

Status: Open.

#1361 In creusot-rs/creusot;

· jhjourdan opened on Feb 17, 2025

Bitwise : add support for bitwise shifts and negation in pearlite

easy

enhancementNew feature or requestNew feature or request

pearliteImprove pearliteImprove pearlite

Status: Open.

#1360 In creusot-rs/creusot;

· jhjourdan opened on Feb 17, 2025

Make why3find and prelude installation independent of local switches

toolchainInstallation, distribution, dependenciesInstallation, distribution, dependencies

Status: Open.

#1359 In creusot-rs/creusot;

· Lysxia opened on Feb 14, 2025

Move installation script out of cargo-creusot

toolchainInstallation, distribution, dependenciesInstallation, distribution, dependencies

Status: Open.

#1358 In creusot-rs/creusot;

· Lysxia opened on Feb 14, 2025

install: Don't overwrite IDE settings in why3.conf

cargo-creusotIssue is related to the `cargo-creusot` and more generally the porcelain around creusotIssue is related to the `cargo-creusot` and more generally the porcelain around creusot

enhancementNew feature or requestNew feature or request

Status: Open.

#1349 In creusot-rs/creusot;

· Lysxia opened on Feb 7, 2025

Incorrect spans on loop invariant

bugSomething isn't workingSomething isn't working

Status: Open.

#1348 In creusot-rs/creusot;

· Lysxia opened on Feb 7, 2025

Make --test why3 display why3find status

internalImprove build-from-source and test-suiteImprove build-from-source and test-suite

Status: Open.

#1347 In creusot-rs/creusot;

· Lysxia opened on Feb 7, 2025

"intro" combinator for universal quantifiers

enhancementNew feature or requestNew feature or request

Status: Open.

#1343 In creusot-rs/creusot;

· Lysxia opened on Feb 5, 2025

#[open] functions and termination

enhancementNew feature or requestNew feature or request

Status: Open.

#1338 In creusot-rs/creusot;

· arnaudgolfouse opened on Feb 3, 2025

Debug implementation causes Creusot ICE

bugSomething isn't workingSomething isn't working

Status: Open.

#1337 In creusot-rs/creusot;

· xldenis opened on Feb 2, 2025