Search results

Current issues of the plugin

Status: Open.

#21 In LeventErkok/sbvPlugin;

· LeventErkok opened on Apr 18, 2017

Add the ability to ask for satisfying variables, not just counterexamples

Status: Open.

#20 In LeventErkok/sbvPlugin;

· thoughtpolice opened on Apr 18, 2017

Accessing definitions in other modules

Status: Open.

#15 In LeventErkok/sbvPlugin;

· LeventErkok opened on Dec 22, 2015

Unexported bindings

Status: Open.

#1 In LeventErkok/sbvPlugin;

· LeventErkok opened on Nov 25, 2015