Search results

Outline blocks

enhancementNew feature or requestNew feature or request

performance

Status: Open.

#1253 In viperproject/prusti-dev;

· fpoli opened on Nov 30, 2022

Slow (5m) verification of (incomplete) bubble sort

documentation

performance

Status: Open.

#1243 In viperproject/prusti-dev;

· safinaskar opened on Nov 19, 2022

Encode pure expressions using let expressions

enhancementNew feature or requestNew feature or request

performance

Status: Open.

#862 In viperproject/prusti-dev;

· fpoli opened on Feb 15, 2022

Parallelized Verification

performance

Status: Open.

#857 In viperproject/prusti-dev;

· emlaufer opened on Feb 10, 2022

Memory crash during Prusti encoding step

performance

Status: Open.

#854 In viperproject/prusti-dev;

· Pointerbender opened on Feb 9, 2022

<code>verify/pass/arrays/{merge,selection_sort}.rs</code> timeout issue

performance

Status: Open.

#819 In viperproject/prusti-dev;

· Pointerbender opened on Jan 7, 2022

ASSERT_TIMEOUT=0 not properly passed to Viper?

performance

Status: Open.

#721 In viperproject/prusti-dev;

· Pointerbender opened on Oct 18, 2021

Avoid calling compute_definitely_initialized multiple times

enhancementNew feature or requestNew feature or request

performance

Status: Open.

#101 In viperproject/prusti-dev;

· fpoli opened on Jul 3, 2020

cargo-prusti on 033_unicode-normalization uses too much memory

performance

Status: Open.

#77 In viperproject/prusti-dev;

· fpoli opened on Jun 23, 2020