feat(unroll-for): propagate constants after unrolling #4391

Job	Run time
Fetch EasyCrypt External Projects Matrix	4s
EasyCrypt compilation (opam)	2m 55s
EasyCrypt compilation (nix)	1m 42s
Check EasyCrypt Libraries (stdlib)	6m 29s
Check EasyCrypt External Projects (xmss-security, https://github.com/formosa-crypto/formosa-xmss,...	9m 33s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 23s
Check EasyCrypt Libraries (unit)	4m 1s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 33s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	17m 31s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	14m 44s
Check EasyCrypt Libraries (examples)	5m 33s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 46s
Check EasyCrypt External Projects (set-status)	3s
Notification	4s
	1h 13m 21s

Navigation Menu