Search results

Improper use of Boogie Graph class

Status: Open.

#40 In boogie-org/symbooglix;

· shazqadeer opened on Dec 13, 2019

Symbooglix missing a bug

Status: Open.

#31 In boogie-org/symbooglix;

· zvonimir opened on Jul 3, 2017

GlobalDeadDeclEliminationPass should remove unused procedures/implementations

enhancement

Status: Open.

#30 In boogie-org/symbooglix;

· delcypher opened on May 16, 2017

NotImplementedException: (_bvbuiltin not supported!

Status: Open.

#27 In boogie-org/symbooglix;

· liammachado opened on Apr 19, 2017

Support reporting reasons for solver responding with UNKNOWN

Status: Open.

#26 In boogie-org/symbooglix;

· delcypher opened on Apr 6, 2017

AssertionFailingException: Incorrect number of arguments

Status: Open.

#22 In boogie-org/symbooglix;

· sebastian-kunze opened on Oct 19, 2016

Investigate poor unit test performance

Status: Open.

#21 In boogie-org/symbooglix;

· delcypher opened on Aug 30, 2016

Investigate test failures with Mono 4.4.2

bug

Status: Open.

#20 In boogie-org/symbooglix;

· delcypher opened on Aug 30, 2016

Allow polymorphic map types created using type constructors

Status: Open.

#19 In boogie-org/symbooglix;

· delcypher opened on Aug 30, 2016

Split Symbooglix.dll

Status: Open.

#17 In boogie-org/symbooglix;

· delcypher opened on Mar 6, 2016

Examine inconsistency in ICST2016 results

Status: Open.

#16 In boogie-org/symbooglix;

· delcypher opened on Mar 5, 2016

Fix performance regression on SVCOMP benchmark suite

Status: Open.

#15 In boogie-org/symbooglix;

· delcypher opened on Mar 4, 2016