[parser]: support for hex literals #4418

Job	Run time
EasyCrypt compilation (opam)	1m 30s
Fetch EasyCrypt External Projects Matrix	4s
EasyCrypt compilation (nix)	1m 35s
Check EasyCrypt Libraries (examples)	4m 1s
Check EasyCrypt Libraries (stdlib)	4m 57s
Check EasyCrypt Libraries (unit)	2m 29s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 33s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	2m 3s
Check EasyCrypt External Projects (xmss-security, https://github.com/formosa-crypto/formosa-xmss,...	7m 43s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	13m 19s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	14m 48s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	1m 53s
Check EasyCrypt External Projects (set-status)	3s
Notification	5s
	57m 3s

Navigation Menu