Making program logic formulas memory-agnostic #3874

Job	Run time
EasyCrypt compilation (nix)	1m 23s
EasyCrypt compilation (opam)	2m 46s
Fetch EasyCrypt External Projects Matrix	3s
Check EasyCrypt Libraries (examples)	3m 28s
Check EasyCrypt Libraries (unit)	2m 45s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	4m 37s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	5m 29s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 21s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 42s
Check EasyCrypt Libraries (stdlib)	6m 2s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	2m 48s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	6m 7s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	5m 35s
Check EasyCrypt External Projects (set-status)	3s
Notification	-1s
	48m 8s

Provide feedback