Search results

Desugar chained inequalities to <code>let</code>s

compiler:other

enhancementNew feature or requestNew feature or request

Status: Open.

#894 In vehicle-lang/vehicle;

· MatthewDaggitt opened on May 13, 2025

Access counter examples and property specific results

enhancementNew feature or requestNew feature or request

Status: Open.

#892 In vehicle-lang/vehicle;

· developing-ar opened on May 4, 2025

AST load function does not parse JSON

backend:loss

Status: Open.

#886 In vehicle-lang/vehicle;

· Allenator1 opened on 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 opened on 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 opened on 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 opened on 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 opened on 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 opened on Nov 26, 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 opened on 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 opened on Sep 25, 2024

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

Status: Open.

#830 In vehicle-lang/vehicle;

· MatthewDaggitt opened on Jul 30, 2024

Roadmap to training

Status: Open.

#810 In vehicle-lang/vehicle;

· wenkokke opened on Apr 20, 2024