Check world (test F* + all subprojects) #8
Annotations
10 warnings
|
Build:
hacl-star/code/streaming/Hacl.Streaming.Blake2.Params.fst#L51
(285) * Warning 285 at /__w/FStar-1/FStar-1/hacl-star/code/streaming/Hacl.Streaming.Blake2.Params.fst(51,11-51,15):
- Module not found: Core
|
|
Build:
hacl-star/providers/evercrypt/fst/EverCrypt.Hash.fst#L290
(285) * Warning 285 at /__w/FStar-1/FStar-1/hacl-star/providers/evercrypt/fst/EverCrypt.Hash.fst(290,6-290,7):
- Module not found: M
|
|
Build:
dummy#L1
(242) * Warning 242:
- Not extracting __proj__TAC__item__return to KaRaMeL
|
|
Build:
dummy#L1
(242) * Warning 242:
- Not extracting __proj__TAC__item__bind to KaRaMeL
|
|
Build:
dummy#L1
(250) * Warning 250:
- Error while extracting FStar.Tactics.NamedView.close_term_n to KaRaMeL.
- Failure("Internal error: name not found aux\n")
|
|
Build:
dummy#L1
(250) * Warning 250:
- Error while extracting FStar.List.filter_map to KaRaMeL.
- Failure("Internal error: name not found filter_map_acc\n")
|
|
Build:
dummy#L1
(250) * Warning 250:
- Error while extracting FStar.List.index to KaRaMeL.
- Failure("Internal error: name not found index\n")
|
|
Build:
dummy#L1
(250) * Warning 250:
- Error while extracting LowStar.Monotonic.Buffer.mgcmalloc_of_list_partial to
KaRaMeL.
- Failure("Argument of FStar.Buffer.createL is not a list literal!")
|
|
Build:
dummy#L1
(250) * Warning 250:
- Error while extracting LowStar.ImmutableBuffer.ialloca_of_list to KaRaMeL.
- Failure("Argument of FStar.Buffer.createL is not a list literal!")
|
|
Build:
dummy#L1
(250) * Warning 250:
- Error while extracting LowStar.ImmutableBuffer.igcmalloc_of_list to KaRaMeL.
- Failure("Argument of FStar.Buffer.createL is not a list literal!")
|
Loading