GitLab

Made PUT operations for Logs, Traceability Matrix, and Annotations returns the list of artefact identifiers (same as POST operation).
Made code refactoring mostly in insert_update_documents and get_documents.

Made code refactoring to replace db.collection by PKM.get_collection.
Introduced an option in PKM.get_collection to emulate the deprecated strict mode in db.collection from the MongoDB Node.js driver.

Added some jsdoc in create_role, and renamed get_roles into get_user_roles to disambiguate.
Removed strict mode when using db.collection as it is now deprecated in MongoDB Node.js driver.

Updated documentation about "Configuration & Installation" in "Open source PKM server-side software".

Improved scalability of the Frama-C service with streamed JSON parsing (replaced JSON.parse with oboe).
Fixed mistakes in PKM file and everywhere it is used.
Added the possibility to specify, in configuration files, the temporary directory instead of the OS temporary directory (i.e. /tmp).

Cleaned up PKM OpenAPI specification file.
Added references to PKM external schemas into PKM OpenAPI specification file.

Updated Node.js MongoDB driver to 3.7.2 to fix circular dependency with MongoError that Node.js reports.
Improved dependency checks in openapi_gen scripts.
Fixed PKM annotation schema to work around a bug in the SDK for the clients that OpenAPI generator generates.

Made (path,access) the key for PKM annotations instead of path only.
Updated implementation of PUT for PKM annotation with a merging mechanism, which merges new annotations with existing annotations.
Updated implementation of POST for PKM annotations.

Fixed and enabled schema for JML annotations for Java.
Updated documentation with the Java comments and JML annotations schemas.

Removed extraneous comma in tools.json.

Added a schema for C++ source code ASTs.
Improved handling of splitted/merged C++ source code ASTs document (in Frama-Clang and PKM) and make them compatible with the schema for C++ source code ASTs.
Updated documentation of PKM server accordingly.

Changed the pkm-openapi description to solve a reference error to the invocations and tools schemas

Added Excavator to the generated SSL certificate.

Resolved merge conflict manually.

Fixed "Open source PKM server-side software" because UPV are being migrated out of the pkm-api repository.