Making program logic formulas memory-agnostic #3867

Job	Run time
EasyCrypt compilation (opam)	2m 45s
EasyCrypt compilation (nix)	1m 16s
Fetch EasyCrypt External Projects Matrix	4s
Check EasyCrypt Libraries (stdlib)	5m 37s
Check EasyCrypt Libraries (examples)	3m 23s
Check EasyCrypt Libraries (unit)	2m 52s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 38s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	4m 51s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 23s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	4m 59s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	2m 49s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	4m 10s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	4m 25s
Check EasyCrypt External Projects (set-status)	2s
Notification	0s
	44m 14s

Provide feedback