GitLab

Merged with process engine branch for tools and invocations.

Added filtering by invocationStatus to GET /invocations/{dbName}.

Made implementation robust to git_working, git_unmerged and git_dirty properties in PKM File, so that services can safely ignore these properties (no need to preserve these properties)

Improved Git working trees deletion with support for either deleting (default) or to optionally unbinding the PKM files.

Added more security checks.

Added some endpoints for accessing the Git working trees.

Added support for synchronous execution of Frama-C, Frama-Clang, ASFM, Excavator, and Git (now the default behavior).

[iMansanet] solved a problem with java source schema

See merge request !47

Added a workaround for $ in keys which is reserved by MongoDB.

Updated pagination support for Traceability Matrix with 2D window: skip and limit have replaced by fromRow, fromColumn, toRow, toColumn.

Added a parent field in ASFM document artefacts to ease searching and crawling the ASFM artecfacts.
Added some documentation in PKM REST API specification file about invalidation mechanism when posting/update raw source codes.
Removed every records which are not complete definition from ASFM documentation generated by code_to_asfm.
Updated C++ parsing service to clang 12.0.0.

Added 'parent' property to ASFM artefacts (inner elements of ASFM documents) so that after a search for an artefact, the parent of the artefact (unit or class) can be retrieved.

Added Object type to arrays of messages (its needed for OpenJML logs)

See merge request !46