Improved performance of compilation to queries

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks

https://vehicle-lang.readthedocs.io/

Other

81 stars 7 forks source link

Closed MatthewDaggitt closed 9 months ago

MatthewDaggitt commented 9 months ago

Recovers some of the performance hit incurred by recent changes to the compilation algorithm

Eagerly distribute At over vector ops instead of evaluating the whole vectors.
Refactor unblocking into two separate functions, one for boolean expressions and one for rationals.