You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently Cozy uses the concretization functions produced by query synthesis to implement constructors on the data structure. However, the concretization functions are optmized for AST size, not for performance, so the constructor implementations can be extremely slow.
The code in high_level_interface.py should manage some additional query synthesis threads that optimize the concretization functions for runtime performance. The change will also likely need to add constructor information to impls.py.
The text was updated successfully, but these errors were encountered:
Currently Cozy uses the concretization functions produced by query synthesis to implement constructors on the data structure. However, the concretization functions are optmized for AST size, not for performance, so the constructor implementations can be extremely slow.
The code in
high_level_interface.py
should manage some additional query synthesis threads that optimize the concretization functions for runtime performance. The change will also likely need to add constructor information toimpls.py
.The text was updated successfully, but these errors were encountered: