Skip to content
GitLab
Explore
Sign in
Decoder
Merge requests
Open
0
Merged
119
Closed
37
All
156
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Java examples
pkm-api!18
· created
Dec 23, 2020
by
Ignacio Mansanet
Merged
Approved
0
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
0
updated
Jan 04, 2021
Upload Jml metamodel represented as json schema.
pkm-api!20
· created
Jan 04, 2021
by
Victoria Torres
Merged
Approved
0
updated
Jan 04, 2021
Tm schema correction
pkm-api!21
· created
Jan 05, 2021
by
Gaël de Chalendar
Merged
Approved
0
updated
Jan 06, 2021
Correct use of Ajv
pkm-api!22
· created
Jan 08, 2021
by
Gaël de Chalendar
Merged
Approved
0
updated
Jan 08, 2021
[iMansanet 20210114] Some Bug Fixing related to the tools configurations
pkm-api!23
· created
Jan 14, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Jan 14, 2021
[iMansanet] Typo Error Fix
pkm-api!24
· created
Jan 14, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Jan 14, 2021
Dockerfile revamping and NGINX configuration
frontend!1
· created
Jan 25, 2021
by
Martin Hamant
Merged
Approved
0
updated
Jan 26, 2021
Move from HTTPS to HTTP to request PKM
pkm-api!25
· created
Feb 08, 2021
by
Martin Hamant
Merged
0
updated
Feb 08, 2021
[iMansanet] Updated JavaSourceCode Schema; some errors fixed in the JAVAPARSER tool
pkm-api!26
· created
Feb 11, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Feb 11, 2021
[iMansanet] Moved HTTPS to HTTP OpenJMLAnalyzer requests
pkm-api!27
· created
Feb 11, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Feb 11, 2021
[iMansanet] Solved Cryptic answer to OpenJML analysis
pkm-api!28
· created
Feb 11, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Feb 11, 2021
[iMansanet] Adjustment of JavaParser Tool to fit the UI needs
pkm-api!29
· created
Feb 11, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Feb 12, 2021
Java related tools
pkm-api!30
· created
Feb 15, 2021
by
Ignacio Mansanet
Merged
0
updated
Feb 15, 2021
Sint libero sit cupiditate.
pkm-python-client!7
· created
Feb 15, 2021
by
Gaël de Chalendar
quam-earum
sunt-ea
voluptatem-saepe
Closed
11
updated
Feb 15, 2021
Java find
pkm-api!31
· created
Feb 17, 2021
by
Armand PUCCETTI
Merged
0
updated
Feb 17, 2021
[iMansanet] New JavaParser Version
pkm-api!32
· created
Feb 18, 2021
by
Ignacio Mansanet
Merged
0
updated
Feb 18, 2021
[iMansanet] Added Log insertions to OpenJMLAnalyzer and JavaParser Tool
pkm-api!33
· created
Feb 19, 2021
by
Ignacio Mansanet
Merged
0
updated
Feb 19, 2021
Added JmlGen integration tests
integration-tests!1
· created
Feb 23, 2021
by
Pierre-Yves Gibello
Merged
0
updated
Feb 24, 2021
[iMansanet] solved Issue in JavaParser Annotations Generation
pkm-api!34
· created
Feb 24, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Feb 24, 2021
Prev
1
2
3
4
5
6
…
8
Next