Andrius Štikonas 56e46db72d Use ceil_div function in collect_local. il y a 1 mois
..
hello-aarch64.sh 1f7119afe2 Add support for 1_000_000 being valid il y a 9 mois
hello-amd64.sh 1f7119afe2 Add support for 1_000_000 being valid il y a 9 mois
hello-armv7l.sh 1f7119afe2 Add support for 1_000_000 being valid il y a 9 mois
hello-knight-posix.sh 1f7119afe2 Add support for 1_000_000 being valid il y a 9 mois
hello-riscv32.sh 1f7119afe2 Add support for 1_000_000 being valid il y a 9 mois
hello-riscv64.sh 1f7119afe2 Add support for 1_000_000 being valid il y a 9 mois
hello-x86.sh 1f7119afe2 Add support for 1_000_000 being valid il y a 9 mois
proof.answer 56e46db72d Use ceil_div function in collect_local. il y a 1 mois