Making program logic formulas memory-agnostic #3931

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

Provide feedback