Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • P pkm-api
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 4
    • Issues 4
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • DecoderDecoder
  • pkm-api
  • Repository
  • Branches
  • Overview
  • Active
  • Stale
  • All
  • master default protected
    a64e4dcb · turning mdr plugin off for testing purposes · Mar 12, 2022
    Download source code
    zip tar.gz tar.bz2 tar
  • tools_specs_corrections merged
    8ea8ae4d · Add missing optional parameter · Feb 04, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • methodology merged
    9d5bfb56 · [iMansanet] Methodology schema and status to create API · Nov 09, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • tools-specs merged
    367e4d44 · [iMansanet]Changes on JML schema forwarded to actual one · Nov 09, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • invocations merged
    5c9ac37d · [iMansanet] · Nov 04, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • big-logs merged
    845b5112 · Made new implementation of logs (chunked logs) backward compatible with the legacy implementation. · Oct 29, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • testar merged
    c515ea64 · Added support for TESTAR settings. · Oct 22, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • schemas merged
    900caed3 · Fixed annotations API. · Oct 21, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • frama-c merged
    d9b7eeaf · Improved scalability of the Frama-C service with streamed JSON parsing... · Oct 20, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • annotations merged
    656de2a2 · Added a schema for PKM annotations. · Oct 07, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • documentation merged
    6b67a57e · Minor fix. · Sep 28, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • process_engine merged
    a0d37db9 · Added filtering by task and phase to GET /tools/{dbName}. · Jul 19, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • git merged
    787d59b0 · Updated Git working tree schemas with linked Git working trees. · Jul 13, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • demo merged
    d8b843c0 · Moved file 'initialized' to '/mongodb-projects/initialized' in the MongoDB docker start.sh script. · Mar 26, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • excavator merged
    67121e5c · Fixed bad interpretation of 'abbrev' query parameter. · Mar 15, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • asfm merged
    cc9df8b9 · Merge remote-tracking branch 'origin/master' into asfm · Feb 26, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • Java-Examples merged
    b17b8bd9 · Removed setting overlay for the docker driver because it cause issues in .gitlab-ci.yml. · Jan 13, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • ajv-correction merged
    b96ffa41 · Correct use of Ajv · Jan 08, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • UPV-Tatami-PKM-Tools merged
    2df69a27 · [iMansanet 20201223] Upload the Tatami-UPV PKM Tools (javaParser, OpenJML... · Dec 23, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • testar_api merged
    21c8d283 · add testar get_all and delete · Dec 02, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • Prev
  • 1
  • 2
  • Next