Story 5.4b: the verdict algebra is total, and a gate refuses the float#55

guycorbaz merged 5 commits into

masterguycorbaz/opencmdb:masterfrom

story-5.4b-verdict-algebra-and-float-gateguycorbaz/opencmdb:story-5.4b-verdict-algebra-and-float-gateCopy head branch name to clipboard