Enforced access key in most endpoints, and body in POST/PUT request in the APIs so that servers returns Error 400 (Bad Request) instead of Error 500 (Internal Server Error).

Move doc_to_asfm processing from PKM service to ASFM Tools service.
Added RawDocumentation collection PKM.

Added support for Logs in the database.

Made OpenAPI specs use an HTTP server.
Made PKM REST API test script adapt the URL according to OpenAPI specs.

Improved Frama-C C parsing service using Frama-C built-in JSON compilation database support.
Added support for jobs and logger in Frama-C C parsing service.

Rewritten Frama-C integration to prepare use of flags coming compile commands support.
Fixed error handling.

Updated PKM and Frama-C for PKM OpenAPI specifications to document fields in response headers to enable CORS.

Renamed TESTAR functions to match naming of other functionalities.
Fixed PKM key passing as true application/json.
Added CORS support.

Fixed OpenAPI specification of PKM for login response key (plain/text)

Added generated source code in the repository.

Added UML Class diagrams access to RESTFul API
Added User creation/deletion to RESTFul API
Added Db creation/deletion to RESTFul API

Added Frama-C RESTful API.
Added generation of driver for the client for the RESTful API of both the PKM server and the Frama-C server using OpenAPI Generator (because of ES5).