~andres/bedrock2

#97889 ~andres/bedrock2/nixos-coqmaster.yml 3 days ago failed

d743ccbSamuel Gruetter

make everything compile again

coq build

failed 3 days ago

#97888 ~andres/bedrock2/debian-testing.yml 3 days ago failed

d743ccbSamuel Gruetter

make everything compile again

build

failed 3 days ago

#97826 ~andres/bedrock2/nixos-coqmaster.yml 3 days ago success

4545708Andres Erbsen

rename map.of_list -> map.of_list_zip

coq build

success 3 days ago

#97825 ~andres/bedrock2/debian-testing.yml 3 days ago success

4545708Andres Erbsen

rename map.of_list -> map.of_list_zip

build

success 3 days ago

#97581 ~andres/bedrock2/nixos-coqmaster.yml 4 days ago success

2935288Samuel Gruetter

Merge branch 'master' of github.com:mit-plv/bedrock2

coq build

success 4 days ago

#97580 ~andres/bedrock2/debian-testing.yml 4 days ago success

2935288Samuel Gruetter

Merge branch 'master' of github.com:mit-plv/bedrock2

build

success 4 days ago

#97574 ~andres/bedrock2/nixos-coqmaster.yml 4 days ago success

1b92da9Samuel Gruetter

sketch new ext_guarantee_preservable based on footprint_in

coq build

success 4 days ago

#97573 ~andres/bedrock2/debian-testing.yml 4 days ago success

1b92da9Samuel Gruetter

sketch new ext_guarantee_preservable based on footprint_in

build

success 4 days ago

#97012 ~andres/bedrock2/nixos-coqmaster.yml 6 days ago success

7a34eacSamuel Gruetter

fix offset_in_range, valid_register/FlatImp_var, NoDup admits

coq build

success 6 days ago

#97011 ~andres/bedrock2/debian-testing.yml 6 days ago success

7a34eacSamuel Gruetter

fix offset_in_range, valid_register/FlatImp_var, NoDup admits

build

success 6 days ago

#96915 ~andres/bedrock2/nixos-coqmaster.yml 7 days ago success

7e7e605Samuel Gruetter

wip valid_FlatImp_var/register & NoDup

coq build

success 7 days ago

#96914 ~andres/bedrock2/debian-testing.yml 7 days ago success

7e7e605Samuel Gruetter

wip valid_FlatImp_var/register & NoDup

build

success 7 days ago

#96379 ~andres/bedrock2/nixos-coqmaster.yml 9 days ago success

187fa0aSamuel Gruetter

fix for qed-ing

coq build

success 9 days ago

#96378 ~andres/bedrock2/debian-testing.yml 9 days ago success

187fa0aSamuel Gruetter

fix for qed-ing

build

success 9 days ago

#96310 ~andres/bedrock2/nixos-coqmaster.yml 9 days ago success

0e294bdAndres Erbsen

add python to nix build

coq build

success 9 days ago

1 / 18