https://github.com/cpslabgu/vhdlkripkestructures

Science Score: 13.0%

This score indicates how likely this project is to be science-related based on various indicators:

○
CITATION.cff file
✓
codemeta.json file
Found codemeta.json file
○
.zenodo.json file
○
DOI references
○
Academic publication links
○
Academic email domains
○
Institutional organization owner
○
JOSS paper metadata
○
Scientific vocabulary similarity
Low similarity (4.9%) to scientific vocabulary

Last synced: 10 months ago · JSON representation

Repository

Basic Info

Host: GitHub
Owner: CPSLabGU
Language: Swift
Default Branch: main
Homepage: https://cpslabgu.github.io/VHDLKripkeStructures/
Size: 474 KB

Statistics

Stars: 0
Watchers: 1
Forks: 0
Open Issues: 0
Releases: 6

Created about 2 years ago · Last pushed almost 2 years ago

Metadata Files

Readme

VHDLKripkeStructures

A Swift package for defining Kripke Structures for formally verifying VHDL Logic-Labelled Finite-State Machines (LLFSMs).

Supported Platforms

Swift version 5.7 or later.
MacOS 14 or later (earlier versions are likely to work).
Linux (Ubuntu 22.04) or later.
Windows 10 or later.
Windows Server Edition 2022 or later.

Using this Package

To include this package in your Swift projects, place it as a dependency within your package manifest.

```swift // swift-tools-version: 5.7

import PackageDescription

let package = Package( name: , products: [ ], dependencies: [ // Dependencies declare other packages that this package depends on. // .package(url: /* package url */, from: "1.0.0"), .package(url: "https://github.com/CPSLabGU/VHDLKripkeStructures", from: "1.4.0") ], targets: [ .target( name: , dependencies: [.product(name: "VHDLKripkeStructures", package: "VHDLKripkeStructures")] ) ] ) ```

Owner

Name: CPSLabGU
Login: CPSLabGU
Kind: organization

Repositories: 1
Profile: https://github.com/CPSLabGU

GitHub Events

Total

Last Year

Dependencies

.github/workflows/api-stability.yml actions

actions/checkout v4 composite
maxim-lobanov/setup-xcode v1 composite
slashmo/install-swift v0.4.0 composite

.github/workflows/ci-linux.yml actions

actions/checkout v2 composite
slashmo/install-swift v0.4.0 composite

.github/workflows/ci-macOS.yml actions

actions/checkout v2 composite
maxim-lobanov/setup-xcode v1 composite
webfactory/ssh-agent v0.5.4 composite

.github/workflows/ci-windows.yml actions

actions/checkout v2 composite
compnerd/gha-setup-swift main composite
webfactory/ssh-agent v0.9.0 composite

.github/workflows/cov.yml actions

actions/checkout v2 composite
mattpolzin/swift-codecov-action 0.7.3 composite
slashmo/install-swift v0.4.0 composite

.github/workflows/docs.yml actions

actions/checkout v2 composite
mipalgu/swiftpm-generate-documentation main composite
peaceiris/actions-gh-pages v3 composite
slashmo/install-swift v0.4.0 composite

.github/workflows/swiftlint.yml actions

actions/checkout v2 composite
norio-nomura/action-swiftlint 3.2.1 composite

Package.swift swiftpm

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science