search

tweag / cooked-validators

MIT License
39 stars 11 forks source link

Update to hls 1.8.0 #170

Closed florentc closed 1 year ago

florentc commented 1 year ago

This addresses #162 This is a pinnning update of the nix repos and an update to use hls version 1.8.0. A patch was applied to the previous version. It is not compatible nor applied on the new one. Basic usage seems to work but further review is required before merging.

florentc commented 1 year ago

Given the incoming in-depth redesign of our nix setup that we have started to tackle, this PR becomes irrelevant.