Skip to content
GitLab
Explore
Sign in
Decoder
pkm-api
Merge requests
Open
0
Merged
66
Closed
5
All
71
Actions
Subscribe to RSS feed
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}}
Closed date
[iMansanet] solved an issue with sourceFile field
!35
· created
Mar 01, 2021
by
Ignacio Mansanet
Merged
0
updated
Mar 01, 2021
[iMansanet] solved Issue in JavaParser Annotations Generation
!34
· created
Feb 24, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Feb 24, 2021
[iMansanet] Added Log insertions to OpenJMLAnalyzer and JavaParser Tool
!33
· created
Feb 19, 2021
by
Ignacio Mansanet
Merged
0
updated
Feb 19, 2021
[iMansanet] New JavaParser Version
!32
· created
Feb 18, 2021
by
Ignacio Mansanet
Merged
0
updated
Feb 18, 2021
Java find
!31
· created
Feb 17, 2021
by
Armand PUCCETTI
Merged
0
updated
Feb 17, 2021
Java related tools
!30
· created
Feb 15, 2021
by
Ignacio Mansanet
Merged
0
updated
Feb 15, 2021
[iMansanet] Adjustment of JavaParser Tool to fit the UI needs
!29
· created
Feb 11, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Feb 12, 2021
[iMansanet] Solved Cryptic answer to OpenJML analysis
!28
· created
Feb 11, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Feb 11, 2021
[iMansanet] Moved HTTPS to HTTP OpenJMLAnalyzer requests
!27
· created
Feb 11, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Feb 11, 2021
[iMansanet] Updated JavaSourceCode Schema; some errors fixed in the JAVAPARSER tool
!26
· created
Feb 11, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Feb 11, 2021
Move from HTTPS to HTTP to request PKM
!25
· created
Feb 08, 2021
by
Martin Hamant
Merged
0
updated
Feb 08, 2021
[iMansanet] Typo Error Fix
!24
· created
Jan 14, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Jan 14, 2021
[iMansanet 20210114] Some Bug Fixing related to the tools configurations
!23
· created
Jan 14, 2021
by
Ignacio Mansanet
Merged
Approved
0
updated
Jan 14, 2021
Correct use of Ajv
!22
· created
Jan 08, 2021
by
Gaël de Chalendar
Merged
Approved
0
updated
Jan 08, 2021
Tm schema correction
!21
· created
Jan 05, 2021
by
Gaël de Chalendar
Merged
Approved
0
updated
Jan 06, 2021
Upload Jml metamodel represented as json schema.
!20
· created
Jan 04, 2021
by
Victoria Torres
Merged
Approved
0
updated
Jan 04, 2021
[iMansanet 20201223] Upload the Tatami-UPV PKM Tools (javaParser, OpenJML...
!19
· created
Dec 23, 2020
by
Ignacio Mansanet
Merged
Approved
0
updated
Jan 04, 2021
Java examples
!18
· created
Dec 23, 2020
by
Ignacio Mansanet
Merged
Approved
0
updated
Jan 04, 2021
Traceability matrix
!17
· created
Dec 18, 2020
by
Gaël de Chalendar
Merged
Approved
0
updated
Dec 20, 2020
minor TESTAR fixes
!16
· created
Dec 17, 2020
by
Fernando Pastor Ricos
Merged
Approved
0
updated
Dec 18, 2020
Prev
1
2
3
4
Next