Data

Tools

Indexes

Applications

Experiments

Open Source Science

marmaragan

Tool for generating and automatically formally verifying ADA/SPARK programs

https://github.com/elocien/marmaragan

Science Score: 44.0%

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

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (4.7%) to scientific vocabulary
Last synced: 6 months ago · JSON representation ·

Repository

Tool for generating and automatically formally verifying ADA/SPARK programs

Basic Info
  • Host: GitHub
  • Owner: Elocien
  • License: gpl-2.0
  • Language: Python
  • Default Branch: main
  • Homepage:
  • Size: 417 KB
Statistics
  • Stars: 0
  • Watchers: 2
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 2 years ago · Last pushed over 1 year ago
Metadata Files
Readme License Citation

README.md

Marmaragan

Diplom Thesis by Lucian McIntyre

Description

Marmaragan attempts to leverage the power of LLM's to generate annotations for verifiable programs, for the SPARK2014 subset of ADA.

Installation

Set Environment Variable for OpenAPI Key

Save to .env file and load or or add to shell path through .bashrc, .zshrc, etc. by adding the line: export OPENAI_API_KEY=<OpenAPI-Key>

Set Environment Variable for Gnatprove path

Save to .env file and load or or add to shell path through .bashrc, .zshrc, etc. by adding the line: export GNATPROVE_EXECUTABLE_PATH="/path/to/.../Gnat/bin/gnatprove"

### Install requirements.txt

pip install -r requirements.txt

Run Application

Set appropriate variables in main.py

Run python main.py and view results in benchmark log file

Owner

  • Name: LucianM
  • Login: Elocien
  • Kind: user
  • Company: TU-Dresden

Citation (CITATION.cff) 

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- family-names: "McIntyre"
  given-names: "Lucian"
title: "Marmaragan"
version: 0.0.1
date-released: 2024-08-08
url: "https://github.com/Elocien/Marmaragan"

GitHub Events

Total
Last Year

Dependencies

requirements.txt pypi
  • PyYAML ==6.0.1
  • SQLAlchemy ==2.0.27
  • aiohttp ==3.9.3
  • aiosignal ==1.3.1
  • annotated-types ==0.6.0
  • anyio ==4.3.0
  • attrs ==23.2.0
  • certifi ==2024.2.2
  • charset-normalizer ==3.3.2
  • dataclasses-json ==0.6.4
  • distro ==1.9.0
  • frozenlist ==1.4.1
  • greenlet ==3.0.3
  • h11 ==0.14.0
  • httpcore ==1.0.3
  • httpx ==0.26.0
  • idna ==3.6
  • jsonpatch ==1.33
  • jsonpointer ==2.4
  • langchain ==0.1.8
  • langchain-community ==0.0.21
  • langchain-core ==0.1.24
  • langchain-openai ==0.0.6
  • langsmith ==0.1.2
  • marshmallow ==3.20.2
  • multidict ==6.0.5
  • mypy-extensions ==1.0.0
  • numpy ==1.26.4
  • openai ==1.12.0
  • packaging ==23.2
  • pydantic ==2.6.1
  • pydantic_core ==2.16.2
  • regex ==2023.12.25
  • requests ==2.31.0
  • sniffio ==1.3.0
  • tenacity ==8.2.3
  • tiktoken ==0.6.0
  • tqdm ==4.66.2
  • typing-inspect ==0.9.0
  • typing_extensions ==4.9.0
  • urllib3 ==2.2.1
  • yarl ==1.9.4