Search results

Support current Z3 versions + Use Z3_EXE (instead of Z3_PATH)

Status: Open.

#19 In viperproject/gobra-libs;

· dnezam opened on Apr 29, 2024

Replace "monomorphised" lemmas with generic versions

Status: Open.

#17 In viperproject/gobra-libs;

· jcp19 opened on Apr 29, 2024

Add opaque modifier

Status: Open.

#12 In viperproject/gobra-libs;

· dnezam opened on Feb 6, 2024

Implement seq to multiset related methods

enhancementNew feature or requestNew feature or request

Status: Open.

#10 In viperproject/gobra-libs;

· dnezam opened on Dec 8, 2023

Implement seq to set related methods

enhancementNew feature or requestNew feature or request

Status: Open.

#9 In viperproject/gobra-libs;

· dnezam opened on Dec 8, 2023