Search results

Add tests submodule

Status: Open.

#163 In Whiley/Whiley2Boogie;

· DavePearce opened on Aug 11, 2022

Check Property Preconditions

enhancementNew feature or requestNew feature or request

Status: Open.

#162 In Whiley/Whiley2Boogie;

· DavePearce opened on Jun 10, 2022

Boogie Backend Redesign

Status: Open.

#153 In Whiley/Whiley2Boogie;

· DavePearce opened on May 12, 2022

Missing Invariant Checks for Casts

bugSomething isn't workingSomething isn't working

Status: Open.

#148 In Whiley/Whiley2Boogie;

· DavePearce opened on May 10, 2022

Counterexample Generation

Status: Open.

#144 In Whiley/Whiley2Boogie;

· DavePearce opened on Apr 21, 2022

Enable choice over verifying external code

enhancementNew feature or requestNew feature or request

Status: Open.

#143 In Whiley/Whiley2Boogie;

· DavePearce opened on Mar 16, 2022

Representing MultiSets

enhancementNew feature or requestNew feature or request

Status: Open.

#136 In Whiley/Whiley2Boogie;

· DavePearce opened on Nov 19, 2021

Method Calls in Loops

bugSomething isn't workingSomething isn't working

Status: Open.

#134 In Whiley/Whiley2Boogie;

· DavePearce opened on Nov 12, 2021

Problem with array::append

bugSomething isn't workingSomething isn't working

Status: Open.

#132 In Whiley/Whiley2Boogie;

· DavePearce opened on Nov 10, 2021

Finding Triggers

Status: Open.

#131 In Whiley/Whiley2Boogie;

· DavePearce opened on Nov 5, 2021

Trigger Discovery

enhancementNew feature or requestNew feature or request

Status: Open.

#129 In Whiley/Whiley2Boogie;

· DavePearce opened on Oct 26, 2021

Recursive Variants

bugSomething isn't workingSomething isn't working

Status: Open.

#128 In Whiley/Whiley2Boogie;

· DavePearce opened on Oct 18, 2021