Check world (test F* + all subprojects) #336
Annotations
10 warnings
|
Build:
Hacl.Streaming.Blake2.Params.fst#L50
(285) * Warning 285 at /__w/FStar/FStar/hacl-star/code/streaming/Hacl.Streaming.Blake2.Params.fst(50,11-50,15):
- Module not found: Core
|
|
Build:
QUIC.Impl.Lemmas.fst#L300
(285) * Warning 285 at /__w/FStar/FStar/everquic-crypto/src/QUIC.Impl.Lemmas.fst(300,6-300,7):
- Module not found: B
|
|
Build:
QUIC.Impl.Lemmas.fst#L50
(285) * Warning 285 at /__w/FStar/FStar/everquic-crypto/src/QUIC.Impl.Lemmas.fst(50,6-50,7):
- Module not found: S
|
|
Build:
QUIC.Impl.Crypto.fst#L70
(285) * Warning 285 at /__w/FStar/FStar/everquic-crypto/src/QUIC.Impl.Crypto.fst(70,21-70,23):
- Module not found: U8
|
|
Build:
QUIC.Impl.Crypto.fst#L66
(285) * Warning 285 at /__w/FStar/FStar/everquic-crypto/src/QUIC.Impl.Crypto.fst(66,14-66,15):
- Module not found: B
|
|
Build:
dummy#L0
(321) * Warning 321:
- Did not expect module EverCrypt.CTR.Keys to be already checked.
- Found it in an unexpected location:
/__w/FStar/FStar/hacl-star/obj/EverCrypt.CTR.Keys.fsti.checked
instead of
/__w/FStar/FStar/everquic-crypto/obj/EverCrypt.CTR.Keys.fsti.checked
|
|
Build:
dummy#L0
(321) * Warning 321:
- Did not expect module EverCrypt.CTR.Keys to be already checked.
- Found it in an unexpected location:
/__w/FStar/FStar/hacl-star/obj/EverCrypt.CTR.Keys.fst.checked
instead of
/__w/FStar/FStar/everquic-crypto/obj/EverCrypt.CTR.Keys.fst.checked
|
|
Build:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'vale.' shadows module 'lib.meta' in file
"/__w/FStar/FStar/hacl-star/lib/Lib.Meta.fst".
- Rename "/__w/FStar/FStar/hacl-star/lib/Lib.Meta.fst" to avoid conflicts.
|
|
Build:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'spec.hash.' shadows module 'test' in file
"/__w/FStar/FStar/hacl-star/providers/test/Test.fsti, /__w/FStar/FStar/hacl-star/providers/test/Test.fst".
- Rename
"/__w/FStar/FStar/hacl-star/providers/test/Test.fsti, /__w/FStar/FStar/hacl-star/providers/test/Test.fst"
to avoid conflicts.
|
|
Build:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'model.' shadows module 'quic' in file
"src/QUIC.fsti, src/QUIC.fst".
- Rename "src/QUIC.fsti, src/QUIC.fst" to avoid conflicts.
|
Loading