Search results

Access counter examples and property specific results

enhancementNew feature or requestNew feature or request

Status: Open.

#892 In vehicle-lang/vehicle;

·developing-ar openedon May 4, 2025

AST load function does not parse JSON

backend:loss

Status: Open.

#886 In vehicle-lang/vehicle;

·Allenator1 openedon Apr 16, 2025

Can't compare network outputs

backend:verifiers

bugSomething isn't workingSomething isn't working

Status: Open.

#878 In vehicle-lang/vehicle;

·ckessler2 openedon Mar 24, 2025

Extend stable Python API

pythonPull requests that update Python codePull requests that update Python code

Status: Open.

#877 In vehicle-lang/vehicle;

·developing-ar openedon Mar 19, 2025

--json option is not displayed in --help

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#875 In vehicle-lang/vehicle;

·Allenator1 openedon Mar 5, 2025

Marabou does not seem to respect timeout sometimes

bugSomething isn't workingSomething isn't working

upstream

Status: Open.

#874 In vehicle-lang/vehicle;

·tflinkow openedon Jan 23, 2025

Improve error message for <code>incorrectTensorLength</code> test

bugSomething isn't workingSomething isn't working

error-messages

Status: Open.

#863 In vehicle-lang/vehicle;

·MatthewDaggitt openedon Nov 26, 2024

Switch to tensor based front-end language

refactoring

Status: Open.

#860 In vehicle-lang/vehicle;

·MatthewDaggitt openedon Nov 7, 2024

Division by zero error in <code>issue714</code> test

bugSomething isn't workingSomething isn't working

test-suite

Status: Open.

#853 In vehicle-lang/vehicle;

·MatthewDaggitt openedon Oct 15, 2024

Add a loop optimisation pass

backend:verifiers

enhancementNew feature or requestNew feature or request

Status: Open.

#847 In vehicle-lang/vehicle;

·MatthewDaggitt openedon Sep 25, 2024

Inconsistent quantifier type-class solutions

bugSomething isn't workingSomething isn't working

compiler:type-checker

Status: Open.

#837 In vehicle-lang/vehicle;

·MatthewDaggitt openedon Aug 19, 2024

Give feedback when <code>check</code> finishes successfully

Status: Open.

#830 In vehicle-lang/vehicle;

·MatthewDaggitt openedon Jul 30, 2024