mristin / icontract-hypothesis / 895019534

Builds Branch Commit Type Ran Committer Via Coverage
895019534 main Adapt to changed interface in icontract 2.5.2 (#43) push GitHub github pending completion   set done
895013479 mristin/Fix-changed-behavior-in-icontract-2.5.2 Merge 1cc214fc6 into 728336a21 Pull #43 GitHub github pending completion   set done
850523472 main Handle functions using `self` as argument (#42) push GitHub github pending completion   set done
850518273 mristin/Handle-functions-using-self-as-argument Merge 376f4a89b into 8fc3f2a32 Pull #42 GitHub github pending completion   set done
847886234 main Handle contracts on `self` as filters (#41) push GitHub github pending completion   set done
847874462 mristin/Handle-contracts-on-self Merge 02431615f into fc5f1acde Pull #41 GitHub github pending completion   set done
847288841 main Pass `self` arugment to contracts (#40) push GitHub github pending completion   set done
847281600 mristin/Pass-self-argument-to-contracts Merge ec5c1a6dd into 7828ab530 Pull #40 GitHub github pending completion   set done
834924115 main Change copyright bearer (#39) push GitHub github pending completion   set done
834923888 mristin/Change-copyright-bearer Merge 471961645 into 9cfd440d0 Pull #39 GitHub github pending completion   set done
798648643 main Revert pull request #36 (#38) push GitHub github pending completion   set done
798644489 mristin/Revert-pull-request-#36 Merge 96f22e6ac into df2389a4c Pull #38 GitHub github pending completion   set done
797120280 main Release 1.1.3 (#37) push GitHub github pending completion   set done
797003386 mristin/Release-1.1.3 Merge 8948e422a into ecbfc3a23 Pull #37 GitHub github pending completion   set done
796978974 main Fix strategy inference for `Sequence` (#36) push GitHub github pending completion   set done