GitLab

Fixed get_tools CLI.

Made optional the inclusion of system files (i.e. system headers) in the result of Frama-C for PKM and Frama-Clang for PKM.

[iMansanet] New minutesToStuck property on tools description to include the...

See merge request !71

[iMansanet] New minutesToStuck property on tools description to include the minutes the tool will be considered stucked by the PE

Fixed a regression with previous commit when a document is splitted in smaller chunks in the database.

Added an index in the MongoDB collections for newly created projects to make sure that concurrent accesses to the PKM do not lead to duplicate documents with same unique key.

Added sorting of invocations in reverse order of the request time stamp for GET /invocations endpoint.

Added abbreviated output for GET endpoints returning projects (in this mode only name and members are returned).