libcrux icon indicating copy to clipboard operation
libcrux copied to clipboard

Published 20 hours ago • verified publisher icon cryspen

Proofs misc setup improvements

Open W95Psp opened this issue 1 year ago • 1 comments
trafficstars

This PR has a bunch of improvements for the F* setup.

  • It's using the new Makefile I wrote for the tutorial, and that I improved yesterday evening for sandbox. Now F* caching is project-wide and should work.
  • Use only one dependency, workspace-wide, to hax-lib, so that we can actually run cargo update hax-lib
  • put the makefile at one place, and have proxy makefiles that just include them

W95Psp avatar Aug 13 '24 09:08 W95Psp

The output layout is much better, and rebuilding now starts where it left off.

mamonet avatar Aug 13 '24 10:08 mamonet

Seems like this was merged into https://github.com/cryspen/libcrux/pull/475

W95Psp avatar Aug 20 '24 06:08 W95Psp

https://github.com/cryspen/libcrux/pull/475 is now merged. Could you check if there were some changes here that did not make it into that PR? Otherwise, let's close this.

karthikbhargavan avatar Aug 20 '24 16:08 karthikbhargavan

Nice, let's close this, there are a few thing, gonna make another PR

W95Psp avatar Aug 23 '24 07:08 W95Psp