Search results

Relax the need to have full bounds on the loss function backend

bindings:pythonAnything that concerns the Python bindings to VehicleAnything that concerns the Python bindings to Vehicle

compiler:loss-backend

Status: Open.

Feature

#1041 In vehicle-lang/vehicle;

· MatthewDaggitt opened on Dec 18, 2025

List of updates needed to syntax highlighter

enhancementNew feature or requestNew feature or request

Status: Open.

Task

#1010 In vehicle-lang/vehicle;

· MatthewDaggitt opened on Dec 2, 2025

Add checks for the type of objects passed to loss functions

bindings:pythonAnything that concerns the Python bindings to VehicleAnything that concerns the Python bindings to Vehicle

Status: Open.

Task

#1007 In vehicle-lang/vehicle;

· ggustavs opened on Dec 1, 2025

Fix test_lossdl2_exec.py when compiler is fixed

bindings:pythonAnything that concerns the Python bindings to VehicleAnything that concerns the Python bindings to Vehicle

Status: Open.

Task

#1005 In vehicle-lang/vehicle;

· ggustavs opened on Nov 28, 2025

Bracket precedence in Rocq backend

bindings:rocqAnything that concerns the Rocq bindings to VehicleAnything that concerns the Rocq bindings to Vehicle

Status: Open.

Bug

#998 In vehicle-lang/vehicle;

· lstrsrmn opened on Nov 21, 2025

Bug in Decidability type system

compiler:itp-backend

Status: Open.

Bug

#997 In vehicle-lang/vehicle;

· MatthewDaggitt opened on Nov 19, 2025

Vehicle does not generate output via the Python API

bindings:pythonAnything that concerns the Python bindings to VehicleAnything that concerns the Python bindings to Vehicle

Status: Open.

Bug

#990 In vehicle-lang/vehicle;

· wenkokke opened on Nov 9, 2025

Poor typing error for overloaded literals

compiler:errors

Status: Open.

Bug

#976 In vehicle-lang/vehicle;

· MatthewDaggitt opened on Oct 21, 2025

Error when you change <code>forall</code> to <code>exists</code> in robustness spec

compiler:verifier-backend

Status: Open.

Bug

#975 In vehicle-lang/vehicle;

· MatthewDaggitt opened on Oct 16, 2025

Parsing error with <code>if</code> and <code>=&gt;</code>

compiler:other

Status: Open.

Bug

#974 In vehicle-lang/vehicle;

· MatthewDaggitt opened on Oct 14, 2025

Implement transitive bounds checking

compiler:verifier-backend

Status: Open.

Feature

#973 In vehicle-lang/vehicle;

· MatthewDaggitt opened on Oct 13, 2025

Slow compilation for channel-last specs

compiler:verifier-backend

performance

Status: Open.

Bug

#971 In vehicle-lang/vehicle;

· MatthewDaggitt opened on Oct 8, 2025