5d875c22ce
Split object files ( #77 )
...
* Split-objs
* split-sections
* rebuild-ghc-options: true
* split ghc options
* Removed -j
* check memory
* Increased swap
* increased swap
* test options
* Upload artifact
* Removed artifact
2021-06-10 13:08:27 +03:00
f546347431
Update haskell.yml
2021-06-09 14:36:52 +03:00
28519f107b
Made warnings stricter ( #76 )
...
* Made warnings stricter
* Fixed imports
* Moved file
* Don't upload artifacts
* Fixed more warnings
2021-06-08 19:12:34 +03:00
5fd5a1cd78
Added JSON Path jets ( #75 )
...
* Updated ConstructReportJet variables
* changed ConstructReportJet yet more
* Added support for Union in jets
* Extracted jet args
* observeJetShowErrs'
* Complex Arguments
* Added branching
* Added JSON path jets
* Simplified things
* Better type rendering in report
2021-06-08 17:57:13 +03:00
218336b11e
Added report generation ( #73 )
...
* first stab
* Made things compile
* Fixed headers
* Implemented jets
* Added method-path jet
* Added yet more jets
* Rerun tests
* Updated formatting
* Added some issue descriptions
* resolved producer/consumer mixup in schema
* Added UnguardedRecursion descriptions
* Added condition formatting
* Added jet docs
* Added different format outputs
2021-06-05 19:15:04 +03:00
f39734fc00
Update remove-artifacts.yaml
2021-06-03 18:07:16 +03:00
e2340b607f
Update remove-artifacts.yaml
2021-06-03 17:57:23 +03:00
572057f19a
Remove artefacts as fast as possible
2021-06-03 17:26:16 +03:00
7e7c9fa037
Create remove-artifacts.yaml
2021-06-03 16:13:02 +03:00
mniip
1ee90ee5a5
Guarded Recursion ( #67 )
...
* Allow guarded recursion
* Add a test for guarded recursion
* Detect and report "unguarded" recursion
* Add test
2021-06-01 18:35:36 +03:00
df1f841721
Fixed boolean/number bug in schema ( #74 )
2021-05-31 17:20:19 +03:00
mniip
6e454bcf2a
Fix some TODOs in schema and expand some comments ( #72 )
...
* Fix some TODOs in schema and expand some comments
* Update src/OpenAPI/Checker/Validate/Schema.hs
Co-authored-by: iko <ilyakooo0@gmail.com>
Co-authored-by: iko <ilyakooo0@gmail.com>
2021-05-28 15:43:30 +03:00
mniip
1e7e283b2c
Re-emit memoized errors at different behaviors ( #66 )
...
* Re-emit memoized errors at different behaviors
* Fix client/server vs server/client memoization
2021-05-28 14:45:59 +03:00
b5ed0cb04a
Added callback errors ( #65 )
2021-05-28 11:44:50 +03:00
b76f48dc5a
Added security schemes ( #59 )
...
* Security schemes
* Added simple test
2021-05-25 13:01:44 +03:00
e0ffc455ff
StructuralMemoKey ( #62 )
2021-05-25 12:55:14 +03:00
5942040f05
Added uuid format ( #60 )
2021-05-25 12:11:52 +03:00
6817a586b0
Removed emoji
2021-05-21 18:55:09 +03:00
4dbd1b68cf
Releases are now not pre-releases
2021-05-21 17:08:27 +03:00
44a3c27f4c
Slightly better output signalling ( #58 )
2021-05-21 14:31:58 +03:00
0261ac1a83
Added artifact uploads ( #57 )
...
* Added artifact uploads
* Added release uploads
2021-05-21 14:01:48 +03:00
4f254f4da1
Initial memoization ( #56 )
...
* Structural things now have traces and everything is now memoized
* Memoization now doesn't confuse different keys
* Accept tests
2021-05-21 13:15:54 +03:00
cbfeeedc1e
Structural compatibility ( #49 )
...
* First very rough draft of structural compatibility
* Horrible schema hack
* absurdIssue -> structuralIssue
* Added some structural comparing
* Added yet more structural comparisons
* dropped ProdConsEqHList
* Bumped resolver
* Nonrecursive schema
2021-05-17 17:38:59 +03:00
mniip
8687e5fbac
Traces ( #50 )
...
* 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>
2021-05-14 12:25:57 +03:00
7df8b85623
Added server checking ( #42 )
...
* Added server checking
* Updated test
* Made things work after rebase
2021-05-07 17:54:54 +03:00
mniip
c2968fee75
Turn Traced into a comonad ( #41 )
...
* Turn Traced into a comonad
* tracedDePathFragment -> tracedPathFragmentParam
* Fixed tracedOp
Co-authored-by: iko <ilyakooo0@gmail.com>
2021-05-06 13:53:25 +03:00
Alexey Uimanov
1d27fd17f3
Non-schema golden tests ( #40 )
...
* req body media
* refac
* wip
* fix
* wip
* response media type object
* parameters stuff
* fix code
* param schema
* fix
* Prods
* Sums
* wip
* wip (compiles not works)
* wip
* rework responses
* wip operations
* PathItem done
* path fragments done
* matching done
* fixups
* path matching and other stuff
* comment out
* better error
* Nope
* tests ok
* fix bug with responses
* all works as usual
* all tests ok
* warnings
* fix tests
2021-05-03 21:45:08 +03:00
95f82e1828
Started running tests in CI ( #43 )
...
* Started running tests in CI
* Added id test result
2021-04-26 13:19:57 +03:00
mniip
3d2b3f5dba
Add some JSON tests ( #39 )
2021-04-23 11:11:20 +03:00
Alexey Uimanov
241c2eb377
Fixups ( #38 )
...
Fix some logic in request/response stuff
2021-04-08 14:16:20 +05:00
mniip
aea5f371a6
Some error reporting fixes ( #37 )
...
* Preserve errors when matching paths
* Complain about contradictions (used in type field checking)
* Swap schema definitions when swapping roles
* Filter properties correctly
2021-04-08 12:03:45 +03:00
Alexey Uimanov
556859135b
Finish instances Subtree and Steppable ( #34 )
...
* dirlocals
* none
* param check
* wip
* no undefs
* req body
* responses
* responses are close
* responses done
* cleanup
* Responses
* schema check
* parse yaml also
2021-04-08 10:03:58 +03:00
mniip
45df058782
Separate producer and consumer definitions for schemata
2021-04-07 23:09:48 +03:00
mniip
3b839cbe8f
JSON Schema comparison ( #31 )
...
* Convert schemata into graded DNFs over predicates
* Some more checking for JSON
* Match everything except Properties
* Match properties somehow
2021-04-07 22:13:06 +03:00
4891a15750
Added Operation processing ( #30 )
...
* Added Operation processing
* Added module to cabal
2021-04-02 12:20:56 +03:00
7dface8101
Dropped unused modules ( #25 )
...
* Changed main and tests
* Removed unused modules
* replace instances with standalone deriving
* SomeCheckIssue -> SubtreeCheckIssue
2021-03-25 19:06:35 +03:00
94d03acb12
Path fragments and OpenApi ( #22 )
...
* wip
* Things are now becoming fun
* Cleaned things up a bit
* Moved things around
* Added some comments
* Sorted imports
* Cleaned things up
* Switched to google formatting
* Fixed some of the comments
* updated gitignore
* Use list comprehension
* Removed catTrace
* Fixed yet more comments
2021-03-25 19:02:48 +03:00
f53aae3bfb
Removed Env from Reader ( #21 )
...
* Removed CheckEnv t from reader
* Added HList
Co-authored-by: mniip <mniip@users.noreply.github.com>
2021-03-12 19:25:48 +03:00
mniip
726199818f
Implement fixpoints ( #20 )
2021-03-12 15:00:16 +03:00
mniip
84e87f6ad1
Formulas ( #19 )
...
* Formulas
* Memoization
* Fix anyOf
2021-03-12 10:49:30 +03:00
mniip
c951e3eb89
Add Trace ( #17 )
...
* Add Trace
* Add fold and filter
* Some tricky instances
* Add Subtree
* Add memoization and use a concrete monad
2021-03-11 14:34:40 +03:00
16607664c3
Added basic options ( #13 )
2021-03-09 17:06:01 +03:00
44e214bf8c
Added basic test infrastructure ( #5 )
2021-03-05 15:07:53 +03:00
d430079e6a
Dependencies now influence cache hash ( #9 )
2021-03-05 15:07:25 +03:00
b51d410a39
Added basic haskell CI ( #6 )
...
* Added basic haskell CI
* Removed cabal things
2021-03-04 14:09:57 +03:00
1612989b15
Bumped snapshot ( #4 )
...
* Bumped snapshot
* Keep only latest version
2021-03-04 14:09:36 +03:00
Aleksey Uymanov
927d87e4c3
params and stuff
2021-02-28 20:19:30 +05:00
Aleksey Uymanov
496563b58a
monad is done
2021-02-26 15:43:44 +05:00
Aleksey Uymanov
12d42b98c2
wip
2021-02-26 12:59:11 +05:00
Aleksey Uymanov
e728a3769a
rename
2021-02-25 16:26:26 +05:00
