Skip to content

GitLab

Projects Groups Snippets

/

Help
Sign in

ProB Rodin Plugin
Project information
- Project information
- Activity
- Labels
- Members
Repository
- Repository
- Files
- Commits
- Branches
- Tags
- Contributors
- Graph
- Compare
- Locked Files
Merge requests 0
- Merge requests 0
CI/CD
- CI/CD
- Pipelines
- Jobs
- Schedules
Deployments
- Deployments
- Environments
- Releases
Activity
Graph
Jobs
Commits

Collapse sidebar

general
stups
ProB Rodin Plugin

ProB Rodin Plugin

Project ID: 2170

1,089 Commits
9 Branches
3 Tags
2.2 GB Project Storage

The ProB Model Checker and Animator Plugin for Rodin

Switch branch/tag

Download source code

zip tar.gz tar.bz2 tar

Download artifacts

Previous Artifacts

build

Clone with SSH
Clone with HTTPS
Open in your IDE
Visual Studio Code (SSH)

Visual Studio Code (HTTPS)

IntelliJ IDEA (SSH)

IntelliJ IDEA (HTTPS)

Copy SSH clone URLgit@gitlab.cs.uni-duesseldorf.de:general/stups/prob_rodin_plugin.git
Copy HTTPS clone URLhttps://gitlab.cs.uni-duesseldorf.de/general/stups/prob_rodin_plugin.git

README
CI/CD configuration
No license. All rights reserved