search

loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
12 stars 5 forks source link

OSATE 2.10 with AGREE #121

Open MYA-Github opened 2 years ago

MYA-Github commented 2 years ago

The AGREE component of OSATE 2.10 cannot be downloaded and installed. It seems that the warehouse address is wrong. Is it because the version does not fit? Or is there any other installation method? AGREE question

kfhoech commented 2 years ago

The error you observe appears to be from the installer not being able to find a certificate for the installation. Presently, we do not have a way of providing a publicly-usable certificate for our tools.

Issue #122 has been created to track the possible addition of signing to the plugin releases.

As an alternative means of installation, use the "Install New Software..." menu item on the OSATE main menu, click "Add..." and enter the AGREE updates repository address (https://raw.githubusercontent.com/loonwerks/AGREE-Updates/master/) to create a new software site to use for installation, and install AGREE from there. The installation will then give you a dialog to confirm installation without a signature.