search

vehicle-lang / vehicle

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

Remove `ConsVector` builtin #710

Closed MatthewDaggitt closed 1 year ago

MatthewDaggitt commented 1 year ago

Was needed to implement mappings over vectors, but that is now a native builtin so we can drop support for this one. Doesn't fit the computation model well.