Skip to content

Command line client for SafePKT backend

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT
Notifications You must be signed in to change notification settings

LedgerProject/safepkt_cli

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

SafePKT CLI

This project is implemented in the context of the European NGI LEDGER program.

This component is a command-line interface application aiming at bringing more automation
to the field of software verification tools targeting rust-based programs.

See SafePKT description

Table of contents

Installation

As you need node.js available, we recommend the installation of a Node.js version management tool like one of the following:

Install JavaScript dependencies.

npm install

Acknowledgment

We're very grateful towards the following organizations, projects and people:

  • the JavaScript and NuxtJS community at large
  • All members of the NGI-Ledger Consortium for accompanying us
    Blumorpho Dyne
    FundingBox NGI LEDGER
    European Commission

License

This project is distributed under either the MIT license or the Apache License.

About

Command line client for SafePKT backend

Resources

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT

Stars

Watchers

Forks

Packages

No packages published