* Initial stab at github actions
* Fixed docker images
* Added run
* old new
* update
* Updated
* Fixed (?)
* Added certs
* Proper safe head
* Use proper API
* Added project name
* Updated docker image
* Started reading the right comments
* Added docker image to CI
* Renamed CI thing
* Increased swap
* Fixed tests
* Fixed docker hub
* Added conditionals back in
* minor refinements
* Try to detect disjointness in oneOf via partitioning
* Split OpenAPI.Checker.Validate.Schema into modules
* Refactor schema code
* Tweak error messages for NoContradiction
* Refined reports
Co-authored-by: iko <ilyakooo0@gmail.com>
* Fix traces in conjuncted "items" clauses
* Add a couple tests
* Add an initial framework for partitioning (#71) and allow partitioning by an enum
* Try to preserve the logic about enum removal
* Add some tests
* Report partitions in the behavior somehow
* Bumped resolver
* Refined report
* Removed trailing period
Co-authored-by: iko <ilyakooo0@gmail.com>
* Add special reporting for when type-restricting clauses have been added
* Add a note for if issues arise due to a property going from
"additionalProperties" to "properties"
* Changed some wording. Instead of referencing properties by name, errors are now embedded in the behaviour.
* Changed wording of TypesRestricted
Co-authored-by: iko <ilyakooo0@gmail.com>
* Removed HasUnsupportedFeature
* Embedded direction in error and removed reversed responses
* Swap first two checkCompatibility arguments
* Monomorphised env
closes#47
* Made swapProdCons better
* Added inversion when swapping prodcons
* Show issues when adding restrictions to open field in json schema
* better condition rendering
* Extracted jets
* Split document structure
* Splite removed paths
* bumped resolver
* Better enum errors
* Better removed paths rendering
* Slightly better wording
* Strip empty jetted headers
* Don't check field further if it will fail based on being optional or required
* changed wording slightly
* Slightly changed wording
* Changed wording some more
* Changed wording a lot
* Implement internal vs external traces
* Fixup tests
* Move some errors around
* ToBehavior -> SubtreeLevel
* minor fixes
* Fixed server
* integrated anyOfSubtreeAt into anyOfAt
Co-authored-by: iko <ilyakooo0@gmail.com>
