Added PyCharm configs
Replaced Threads by Multiprocessing for workers to optimize performance
Work

- Fixed Contract for newly added parameters in Document
- Switched from old hardcoded GET parameter filtering to parameter array
of filtering GET parameters
- Fixed unproved Contract by using Contract.Assume
Extended REST-API

- Added REST filtering parameters
- Added document full text search
- Added method to get a collection of users
Added Contracts for IContentReceiver and clarified IKeyStore purpose
Work

- Some Contract fixes
- Added new HTTP Error Code Exception
Contract fix
Added JSON.NET attributes for proper request body naming

- Added test project
Adapted the Code from test results
Cleaned code

- Removed exceptions (RestSharp throws itself, didn't know that!)
- Removed unnecessary Ensures which were statistically unprovable but de
facto always true (so we had to use lots (!!) of Contract.Assume's which
would just clutter the code)
Small fix
Various changes and optimizations
Test
Work on model
Added custom deserializer for proper date handling
Adapted C#-API-URI to server code
Small fix
Work on the Core library
Added a custom BSON formatter
Workspace Aktualisierungen