- Dec 10, 2021
-
-
Gilles Mouchard authored
-
- Nov 20, 2021
-
-
Gilles Mouchard authored
Fixed a false warning in PKM support for Git which shall not even consider .git file in Git linked working trees as candidate for insertion in the PKM.
-
- Nov 05, 2021
-
-
Gilles Mouchard authored
Updated to OpenAPI generator version 5.3.0.
-
- Nov 02, 2021
-
-
Gilles Mouchard authored
Added support for the Process Engine to Frama-C for PKM, Frama-Clang for PKM, ASFM for PKM (doc_to_asfm, asfm_to_doc, code_to_asfm), and UNISIM Excavator for PKM. Changed the way PKM access keys are generated to enable duplicating PKM user's session. Added /user/dup in the PKM REST API to enable duplicating the user's session.
-
- Oct 17, 2021
-
-
Gilles Mouchard authored
-
- Oct 01, 2021
-
-
Gilles Mouchard authored
Added Excavator to the generated SSL certificate.
-
- Jul 09, 2021
-
-
Gilles Mouchard authored
Added support for synchronous execution of Frama-C, Frama-Clang, ASFM, Excavator, and Git (now the default behavior).
-
- Feb 02, 2021
-
-
Gilles Mouchard authored
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).
-
- Jan 29, 2021
-
-
Gilles Mouchard authored
Move doc_to_asfm processing from PKM service to ASFM Tools service. Added RawDocumentation collection PKM.
-
- Jan 27, 2021
-
-
Gilles Mouchard authored
-
- Jan 20, 2021
-
-
Gilles Mouchard authored
Added support for Logs in the database.
-
- Jan 18, 2021
-
-
Gilles Mouchard authored
Made OpenAPI specs use an HTTP server. Made PKM REST API test script adapt the URL according to OpenAPI specs.
-
- Dec 01, 2020
-
-
Gilles Mouchard authored
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.
-
- Nov 13, 2020
-
-
Gilles Mouchard authored
-
- Nov 10, 2020
-
-
Gilles Mouchard authored
-
Gilles Mouchard authored
-
- Nov 09, 2020
-
-
Gilles Mouchard authored
Rewritten Frama-C integration to prepare use of flags coming compile commands support. Fixed error handling.
-
- Oct 21, 2020
-
-
Gilles Mouchard authored
-
- Oct 01, 2020
-
-
Gilles Mouchard authored
Updated PKM and Frama-C for PKM OpenAPI specifications to document fields in response headers to enable CORS.
-
- Sep 28, 2020
-
-
Gilles Mouchard authored
Renamed TESTAR functions to match naming of other functionalities. Fixed PKM key passing as true application/json. Added CORS support.
-
- Sep 23, 2020
-
-
Gilles Mouchard authored
Fixed OpenAPI specification of PKM for login response key (plain/text)
-
- Sep 01, 2020
-
-
Gilles Mouchard authored
-
- Jul 31, 2020
-
-
Gilles Mouchard authored
-
Gilles Mouchard authored
Added generated source code in the repository.
-
- Jul 08, 2020
-
-
Gilles Mouchard authored
Added UML Class diagrams access to RESTFul API Added User creation/deletion to RESTFul API Added Db creation/deletion to RESTFul API
-
- Jul 01, 2020
-
-
Gilles Mouchard authored
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).
-