Skip to content
GitLab
Explore
Sign in
Decoder
pkm-api
Repository
Branches
Overview
Active
Stale
All
master
default
protected
a64e4dcb
·
turning mdr plugin off for testing purposes
·
Mar 12, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tools_specs_corrections
8ea8ae4d
·
Add missing optional parameter
·
Feb 04, 2022
!70
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
methodology
9d5bfb56
·
[iMansanet] Methodology schema and status to create API
·
Nov 09, 2021
!60
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tools-specs
367e4d44
·
[iMansanet]Changes on JML schema forwarded to actual one
·
Nov 09, 2021
!59
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
invocations
5c9ac37d
·
[iMansanet]
·
Nov 04, 2021
!56
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
big-logs
845b5112
·
Made new implementation of logs (chunked logs) backward compatible with the legacy implementation.
·
Oct 29, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
testar
c515ea64
·
Added support for TESTAR settings.
·
Oct 22, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
schemas
900caed3
·
Fixed annotations API.
·
Oct 21, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
frama-c
d9b7eeaf
·
Improved scalability of the Frama-C service with streamed JSON parsing...
·
Oct 20, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
annotations
656de2a2
·
Added a schema for PKM annotations.
·
Oct 07, 2021
!14
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
documentation
6b67a57e
·
Minor fix.
·
Sep 28, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
process_engine
a0d37db9
·
Added filtering by task and phase to GET /tools/{dbName}.
·
Jul 19, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
git
787d59b0
·
Updated Git working tree schemas with linked Git working trees.
·
Jul 13, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
demo
d8b843c0
·
Moved file 'initialized' to '/mongodb-projects/initialized' in the MongoDB docker start.sh script.
·
Mar 26, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
excavator
67121e5c
·
Fixed bad interpretation of 'abbrev' query parameter.
·
Mar 15, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
asfm
cc9df8b9
·
Merge remote-tracking branch 'origin/master' into asfm
·
Feb 26, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Java-Examples
b17b8bd9
·
Removed setting overlay for the docker driver because it cause issues in .gitlab-ci.yml.
·
Jan 13, 2021
!18
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ajv-correction
b96ffa41
·
Correct use of Ajv
·
Jan 08, 2021
!22
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
UPV-Tatami-PKM-Tools
2df69a27
·
[iMansanet 20201223] Upload the Tatami-UPV PKM Tools (javaParser, OpenJML...
·
Dec 23, 2020
!19
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
testar_api
21c8d283
·
add testar get_all and delete
·
Dec 02, 2020
!15
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next