Massive rewrite of how query compilation works

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks

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

Other

81 stars 7 forks source link

Massive rewrite of how query compilation works #764

Closed MatthewDaggitt closed 10 months ago

MatthewDaggitt commented 10 months ago

Still not quite as performant as the old version but running out of time for the paper, so this will have to do for now. Will tweak before releasing v0.12.

Fixes https://github.com/vehicle-lang/vehicle/issues/436 https://github.com/vehicle-lang/vehicle/issues/86