Closed alexkeizer closed 3 months ago
Update the toolchain to the latest nightly used by LeanSAT. This should include a fix for a memory leak we encountered with symbolic evaluation.
make all succeeds locally. I've not ran conformance testing, since I've not made any significant changes to the code itself.
make all
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.
Description:
Update the toolchain to the latest nightly used by LeanSAT. This should include a fix for a memory leak we encountered with symbolic evaluation.
Testing:
make allsucceeds locally. I've not ran conformance testing, since I've not made any significant changes to the code itself.License:
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.