Merge requests · Decoder

Upload Jml metamodel represented as json schema.

pkm-api!20 · created Jan 04, 2021 by Victoria Torres
- Merged
- Approved
updated Jan 04, 2021
[iMansanet 20201223] Upload the Tatami-UPV PKM Tools (javaParser, OpenJML...

pkm-api!19 · created Dec 23, 2020 by Ignacio Mansanet
- Merged
- Approved
updated Jan 04, 2021
Java examples

pkm-api!18 · created Dec 23, 2020 by Ignacio Mansanet
- Merged
- Approved
updated Jan 04, 2021
Traceability matrix

pkm-api!17 · created Dec 18, 2020 by Gaël de Chalendar
- Merged
- Approved
updated Dec 20, 2020
minor TESTAR fixes

pkm-api!16 · created Dec 17, 2020 by Fernando Pastor Ricos
- Merged
- Approved
updated Dec 18, 2020
Add TESTAR get_all and delete

pkm-api!15 · created Dec 03, 2020 by Fernando Pastor Ricos
- Merged
- Approved
updated Dec 04, 2020
TESTAR refactoring and fixes

testar_tool!2 · created Dec 03, 2020 by Fernando Pastor Ricos
- Merged
- Approved
updated Dec 03, 2020
Added a PoC for putting some annotations in the PKM.

pkm-api!14 · created Nov 17, 2020 by Gaël de Chalendar
- Merged
- Approved
updated Nov 18, 2020
Docker ssl 2

pkm-api!13 · created Nov 10, 2020 by Gaël de Chalendar
- Merged
- Approved
updated Nov 10, 2020
TESTAR distributed DECODER version

testar_tool!1 · created Nov 09, 2020 by Fernando Pastor Ricos
- Merged
- Approved
updated Nov 09, 2020
Integrate TESTAR into PKM-API

pkm-api!11 · created Nov 03, 2020 by Fernando Pastor Ricos
- Merged
- Approved
updated Nov 03, 2020
Better pkm error handling in test script

pkm-api!10 · created Nov 03, 2020 by Gaël de Chalendar
- Merged
- Approved
updated Nov 03, 2020
Update TESTAR json schemas + examples

pkm-api!9 · created Sep 11, 2020 by Fernando Pastor Ricos
- Merged
- 1
updated Sep 18, 2020
Upload of JSON Schema for the openJML results obtained after processing JML...

pkm-api!7 · created Jun 26, 2020 by Victoria Torres
- Merged
updated Jun 26, 2020
Update schemas/pkm-metamodels/pkm-c-source-code-schema-2.0.0.json

pkm-api!5 · created Jun 18, 2020 by Miriam Gil
- Merged
updated Jun 26, 2020
Build OK and little improvement

pkm-api!3 · created May 14, 2020 by Gaël de Chalendar
- Merged
- 4
updated Jun 05, 2020
Feature/docker

pkm-api!2 · created May 13, 2020 by Franck Vedrine
- Merged
updated May 13, 2020
Pkm metamodels

pkm-api!1 · created Apr 30, 2020 by Victoria Torres
PKM Metamodel
- Merged
updated May 04, 2020
fix compilation errors

doc_to_asfm!1 · created Apr 14, 2020 by Virgile Prevosto
- Merged
- 1
updated Apr 15, 2020