mristin / python-by-contract-corpus / 18552166312

Builds Branch Commit Type Ran Committer Via Coverage
18552166312 main Fix setup.py (#126) There was a minor error in `extras_require` block. The newer version of pip was not as permissive as before. push web-flow github
91.9
2449872377 mristin/Compute-stats-on-contracts Merge 8cdfbf02c into c9f1b895c Pull #119 GitHub github
91.64
2449872923 main Compute statistics of the contracts in the corpus (#119) push GitHub github
92.05
2446685063 mristin/Compute-stats-on-icontract-hypothesis-tests Merge 42ddf83bf into daf899310 Pull #118 GitHub github
92.17
2446681275 mristin/Unify-style-of-tests Merge 4d59049af into 1ae63e985 Pull #117 GitHub github
91.7
2444773606 mristin/Upgrade-to-latest-sphinx-5.0.1 Merge e833c7347 into 9676bb1ac Pull #116 GitHub github
91.94
1932503375 mristin/Move-recordings-to-archive-to-avoid-confusion Merge 23938e1bf into 9c2ff57f9 Pull #112 GitHub github
91.82
1864623032 phil/wip Merge 23ae14a16 into c96ed0038 Pull #111 GitHub github
92.14
1569848977 main Document incorrect programs from recorded failures (#109) push GitHub github
92.05
1020654467 main Add pyicontract-lint to continuous integration (#102) push GitHub github
89.62
1018697490 main Release 2021.7.10rc1 (#101) push GitHub github
89.36
1018692634 main Unify continuous integration into one workflow (#100) push GitHub github
89.56
993183815 main Make ETHZ Eprog Ex 8.5 more precise (#94) push GitHub github pending completion
993115353 main Compare against naive in ETHZ Eprog Ex. 4.1 (#93) push GitHub github pending completion
983807948 main Disable icontract-hypothesis on ETHZ Eprog Ex. 2.3 (#91) push GitHub github pending completion