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
  • frama-c-yojson
    eac10b3e · [doc_to_asfm] update commit reference · Apr 15, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • user_auth
    4cc23eda · merge · May 15, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • gibello merged
    f00853e4 · stderr now silent when inserting Git remote URL (in case of failure, like no Git repo) · May 18, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • feature/docker
    52d8bd7f · Merge branch 'master' into feature/docker · May 18, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • feature/high-level-api merged
    9c98b41d · Simplified update_user_password command line · Jun 08, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • wrapping merged
    67fa12b8 · Added UML Class Models to the API with schema validation. · Jun 17, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • mgil-master-patch-02980 merged
    1f79f327 · Update schemas/pkm-metamodels/pkm-c-source-code-schema-2.0.0.json · Jun 18, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • patch merged
    90b01458 · Upload of JSON Schema for the openJML results obtained after processing JML... · Jun 26, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • restful-web-api merged
    fde54c27 · Added developer documentation (mostly generated). · Jul 27, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • patch-2
    b79e6ada · Upload New File · Sep 08, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • JavaParser_withRestAPI
    170e1eb1 · [iMansanet] · Sep 14, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • UML_Class_Model
    98f03b6b · [iMansanet] First Version of the UML Class Model transformer and PKM API · Sep 14, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • StateMachine_Model
    c7dd0022 · [iMansanet] · Sep 14, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • compile_commands merged
    584b0169 · Minor fix. · Nov 09, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • OpenJMLAnalysis-API merged
    7de223c5 · Merge remote-tracking branch 'origin/master' into OpenJMLAnalysis-API · Nov 27, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • Schemas
    d4a65162 · [iMansanet 20201127] Updated the PKM configuration to validate the OpenJML... · Nov 27, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • java-API
    41e28998 · [iMansanet 20201130] Fixed Error in YAML (missing PUT java sourcecode method). · Nov 30, 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
  • 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
  • ajv-correction merged
    b96ffa41 · Correct use of Ajv · Jan 08, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • Prev
  • 1
  • 2
  • Next