Skip to content

Fix installation links for DOOP and OPAL#18

Open
Delors wants to merge 1 commit into
opalj:masterfrom
Delors:patch-1
Open

Fix installation links for DOOP and OPAL#18
Delors wants to merge 1 commit into
opalj:masterfrom
Delors:patch-1

Conversation

@Delors
Copy link
Copy Markdown
Contributor

@Delors Delors commented May 16, 2026

Updated DOOP and OPAL installation links in README.

Updated DOOP and OPAL installation links in README.
Copilot AI review requested due to automatic review settings May 16, 2026 12:24
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates two installation links in the README so that the DOOP and OPAL setup instructions point to working URLs.

Changes:

  • Replaces the DOOP install link with a Markdown link pointing to the GitHub mirror.
  • Updates the OPAL dependencies link from a broken bitbucket-style path on github.com to the correct tree/master URL.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread README.md
To use the DOOP adapter, you need to setup DOOP. To do so, please have a look at DOOP's install instructions:

https://bitbucket.org/yanniss/doop/src/master/
[https://bitbucket.org/yanniss/doop/src/master/](https://github.com/plast-lab/doop)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants