- 12 Mar, 2022 3 commits
-
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
- 11 Mar, 2022 3 commits
-
-
Gilles Mouchard authored
-
Gilles Mouchard authored
-
Gilles Mouchard authored
Fixed get_tools CLI.
-
- 09 Mar, 2022 2 commits
-
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
- 08 Mar, 2022 2 commits
-
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
- 07 Mar, 2022 2 commits
-
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
- 06 Mar, 2022 1 commit
-
-
Armand PUCCETTI authored
-
- 03 Mar, 2022 2 commits
-
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
- 28 Feb, 2022 1 commit
-
-
Gilles Mouchard authored
Made optional the inclusion of system files (i.e. system headers) in the result of Frama-C for PKM and Frama-Clang for PKM.
-
- 27 Feb, 2022 5 commits
-
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
- 25 Feb, 2022 3 commits
-
-
Gilles Mouchard authored
[iMansanet] New minutesToStuck property on tools description to include the... See merge request !71
-
Nacho Mansanet authored
[iMansanet] New minutesToStuck property on tools description to include the minutes the tool will be considered stucked by the PE
-
Gilles Mouchard authored
Fixed a regression with previous commit when a document is splitted in smaller chunks in the database.
-
- 24 Feb, 2022 1 commit
-
-
Gilles Mouchard authored
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.
-
- 18 Feb, 2022 1 commit
-
-
Gilles Mouchard authored
-
- 17 Feb, 2022 2 commits
-
-
Gilles Mouchard authored
-
Gilles Mouchard authored
-
- 16 Feb, 2022 1 commit
-
-
Armand PUCCETTI authored
-
- 14 Feb, 2022 2 commits
-
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
- 11 Feb, 2022 3 commits
-
-
Gilles Mouchard authored
-
Gilles Mouchard authored
Added sorting of invocations in reverse order of the request time stamp for GET /invocations endpoint.
-
Armand PUCCETTI authored
-
- 09 Feb, 2022 4 commits
-
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
Armand PUCCETTI authored
-
- 07 Feb, 2022 2 commits
-
-
Gilles Mouchard authored
Added abbreviated output for GET endpoints returning projects (in this mode only name and members are returned).
-
Gilles Mouchard authored
-