Search results

IDE reports "Verification failed with 0 errors..." when there are only warnings

Status: Open.

#461 In viperproject/viper-ide;

· alexanderjsummers opened on Aug 28, 2024

Fix Test Abort Process Check

Status: Open.

#417 In viperproject/viper-ide;

· rayman2000 opened on Jan 25, 2024

Request: command to clear all Viper diagnostics

enhancementNew feature or requestNew feature or request

Status: Open.

#411 In viperproject/viper-ide;

· fpoli opened on Oct 20, 2023

Spurious verification reports

Status: Open.

#367 In viperproject/viper-ide;

· fpoli opened on Feb 9, 2023

Cache Serialization should be disabled by default

Status: Open.

#284 In viperproject/viper-ide;

· ArquintL opened on Jun 9, 2022

Augment "Terrible Error" error messages with more user-facing directions

enhancementNew feature or requestNew feature or request

Status: Open.

#247 In viperproject/viper-ide;

· alexanderjsummers opened on Apr 1, 2022

Show inferred triggers for quatifiers when not explicitly declared.

enhancementNew feature or requestNew feature or request

minor

Status: Open.

#107 In viperproject/viper-ide;

· viper-admin opened on Dec 11, 2019

Wrong file name in error messages

bugSomething isn't workingSomething isn't working

minor

Status: Open.

#103 In viperproject/viper-ide;

· viper-admin opened on May 20, 2019

If the backend sends a message in an unexpected format, fail explicitly

minor

task

Status: Open.

#94 In viperproject/viper-ide;

· viper-admin opened on Mar 12, 2018

Discuss how to report internal tool errors

major

task

Status: Open.

#93 In viperproject/viper-ide;

· viper-admin opened on Sep 25, 2017

Develop smarter interactions for Viper IDE

minor

proposal

Status: Open.

#85 In viperproject/viper-ide;

· viper-admin opened on Mar 21, 2017

Run tests in both single-file and workspace modes

minor

proposal

Status: Open.

#80 In viperproject/viper-ide;

· viper-admin opened on Mar 16, 2017