Fixed exessive bracketing bug with the Reason property #33

karlssberg · 2024-06-17T20:03:51Z

fixed bug whereby excessive bracketing of sub-expressions when a binary expression is negated
adopted docfx to generate docs

…ary expression is negated Updated tutorial

codecov-commenter · 2024-06-17T20:07:51Z

Codecov Report

Attention: Patch coverage is 73.68421% with 5 lines in your changes missing coverage. Please review.

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Files	Coverage Δ
Motiv/AndAlso/AndAlsoBooleanResultDescription.cs	`78.26% <100.00%> (+4.34%)`	⬆️
...anPredicateProposition/PropositionBooleanResult.cs	`84.61% <100.00%> (+7.69%)`	⬆️
Motiv/BooleanResultBase.cs	`83.07% <ø> (ø)`
...ition/BooleanResultPredicateMetadataProposition.cs	`96.66% <100.00%> (ø)`
Motiv/Not/NotSpecDescription.cs	`96.55% <100.00%> (+0.12%)`	⬆️
Motiv/Or/OrBooleanResultDescription.cs	`79.16% <100.00%> (+4.16%)`	⬆️
Motiv/OrElse/OrElseBooleanResultDescription.cs	`82.60% <100.00%> (+4.34%)`	⬆️
Motiv/And/AndBooleanResultDescription.cs	`82.60% <83.33%> (ø)`
Motiv/BooleanResultExtensions.cs	`77.77% <0.00%> (ø)`

karlssberg added 20 commits June 12, 2024 10:35

change github pages to minimal theme

c5ba75c

Added docs_dir to _config.yml

ed5a9c0

Changed _config.yml to use jekyll-theme-minimal

5ad59a1

Improved "initial offering" in both the README.md and the docs

0c522a4

Fixed typo in docs with GetAllRootAssertions()

002db85

changed _config.yml to hacker theme

8711bf5

Fixed typo in README.md

3e79cf4

Create jekyll-gh-pages.yml

65e215f

corrected gh-pages branch

795c929

Removed docs from develop branch

4425808

fixed parameter names

59eb973

Updated explanation of Reason property in the documentation headers

3a374cf

fixed formatting of Reason documentation header

d2c3fe8

Created docfx docs based off of the jekyll version

a05a15d

Added tutorial to docs site

bca4a42

Fixed bug with excessive bracketing of the Reason property when a bin…

930e635

…ary expression is negated Updated tutorial

Tidy up of PropositionVisibility.md

58d25e1

Create docfx.yml

119f51b

Bumped version to 7.0.2

d344f47

Merge branch 'main' into develop

2ef2955

karlssberg merged commit 0ccf375 into main Jun 17, 2024
3 checks passed