-
- update handwritten Lib_RandomSequence to latest F* - update README to avoid installing all of everest - use run-with-log makefile helper, from HACL*, to provide better makefile output
138ef7e7
- update handwritten Lib_RandomSequence to latest F* - update README to avoid installing all of everest - use run-with-log makefile helper, from HACL*, to provide better makefile output