search

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks
https://vehicle-lang.readthedocs.io/
Other
80 stars 7 forks source link

Removed variable type parameter from LinearExpr #855

Closed MatthewDaggitt closed 1 month ago

MatthewDaggitt commented 1 month ago

Second major refactoring coming out of mini-vehicle. Greatly simplifies the code, but does ever so slightly expand the size of the verification plan files.