~andres/bedrock2

#106056 ~andres/bedrock2/nixos-coqmaster.yml 6 months ago failed

6a519ccSamuel Gruetter

re-measure final Qed time

coq build

failed 6 months ago

#106055 ~andres/bedrock2/debian-testing.yml 6 months ago failed

6a519ccSamuel Gruetter

re-measure final Qed time

build

failed 6 months ago

#106035 ~andres/bedrock2/nixos-coqmaster.yml 6 months ago failed

bac74c8Andres Erbsen

parametrize program logic proofs over word impl

coq build

failed 6 months ago

#106034 ~andres/bedrock2/debian-testing.yml 6 months ago failed

bac74c8Andres Erbsen

parametrize program logic proofs over word impl

build

failed 6 months ago

#105740 ~andres/bedrock2/nixos-coqmaster.yml 6 months ago failed

5169b69Andres Erbsen

parametrize program logic proofs over word impl

coq build

failed 6 months ago

#105739 ~andres/bedrock2/debian-testing.yml 6 months ago failed

5169b69Andres Erbsen

parametrize program logic proofs over word impl

build

failed 6 months ago

#105612 ~andres/bedrock2/nixos-coqmaster.yml 6 months ago failed

eb09736Samuel Gruetter

prove that KamiWord satisfies the compiler's extra assumptions

coq build

failed 6 months ago

#105611 ~andres/bedrock2/debian-testing.yml 6 months ago failed

eb09736Samuel Gruetter

prove that KamiWord satisfies the compiler's extra assumptions

build

failed 6 months ago

#104576 ~andres/bedrock2/nixos-coqmaster.yml 6 months ago failed

5b3a52cSamuel Gruetter

bump coqutil

coq build

failed 6 months ago

#104575 ~andres/bedrock2/debian-testing.yml 6 months ago success

5b3a52cSamuel Gruetter

bump coqutil

build

success 6 months ago

#104530 ~andres/bedrock2/nixos-coqmaster.yml 6 months ago failed

a1eaacaSamuel Gruetter

an easy admit

coq build

failed 6 months ago

#104529 ~andres/bedrock2/debian-testing.yml 6 months ago failed

a1eaacaSamuel Gruetter

an easy admit

build

failed 6 months ago

#104278 ~andres/bedrock2/nixos-coqmaster.yml 6 months ago failed

3039d0dSamuel Gruetter

make sure the build is never silent for more than 10min

coq build

failed 6 months ago

#104277 ~andres/bedrock2/debian-testing.yml 6 months ago failed

3039d0dSamuel Gruetter

make sure the build is never silent for more than 10min

build

failed 6 months ago

#104253 ~andres/bedrock2/nixos-coqmaster.yml 6 months ago failed

ad883feSamuel Gruetter

XAddrs part 5: everything compiles again, but

coq build

failed 6 months ago

1 / 20